Artificial intelligence programming language, un linguaggio informatico sviluppato espressamente per implementare la ricerca sull’intelligenza artificiale (AI). Nel corso del loro lavoro su the Logic Theorist e GPS, due primi programmi AI, Allen Newell e J. Clifford Shaw della Rand Corporation e Herbert Simon della Carnegie Mellon University hanno sviluppato il loro Information Processing Language (IPL), un linguaggio informatico su misura per la programmazione AI. Al centro di IPL era una struttura dati altamente flessibile che hanno chiamato un elenco., Un elenco è semplicemente una sequenza ordinata di elementi di dati. Alcuni o tutti gli elementi di un elenco possono essere essi stessi elenchi. Questo schema porta a strutture riccamente ramificate.
Nel 1960 John McCarthy, uno scienziato informatico del Massachusetts Institute of Technology (MIT), combinò elementi dell’IPL con il lambda calculus (un sistema matematico-logico formale) per produrre il linguaggio di programmazione LISP (List Processor), che rimane il linguaggio principale per il lavoro AI negli Stati Uniti., (Il calcolo lambda stesso è stato inventato nel 1936 dal logico Alonzo Church dell’Università di Princeton mentre stava indagando sull’astratto Entscheidungsproblem, o “problema decisionale”, per il calcolo dei predicati—lo stesso problema che il matematico e logico britannico Alan Turing aveva attaccato quando inventò la macchina universale di Turing.)
Il linguaggio di programmazione logico PROLOG (Programmation en Logique) è stato concepito da Alain Colmerauer presso l’Università di Aix-Marseille, Francia, dove il linguaggio è stato implementato per la prima volta nel 1973., PROLOG è stato ulteriormente sviluppato dal logico Robert Kowalski, membro del gruppo AI presso l’Università di Edimburgo. Questo linguaggio fa uso di una potente tecnica di dimostrazione del teorema nota come risoluzione, inventata nel 1963 presso il Laboratorio nazionale Argonne della Commissione per l’energia atomica degli Stati Uniti in Illinois dal logico britannico Alan Robinson. PROLOG può determinare se una determinata istruzione segue o meno logicamente da altre dichiarazioni date., Ad esempio, date le affermazioni “Tutti i logici sono razionali” e “Robinson è un logico”, un programma PROLOG risponde affermativamente alla query ” Robinson è razionale?”PROLOG è ampiamente utilizzato per il lavoro AI, soprattutto in Europa e in Giappone.
I ricercatori dell’Institute for New Generation Computer Technology di Tokyo hanno utilizzato PROLOG come base per sofisticati linguaggi di programmazione logica. Conosciuti come linguaggi di quinta generazione, questi sono in uso su computer paralleli non numerici sviluppati presso l’Istituto.,
Altri lavori recenti includono lo sviluppo di linguaggi per ragionare su dati dipendenti dal tempo come “l’account è stato pagato ieri.”Questi linguaggi sono basati su una logica tesa, che consente di localizzare le dichiarazioni nel flusso del tempo. (Logica tesa è stato inventato nel 1953 dal filosofo Arthur Prior presso l’Università di Canterbury, Christchurch, Nuova Zelanda.)
Lascia un commento