- In:
- Posted By: Redazione
- Commenti: 0
La logica del calcolatore nei linguaggi procedurali
Una macchina “intelligente”, ovvero un calcolatore, dovrebbe essere in grado di districarsi tra questi concetti che sembrano paradossali.
Vediamo più da vicino quali strumenti di base abbiamo a disposizione per costruire un calcolatore. In particolare analizziamo il funzionamento di un calcolatore, la macchina che è maggiormente candidata al raggiungimento di un simile obiettivo.
La logica del computer, nei linguaggi procedurali soliti, si basa su tre paradigmi:
1) sequenza - le istruzioni vengono eseguite in successione;
2) IF condizione THEN azione - Se si verifica una certa condizione allora viene eseguita una determinata azione;
3) salto - la sequenza delle operazioni passa ad un certo punto del programma antecedente o successivo all'istruzione corrente.
Come si vede le complesse procedure a calcolatore si riducono a pochissimi passi logici di base e da un certo punto di vista i programmi scritti per calcolatore sono logici, nel senso che rispettano le regole di deduzione stabilite dalla logica formale. Anche il neurone, costituente di base del cervello, funziona con un meccanismo di tutto o niente; ciascun neurone scarica un unico impulso elettrico, se eccitato sopra un determinato livello di soglia oppure non scarica affatto. I neuroni però sono collegati tra di loro in maniera molto complessa e, mentre si può isolare quale istruzione di programma viene eseguita in un determinato momento in un calcolatore, non è possibile determinare quale neurone possa essere responsabile di una determinata risposta in un particolare momento nel cervello. L'informazione nel cervello non è localizzata e probabilmente si diffonde in maniera olografica per aree molto vaste del cervello stesso.
Se l'approccio neuronale non ci è di grande aiuto per comprendere la logica del cervello vivente possiamo tentare con la psicologia cognitiva per trovare qualche suggerimento che ci aiuti nella comprensione delle somiglianze e delle differenze tra il procedere umano e l'esecuzione di algoritmi programmati a calcolatore.