Scarica il quaderno: tasto destro del mouse, salva oggetto ... - Apav

E. CORTELLINI- F. EUGENI- G. EUGENI- R. MASCELLA 27
A parziale giustificazione di questa visione possiamo far riferimento
agli studi dell’ultimo secolo sulla computabilità. Gli interessi in
questi studi sono tesi a comprendere quali siano le potenzialità ed i
limiti nell’esecuzione di un procedimento meccanico, umano o no,
ovviamente tralasciando quegli aspetti dei procedimenti cerebrali
umani, quali possono essere i modelli di inesauribile creatività, che
si associano alla casualità e alla creatività. La creatività ci appare così
ragione intrinseca per la sua stessa esistenza ed anche per la sua ricompensa,
quell’effetto, come suol dirsi, di serendipity legati ad una
brillante quanto irripetibile azione di genialità. In altre parole si tralasciano
quelle azioni che producono risultati che non possono essere
desunti, in linea di principio, da colpi di genialità. O se essi vi sono
come atti propri dell’uomo li si ritengono esterni alla macchina, mentre
per la macchina valgono quei principi di organizzazione progettata
con i suoi scopi, obiettivi e significati. In quest’area di studio, nota
come teoria della computabilità, il tentativo di definire formalmente un
procedimento meccanico ripetitivo è sfociato in varie impostazioni
(per citare alcune grandi vie si pensi, ad esempio, alla macchina della
computazione di Turing, al lambda calcolo di Church, alle funzioni
ricorsive di Godel, ecc.). Si è anche provato che le linee impostate
finora, conducono a formulazioni di fatto equivalenti.
Questo significa che i problemi risolvibili dalle macchine attraverso
una di queste impostazioni formali, che poi definiscono il
funzionamento e le regole di comportamento della macchina, sono
sempre gli stessi. Non importa da dove si parte, se oggi si formalizza
il comportamento di una macchina. Attualmente da ogni tentativo di
formulazione vi è un’equivalenza e quindi un ritorno alla macchina di
Turing, in altre parole: “niente di nuovo sotto il sole!”.
Le ricerche in questa direzione sia attraverso la psicologia cognitiva,
il cui scopo è quello di comprendere i meccanismi cerebrali,
per gli ardui cammini dell’Intelligenza Artificiale, il cui scopo è quello
di sviluppare artificialmente modelli e programmi che replichino