Il linguaggio di programmazione Planner, sviluppato alla fine degli anni '60, ha introdotto un'incorporazione procedurale della conoscenza che ha fornito un'alternativa agli approcci logici esistenti nell'intelligenza artificiale. Questo progetto è servito come pilastro centrale nella carriera di Carl Eddie Hewitt, un informatico e matematico la cui ricerca, che ha spaziato per oltre tre decenni, ha influenzato lo sviluppo del calcolo concorrente e della programmazione logica.
Fondazione accademica al MIT
Carl Eddie Hewitt ha conseguito il dottorato in matematica presso il Massachusetts Institute of Technology (MIT) nel 1971. I suoi supervisori di dottorato includevano Seymour Papert, Marvin Minsky e Mike Paterson. Dopo la laurea, è entrato a far parte del corpo docente del MIT nel Dipartimento di Ingegneria Elettrica e Informatica, dove ha insegnato fino all'anno accademico 1999–2000. Dopo il pensionamento, gli è stato conferito lo status di professore emerito nel dipartimento. Durante il suo mandato, ha fatto da mentore a numerosi dottorandi, tra cui Gul Agha, Henry Baker, William Clinger, Irene Greif e Akinori Yonezawa.
Sviluppo di Planner
Durante il suo periodo presso il Laboratorio di Intelligenza Artificiale del MIT, Hewitt ha lavorato su Planner, un linguaggio progettato per la pianificazione automatizzata e la dimostrazione di teoremi nei robot. A differenza dei precedenti metodi logici favoriti da ricercatori come John McCarthy, Planner utilizzava l'invocazione guidata dai pattern basata su asserzioni e obiettivi. Un sottoinsieme del linguaggio, Micro-Planner, è stato implementato da Gerry Sussman, Drew McDermott, Eugene Charniak e Terry Winograd, alimentando successivamente programmi come SHRDLU e vari esperimenti di comprensione di storie in linguaggio naturale. Hewitt ha successivamente collaborato su Muddle, una versione estesa di Lisp destinata a perfezionare l'implementazione dei concetti di Planner.
Il modello ad attori e il calcolo concorrente
Nel 1972, Hewitt ha cambiato focus dopo aver sviluppato il modello ad attori del calcolo concorrente insieme ai suoi studenti laureati. Introdotto formalmente in un articolo del 1973 co-autore con Peter Bishop e Richard Steiger, il modello ha proposto un nuovo quadro per i processi paralleli. Questo lavoro ha influenzato la creazione del linguaggio di programmazione Scheme, dove i ricercatori Sussman e Steele hanno notato che il loro operatore per la creazione di attori condivideva l'identità con l'operatore del calcolo lambda. Il modello ad attori ha successivamente informato lo sviluppo di vari linguaggi, tra cui E, SALSA e ActorScript, nonché il π-calcolo teorico.
Venti domande, otto minuti di orologio e un percentile misurato su tutti quelli che l’hanno fatto. Senza registrazione.
Fai il test del QI →Divulgazione professionale e ricerca successiva
Hewitt ha mantenuto una presenza accademica internazionale, servendo come professore ospite della cattedra IBM presso l'Università Keio in Giappone da settembre 1989 ad agosto 1990. Ha anche ricoperto una cattedra ospite presso l'Università di Stanford. Nell'ultimo decennio di ricerca, si è concentrato sulla robustezza rispetto alle incoerenze, mirando a creare basi rigorose per sistemi informativi che gestiscano dati costantemente incoerenti. La sua produzione accademica ha spaziato in diverse aree come sistemi informativi aperti, logica paraconsistente, cloud computing e sistemi multi-agente organizzativi.
Fatti rapidi
- Nascita: 1944 - Morte: 2022, Aptos - Cittadinanza: Stati Uniti - Istruzione: Massachusetts Institute of Technology - Campo principale: Informatica - Opera notevole: Planner - Supervisore accademico: Marvin Minsky - Professore ospite: Università Keio
Domande poste dai lettori
### Qual era lo scopo del linguaggio Planner?
Planner è stato progettato per la pianificazione automatizzata e la dimostrazione di teoremi, specificamente per l'uso nell'intelligenza artificiale e nella robotica.
### Come ha contribuito Hewitt alla programmazione concorrente?
Ha sviluppato il modello ad attori, un sistema formale per il calcolo concorrente che ha influenzato molteplici linguaggi di programmazione e lo sviluppo del π-calcolo.
