Хьюитт, Карл

Карл Эдди Хьюитт (1944 — 7 декабря 2022, Аптос, Калифорния, США) был американским учёным в области информатики, который разработал язык программирования Planner для автоматизированного планирования и акторную модель параллельных вычислений , которые оказали влияние на развитие логики, функционального и объектно-ориентированного программирования. Planner был первым языком программирования, основанным на процедурных планах, которые вызывались с помощью шаблонного вызова из утверждений и целей. Модель акторов повлияла на развитие языка программирования Scheme, π-исчисления, и послужила источником вдохновения для нескольких других языков программирования.

Хьюитт получил степень доктора философии по математике в Массачусетском технологическом институте в 1971 году под руководством Сеймура Пейперта, Марвина Мински и Майка Патерсона. В том же году он начал работать в Массачусетском технологическом институте и ушёл с факультета электротехники и компьютерных наук Массачусетского технологического института в 1999–2000 учебном году. В 2000 году он стал почётным сотрудником факультета. Среди докторантов, которых Хьюитт курировал во время работы в Массачусетском технологическом институте, были Гул Ага, Генри Бейкер, Уильям Клингер, Ирен Грейф и Акинори Ёнэдзава.

С сентября 1989 года по август 1990 года Хьюитт был приглашённым профессором кафедры компьютерных наук в Университете Кэйо в Японии. Он также был приглашённым профессором в Стэнфордском университете.

Хьюитт был наиболее известен своей работой над моделью акторов в вычислительной технике. В последнее десятилетие он занимался «устойчивостью к несогласованности», целью которой является создание практических строгих основ для систем, работающих с повсеместно несогласованной информацией. Эта работа стала продолжением его докторской диссертации, посвящённой процедурному (в отличие от логического) встраиванию знаний, которое было реализовано в языке программирования Planner.

Его публикации также посвящены открытым информационным системам, организационным и много-агентным системам, логическому программированию, параллельному программированию, паранепротиворечивой логике и облачным вычислениям.

Язык Planner был разработан в конце 1960-х годов в рамках докторской диссертации Хьюитта в Лаборатории искусственного интеллекта Массачусетского технологического института. В работе Хьюитта над Planner было введено понятие «процедурного встраивания знаний», которое стало альтернативой логическому подходу к кодированию знаний для искусственного интеллекта, впервые предложенному Джоном Маккарти. Planner был назван «чрезвычайно амбициозным». Подмножество Planner под названием Micro-Planner было реализовано в Массачусетском технологическом институте Джерри Сассманом, Дрю Макдермоттом, Юджином Чарняком и Терри Виноград и использовалось в программе Виноград SHRDLU , в работе Чарняка по пониманию историй на естественном языке  и в работе Л. Торна Маккарти по юридическим рассуждениям. Планировщик был почти полностью реализован на языке Popler Джулианом Дэвисом из Эдинбурга. Планировщик также повлиял на последующее развитие других исследовательских языков ИИ, таких как Muddle и Conniver, а также на Smalltalk — объектно-ориентированный язык программирования.

Собственная работа Хьюитта над Planner продолжилась в Muddle (позже переименованном в MDL), который был разработан в начале 1970-х Сассманом, Хьюиттом, Крисом Ривом и Дэвидом Кресси как промежуточный этап на пути к полноценной реализации Planner. Muddle был реализован как расширенная версия Lisp и включал в себя несколько функций, которые позже были переняты Conniver, Lisp Machine Lisp и Common Lisp. Однако в конце 1972 года Хьюитт внезапно прекратил разработку Planner, описанной в его диссертации, когда он и его аспиранты изобрели акторную модель вычислений.

