Язык программирования Planner, разработанный в конце 1960-х годов, представил процедурное встраивание знаний, которое стало альтернативой существующим логическим подходам в искусственном интеллекте. Этот проект стал центральным столпом карьеры Карла Эдди Хьюитта, компьютерного ученого и математика, чьи исследования, охватывающие более трех десятилетий, повлияли на развитие параллельных вычислений и логического программирования.
Академический фундамент в MIT
Карл Эдди Хьюитт получил докторскую степень по математике в Массачусетском технологическом институте (MIT) в 1971 году. Его научными руководителями были Сеймур Паперт, Марвин Минский и Майк Патерсон. После окончания учебы он присоединился к преподавательскому составу MIT на кафедре электротехники и информатики, где преподавал до 1999–2000 учебного года. После выхода на пенсию он получил статус почетного профессора кафедры. За время своей работы он был наставником многочисленных докторантов, включая Гула Агу, Генри Бейкера, Уильяма Клингера, Ирен Грейф и Акинори Йонезаву.
Разработка Planner
Во время работы в Лаборатории искусственного интеллекта MIT Хьюитт занимался Planner, языком, предназначенным для автоматизированного планирования и доказательства теорем в роботах. В отличие от предыдущих логических методов, которым отдавали предпочтение такие исследователи, как Джон Маккарти, Planner использовал вызов на основе шаблонов из утверждений и целей. Подмножество языка, Micro-Planner, было реализовано Джерри Сассманом, Дрю Макдермоттом, Юджином Чарняком и Терри Виноградом, что впоследствии легло в основу таких программ, как SHRDLU, и различных экспериментов по пониманию историй на естественном языке. Позже Хьюитт участвовал в работе над Muddle, расширенной версией Lisp, предназначенной для уточнения реализации концепций Planner.
Модель акторов и параллельные вычисления
В 1972 году Хьюитт сменил фокус после разработки модели акторов для параллельных вычислений вместе со своими аспирантами. Официально представленная в статье 1973 года, написанной в соавторстве с Питером Бишопом и Ричардом Стейгером, модель предложила новую структуру для параллельных процессов. Эта работа повлияла на создание языка программирования Scheme, где исследователи Сассман и Стил отметили, что их оператор создания акторов разделяет идентичность с оператором лямбда-исчисления. Модель акторов впоследствии повлияла на развитие различных языков, включая E, SALSA и ActorScript, а также теоретического π-исчисления.
Двадцать вопросов, восемь минут на часах и процентиль, измеренный по всем, кто его проходил. Без регистрации.
Пройти тест IQ →Профессиональная деятельность и поздние исследования
Хьюитт поддерживал международное академическое присутствие, работая приглашенным профессором IBM в Университете Кэйо в Японии с сентября 1989 по август 1990 года. Он также занимал должность приглашенного профессора в Стэнфордском университете. В последнее десятилетие своих исследований он сосредоточился на устойчивости к противоречиям, стремясь создать строгие основы для информационных систем, работающих с постоянно противоречивыми данными. Его академическая продукция охватывала разнообразные области, такие как открытые информационные системы, паранепротиворечивая логика, облачные вычисления и организационные многоагентные системы.
Краткие факты
- Рождение: 1944 - Смерть: 2022, Аптос - Гражданство: США - Образование: Массачусетский технологический институт - Основная область: Информатика - Известная работа: Planner - Научный руководитель: Марвин Минский - Приглашенный профессор: Университет Кэйо
Вопросы читателей
### Какова была цель языка Planner?
Planner был разработан для автоматизированного планирования и доказательства теорем, специально для использования в искусственном интеллекте и робототехнике.
### Как Хьюитт внес вклад в параллельное программирование?
Он разработал модель акторов, формальную систему для параллельных вычислений, которая повлияла на многие языки программирования и развитие π-исчисления.
