Le langage de programmation Planner, développé à la fin des années 1960, a introduit un encastrement procédural des connaissances qui a fourni une alternative aux approches logiques existantes en intelligence artificielle. Ce projet a servi de pilier central à la carrière de Carl Eddie Hewitt, un informaticien et mathématicien dont les recherches, s'étendant sur plus de trois décennies, ont influencé le développement du calcul concurrent et de la programmation logique.
Fondation académique au MIT
Carl Eddie Hewitt a obtenu son doctorat en mathématiques au Massachusetts Institute of Technology (MIT) en 1971. Ses directeurs de thèse étaient Seymour Papert, Marvin Minsky et Mike Paterson. Après l'obtention de son diplôme, il a rejoint le corps professoral du MIT au sein du département de génie électrique et d'informatique, où il a enseigné jusqu'à l'année universitaire 1999–2000. Après sa retraite, il a obtenu le statut de professeur émérite au sein du département. Tout au long de sa carrière, il a encadré de nombreux doctorants, dont Gul Agha, Henry Baker, William Clinger, Irene Greif et Akinori Yonezawa.
Développement de Planner
Pendant son séjour au laboratoire d'intelligence artificielle du MIT, Hewitt a travaillé sur Planner, un langage conçu pour la planification automatisée et la démonstration de théorèmes chez les robots. Contrairement aux méthodes logiques précédentes favorisées par des chercheurs comme John McCarthy, Planner utilisait une invocation dirigée par les motifs à partir d'assertions et d'objectifs. Un sous-ensemble du langage, Micro-Planner, a été implémenté par Gerry Sussman, Drew McDermott, Eugene Charniak et Terry Winograd, alimentant par la suite des programmes tels que SHRDLU et diverses expériences de compréhension d'histoires en langage naturel. Hewitt a plus tard collaboré sur Muddle, une version étendue de Lisp destinée à affiner l'implémentation des concepts de Planner.
Le modèle d'acteur et le calcul concurrent
En 1972, Hewitt a changé d'orientation après avoir développé le modèle d'acteur du calcul concurrent avec ses étudiants diplômés. Introduit formellement dans un article de 1973 coécrit avec Peter Bishop et Richard Steiger, le modèle a proposé un nouveau cadre pour les processus parallèles. Ce travail a influencé la création du langage de programmation Scheme, où les chercheurs Sussman et Steele ont noté que leur opérateur de création d'acteurs partageait une identité avec l'opérateur de calcul lambda. Le modèle d'acteur a par la suite informé le développement de divers langages, notamment E, SALSA et ActorScript, ainsi que le π-calcul théorique.
Vingt questions, huit minutes au chronomètre et un centile mesuré face à tous ceux qui l’ont passé. Sans inscription.
Passer le test de QI →Rayonnement professionnel et recherches ultérieures
Hewitt a maintenu une présence académique internationale, occupant le poste de professeur invité de la chaire IBM à l'Université Keio au Japon de septembre 1989 à août 1990. Il a également occupé un poste de professeur invité à l'Université Stanford. Au cours de sa dernière décennie de recherche, il s'est concentré sur la robustesse face aux incohérences, visant à créer des fondements rigoureux pour les systèmes d'information traitant des données systématiquement incohérentes. Sa production académique a couvert divers domaines tels que les systèmes d'information ouverts, la logique paraconsistante, le cloud computing et les systèmes multi-agents organisationnels.
Faits rapides
- Naissance : 1944 - Décès : 2022, Aptos - Citoyenneté : États-Unis - Éducation : Massachusetts Institute of Technology - Domaine principal : Informatique - Œuvre notable : Planner - Directeur de thèse : Marvin Minsky - Professeur invité : Université Keio
Questions posées par les lecteurs
### Quel était le but du langage Planner ?
Planner a été conçu pour la planification automatisée et la démonstration de théorèmes, spécifiquement pour une utilisation en intelligence artificielle et en robotique.
### Comment Hewitt a-t-il contribué à la programmation concurrente ?
Il a développé le modèle d'acteur, un système formel pour le calcul concurrent qui a influencé de multiples langages de programmation et le développement du π-calcul.
