Durante i due articoli precedenti abbiamo visto come il lavoro di Alan Turing, Claude Shannon e John von Neuman abbia reso possibile la creazione di computer in grado di ospitare l'intelligenza artificiale. Tuttavia, tuttodovevano ancora essere creati programmi in grado di svolgere il compito. Ecco perché in questo post descriviamo il percorso del software dalle prime simulazioni di conversazione agli attuali modelli linguistici.
Alan Turing è stato il primo a definire un modo per determinare il successo di questo tipo di programma. Il problema è che il test di Turing ha dimostrato solo capacità di programmazione, non che fossimo di fronte a quella che si potrebbe definire un'intelligenza artificiale.
Il percorso del software
Sebbene la definizione di Marvin Minsky richieda che per essere considerata intelligenza artificiale una macchina debba svolgere lo stesso compito di un essere umano, richiede la capacità di pensare, il test di Turing chiede solo che un essere umano non sia in grado di determinare se il suo interlocutore lo è o no.
Sebbene ELIZA, un programma per computer scritto a metà degli anni '60, non fosse destinato a superare il test di Turing, esso ha gettato le basi per una serie di programmi che avrebbero tentato di farlo. Lo spettacolo ha assunto il ruolo di uno psichiatra che pone una serie di domande a un paziente su argomenti comuni come la famiglia, gli amici o l'umore. Stando alle risposte, ha continuato seguendo una linea prestabilita.
Né ELIZA (e in effetti qualsiasi altro software) sarebbe stato possibile senza i lavori di un insegnante di matematica autodidatta di nome George Boole che nel XIX secolo iniziò a studiare la traduzione in termini matematici del processo di ragionamento umano. Per questo, ha analizzato il modo di raggruppare gli oggetti in classi e cosa è successo quando queste classi sono state combinate con altre. Ha quindi assegnato simboli per ciascuna di queste relazioni.
Dalla formalizzazione al feedback
Se gli oggetti di un insieme vengono modificati da affermazioni e stabiliamo tra loro tre possibili relazioni (AND, OR e NOT) abbiamo già un modo per classificarli in uno dei due gruppi (Vero o Falso).
Tuttavia, le opere di Boole non erano adatte a tutti i tipi di affermazioni. Era necessario un modo per descrivere i concetti generali. Cioè, potrebbero essere vere o false a seconda delle circostanze.
In modo che sia compreso. I lavori booleani consentono di lavorare con l'asserzione
Diego è argentino e scrive Linux Adictos
Ma non puoi fare nulla con:
X è... e scrive in Z.
Per questo, abbiamo dovuto aspettare fino agli anni '70, quando un professore tedesco di nome Frege ha introdotto il concetto di predicati. Un predicato è un'affermazione che può essere descritta come vera o falsa a seconda delle circostanze.
Diego, Argentina y Dipendente da Linuxs sono entità che non sono né vere né false, ma a seconda di come sono combinate in un predicato lo renderanno tale.
Freje ha aggiunto due espressioni con i simboli corrispondenti:
Per tutto (Indica che tutti i valori di una variabile soddisfano una condizione)
C'è un... tale che (Implica che esiste almeno un elemento che soddisferà una condizione.
teoria del feedback
Il successivo grande contributo alla creazione dell'Intelligenza Artificiale non fu matematico, venne dalla Biologia. Norbert Wiener, fondatore della Cibernetica, era interessato ai punti in comune tra Ingegneria e Biologia. È stato quell'interesse che lo ha portato ad analizzare come gli animali a sangue caldo mantenessero la loro temperatura costante nonostante il cambiamento della temperatura ambiente. Wiener postulò che in questo e in altri casi fossero all'opera meccanismi di feedback. In altre parole, quando si riceveva un'informazione, veniva prodotta una risposta per adattarsi ad essa.
Andando oltre, arrivò ad affermare che i comportamenti intelligenti non sono altro che il risultato di meccanismi di feedback. In altre parole, possiamo concludere che L'intelligenza (naturale o artificiale) consiste nel raccogliere informazioni, elaborarle, agire sul risultato e ripetere il processo.