Работа Хьюитта над моделью акторов вычислений продолжалась более 30 лет, начиная с представления модели в статье 1973 года, написанной Хьюиттом, Питером Бишопом и Ричардом Стайгером и заканчивая новыми результатами в области семантики модели акторов, опубликованными совсем недавно, в 2006 году Большая часть этой работы была проделана в сотрудничестве со студентами из группы Хьюитта по семантике передачи сообщений в Лаборатории искусственного интеллекта Массачусетского технологического института

Сассман и Стил разработали язык программирования Scheme, чтобы лучше понять модель акторов. Они обнаружили, что их оператор для создания актора ALPHA и оператор для создания функции LAMBDA идентичны, поэтому они оставили только LAMBDA для обоих случаев. Для реализации модели акторов был разработан ряд других языков программирования, таких как ACT-1, SALSA, Caltrop, E и ActorScript. Модель акторов также повлияла на развитие π-исчисления. (См. историю модели акторов и исчисления процессов.)

• Карл Хьюитт (1969). PLANNER: язык для доказательства теорем в роботах IJCAI'69.
• Карл Хьюитт, Питер Бишоп и Ричард Стайгер (1973). Универсальный модульный акторный формализм для искусственного интеллекта IJCAI'73.
• Карл Хьюитт и Генри Бейкер (1977a). Законы взаимодействия параллельных процессов IFIP'77.
• Карл Хьюитт и Генри Бейкер (1977b). Акторы и непрерывные функционалы Материалы рабочей конференции IFIP по формальному описанию концепций программирования. 1–5 августа 1977 г.
• Уильям Корнфельд и Карл Хьюитт (1981). Метафора научного сообщества IEEE Transactions on Systems, Man, and Cybernetics. Январь 1981 г.
• Генри Либерман и Карл Э. Хьюитт (1983). Сборщик мусора в реальном времени, основанный на времени жизни объектов Communications of the ACM, 26(6).
• Карл Хьюитт (1985). Вызов для открытых систем Byte Magazine. Апрель 1985 г. (Перепечатано в Основах искусственного интеллекта — сборнике источников Cambridge University Press. 1990

1. Карл Хьюитт Стэнфорд. 2022.
2. Карл Хьюитт. PLANNER: язык для доказательства теорем в роботах IJCAI. 1969.
3. Карл Хьюитт. Процедурное встраивание знаний в планировщик IJCAI. 1971.
4. Филипп Руши, Аспекты истории PROLOG: логическое программирование и профессиональная динамика, TeamEthno-Online, выпуск 2, июнь 2006, стр. 85–100.
5. Джерри Сассман и Терри Виноград. Справочное руководство по микропланированию AI Memo No, 203, MIT Project MAC, июль 1970 г.
6. Терри Виноград. Процедуры как представление данных в компьютерной программе для понимания естественного языка MIT AI TR-235. Январь 1971 г.
7. Марвин Мински и Сеймур Паперт. "Отчет о прогрессе в области искусственного интеллекта" MIT AI Memo 252. 1971.
8. L. Торн Маккарти. "Размышления о НАЛОГОВИКЕ: эксперимент по искусственному интеллекту и юридическим рассуждениям" Harvard Law Review. Том 90, № 5, март 1977 г.
9. Джулиан Дэвис. Справочное руководство по Поплеру 1.6 Эдинбургский университет, отчёт TPU № 1, май 1973 г.
10. Карл Хьюитт Что такое обязательства? Физические, организационные и социальные COIN@AAMAS. 27 апреля 2006.
11. Генри Либерман, «Параллельное объектно-ориентированное программирование в действии 1», в книге «Объектно-ориентированное параллельное программирование», под ред. А. Ёнэдзавы и М. Токоро, MIT Press, 1987.
12. К. Варела и Г. Ага. Программирование динамически реконфигурируемых открытых систем с помощью SALSA. Секция интригующих технологий OOPSLA 2001. ACM SIGPLAN Notices, 36(12):20-34, декабрь 2001.
13. Робин Милнер. Элементы взаимодействия: лекция, посвящённая премии Тьюринга, CACM. Январь 1993.