Riassunto Penco - Appunti Unict

Cap. 17 – Significato e cognizione: intelligenza artificiale, Fodor, Marconi
L’idea che pensare sia fare inferenze, porta a identificare il pensare con un tipo di calcolo. Le
procedure computazionali dei pc possono riprodurre le inferenze logiche, e quindi l’idea che è
possibile tentare di simulare i processi mentali umani tramite l’utilizzo di pc è facilmente
concepibile. E’ questo essenzialmente il progetto chiamato “intelligenza artificiale” nato negli
anni ’60. Alla sua base lo sviluppo del concetto di procedura o algoritmo elaborato da Alan
Turing. Un algoritmo è un procedimento deterministico che in un numero finito di passi
produce un risultato. Turing definì un modello matematico dei passi elementari che un essere
umano fa quando esegue un calcolo: scrivere un simbolo, tenerlo a mente, spostarlo,
cancellarlo, secondo un certo ordine. Il modello matematico astratto venne chiamato
“Macchina di Turing”; le MT definiscono la classe di tutto ciò che è calcolabile mediante un
algoritmo, cioè mediante un tipo di calcolo che in linea di principio eseguibile tramite un
dispositivo meccanico. Turing dimostrò che esiste una MT universale, che può prendere in
input sia dati che altre MT, cioè programmi specifici di trattamento dati. Questa idea, centrale
nell’architettura dei moderni pc, presenta la struttura nota come “architettura di von
Neumann”. L’intelligenza artificiale utilizza i procedimenti algoritmici per simulare processi
mentali effettivi, cosa che è per lo più molto lontana degli interessi dei logici. Si suole
distinguere:
1) semantica come impresa matematica: lo studio delle condizioni di verità degli
enunciati del linguaggio in una presentazione formale adeguata.
2) Semantica come impresa psicologica: lo studio dei processi mentali della
comprensione come strumenti o controlli sperimentali adeguati
E’ innegabile che i due tipi di ricerca hanno intrecci e interessi comuni.
La prima proposta alternativa alla semantica modellistica in ambito computazionale è stata la
semantica procedurale, definita negli anni 70 attorno all’idea di minimondo, una situazione
idealizzata, particolare e ristretta. il sistema di comprensione del linguaggio associato a un
minimondo contiene:
1) una grammatica con un analizzatore sintattico
2) un motore logico
3) un dizionario molto dettagliato su un campo di oggetti ristretto e ben definito (blocchi
geometrici ad esempio.)
Per poter fare funzionare il programma occorre che a ogni voce del dizionario sia associata
una procedura, e questo è il punto di partenza per una teoria semantica originale: “a ogni
simbolo o espressione del linguaggio è associata una procedura, che viene identificata con il
significato dell’espressione”.
L’idea di significato come procedura soddisfa i requisiti fregeani del senso in almeno tre modi:
1) il significato determina il riferimento: a ogni termine singolare e predicato viene
associata una procedura che da in uscita lo specifico oggetto o la classe di oggetti
presente nel minimondo
2) composizionalità: le procedure sono composizionali, si possono ad esempio unire la
procedura che individua il colore rosso con quella che cerca la forma cubo e ottenere
come risultato il cubo rosso (se esiste nel minimondo in considerazione).
3) Analisi della forza: a ciascun atto linguistico di base (asserzione, domanda, comando)
corrisponde una specifica proceduta. Una domanda attiva una risposta che fornisce
l’informazione richiesta; una asserzione attiva una procedura di aggiornamento
dell’informazione (assunta come vera); un comando attiva una procedura di
esecuzione.