CLAUDIO PIZZI LEZIONI DI FILOSOFIA DELLA SCIENZA a. a. 2010­2011

VII­L’INTELLIGENZA ARTIFICIALE E LA SCIENZA COGNITIVA
§1. Si può iniziare con un breve excursus storico. Negli anni ‘30 un problema
sentito era quello di definire rigorosamente il concetto di algoritmo, cioè
(intuitivamente) di una procedura di calcolo che applicando in modo
deterministico un numero finito di istruzioni dà un risultato univoco in tempo
finito. Gödel per aprire la strada al suo celebre teorema definì un insieme di
funzioni, dette ricorsive primitive, che rappresentavano algoritmi basilari da
considerare il nocciolo della teoria della computazione, nel senso che ogni
procedura di calcolo avrebbe dovuto essere definita a partire da queste.
Negli anni 36­37 a Cambridge Alan Turing seguì un’altra via: quella di
definire una macchina calcolatrice ideale di elementare semplicità progettata per
il calcolo di funzioni aritmetiche, di cui tutte le macchine calcolatrici concrete
apparissero come casi specifici.
Per avere una macchina di Turing (MT) bisogna disporre di un linguaggio
con un alfabeto finito di simboli che sia in grado di generare un numero
infinito di formule. Queste formule, che la macchina è destinata a elaborare, sono
stampate su un nastro infinito che attraversa la macchina. Il nastro è diviso in
celle e la macchina esamina una cella alla volta mediante una testina sensibile.
La MT può fare solo quattro cose: 1)cancellare un simbolo su una casella e
scriverne un altro al suo posto; 2)muovere la testina di un posto a destra; 3)
muovere la testina di un posto a sinistra; 4)fermarsi. La macchina inoltre
memorizza le operazioni compiute e quindi ha stati di memoria diversi ad ogni
passo.