stringtranslate.com

Карл Хьюитт

Карл Эдди Хьюитт ( / ˈ h j uː ɪ t / ; 1944 – 7 декабря 2022) [2] был американским ученым-компьютерщиком, который разработал язык программирования Planner для автоматизированного планирования [3] и модель акторов параллельных вычислений [4] , которые оказали влияние на развитие логического , функционального и объектно-ориентированного программирования . Planner был первым языком программирования, основанным на процедурных планах, вызываемых с использованием направленного на шаблон вызова из утверждений и целей. Модель акторов повлияла на разработку языка программирования Scheme [5] , π -исчисления [ 6] и послужила источником вдохновения для нескольких других языков программирования. [7]

Образование и карьера

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

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

Исследовать

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

Его публикации также включают вклады в области открытых информационных систем , [14] организационных и многоагентных систем , [15] логического программирования , [3] параллельного программирования , параконсистентной логики [16] и облачных вычислений . [17]

Планировщик

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

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

Модель актера

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

Суссман и Стил разработали язык программирования Scheme , чтобы лучше понять модель актора. Они обнаружили, что их оператор для создания актора, ALPHA, и оператор для создания функции, LAMBDA, были идентичны, поэтому они оставили только LAMBDA для обоих. [30] [31] Ряд других языков программирования были разработаны специально для реализации модели актора, такие как ACT-1, [32] SALSA, [33] Caltrop, [34] E [7] и ActorScript. [35] Модель актора также повлияла на развитие π-исчисления . [36] (См. историю модели актора и исчисления процесса .)

Избранные произведения

Смотрите также

Ссылки

  1. ^ "Некролог Карла Хьюитта (1944–2022) - Аптос, Калифорния - Страж Санта-Крус" . Legacy.com .
  2. ^ Карл Хьюитт Стэнфорд. 2022.
  3. ^ Карл Хьюитт. PLANNER: Язык доказательства теорем в роботах IJCAI. 1969.
  4. ^ Filman, Robert; Daniel Friedman (1984). "Actors". Координированные вычисления - инструменты и методы для распределенного программного обеспечения. McGraw-Hill. стр. 145. ISBN 978-0-07-022439-1. Получено 22.04.2007 . Карл Хьюитт и его коллеги из Массачусетского технологического института разрабатывают модель актора.
  5. ^ Кришнамурти, Шрирам (декабрь 1994 г.). «Введение в схему». Crossroads . 1 (2): 19–27. doi :10.1145/197149.197166. S2CID  9782289. Архивировано из оригинала 25.04.2007 . Получено 22.04.2007 .
  6. ↑ Милнер, Робин (январь 1993 г.). «Лекция ACM Turing Award: Элементы взаимодействия». Сообщения ACM . 36 (1): 78–89. doi : 10.1145/151233.151240 . S2CID  14586773.
  7. ^ ab Miller, Mark S. (2006). Robust Composition - Towards a Unified Approach to Access Control and Concurrency Control (PDF) (PhD). Университет Джонса Хопкинса. Архивировано из оригинала (PDF) 2007-08-10 . Получено 2007-05-26 .
  8. ↑ MIT News Office (10 апреля 1996 г.). «Quarter Century Club принимает 73 новых члена» . Получено 19 июня 2007 г.
  9. ^ Джон В. Гуттаг (2000). «MIT Reports to the President 1999–2000 – Department of Electrical Engineering and Computer Science» . Получено 19 июня 2007 г.
  10. ^ "Stanford EE Computer Systems Colloquium". Стэнфордский университет . Получено 30 июля 2011 г.
  11. ^ Карл Хьюитт (2007). "Академическая биография Карла Хьюитта". Архивировано из оригинала 2009-09-07 . Получено 2007-11-22 .
  12. ^ Рюитиро Ояма (1991). «Кафедра компьютерных наук — недавние и нынешние приглашенные профессора». Архивировано из оригинала 2007-04-30 . Получено 2007-06-19 .
  13. ^ Хьюитт, Карл; Вудс, Джон, ред. (2015). Непоследовательность и устойчивость . Исследования по логике. Т. 52. College Publications. стр. 614. ISBN 9781848901599.
  14. ^ Карл Хьюитт (1986). «Офисы — открытые системы». ACM Trans. Inf. Syst . 4 (3): 271–287. doi : 10.1145/214427.214432 . S2CID  18029528.
  15. ^ Жак Фербер (1999). Многоагентные системы: введение в распределенный искусственный интеллект . Эддисон-Уэсли.
  16. ^ Хьюитт, Карл (2008). «Крупномасштабные организационные вычисления требуют нерасслоенного отражения и сильной парасогласованности». В Sichman, Jaime; Noriega, Pablo; Padget, Julian; Ossowski, Sascha (ред.). Координация, организации, институты и нормы в агентных системах III . Springer-Verlag. ISBN 978-3-540-79002-0.
  17. ^ Карл Хьюитт (сентябрь–октябрь 2008 г.). «ORG для масштабируемых, надежных, конфиденциальных клиентских облачных вычислений». IEEE Internet Computing . 12 (5).
  18. ^ Карл Хьюитт. Процедурное внедрение знаний в планировщик IJCAI. 1971.
  19. ^ Филипп Руши, Аспекты истории PROLOG: логическое программирование и профессиональная динамика, TeamEthno-Online выпуск 2, июнь 2006 г., 85-100.
  20. ^ abc Sussman, Gerald Jay; Guy L. Steele (1998). "The First Report on Scheme Revisited" (PDF) . Higher-Order and Symbolic Computation . 11 (4): 399–404. doi :10.1023/A:1010079421970. S2CID  7704398. Архивировано из оригинала (PDF) 2006-06-15 . Получено 2009-01-03 .
  21. ↑ Джерри Сассман и Терри Виноград. Micro-planner Reference Manual AI Memo No, 203, MIT Project MAC, июль 1970 г.
  22. ^ Терри Виноград. Процедуры как представление данных в компьютерной программе для понимания естественного языка MIT AI TR-235. Январь 1971 г.
  23. ↑ Марвин Мински и Сеймур Паперт. «Отчет о ходе работы над искусственным интеллектом» Массачусетский технологический институт, меморандум 252 по искусственному интеллекту. 1971.
  24. ^ Л. Торн Маккарти. «Размышления о TAXMAN: эксперимент по искусственному интеллекту и правовому обоснованию» Harvard Law Review. Том 90, № 5, март 1977 г.
  25. ↑ Джулиан Дэвис. Справочное руководство по Popler 1.6. Эдинбургский университет, Отчет TPU № 1, май 1973 г.
  26. ^ Кей, Алан; Стефан Рам (2003-07-23). ​​"E-Mail от 2003-07-23". Доктор Алан Кей о значении "объектно-ориентированного программирования" . Получено 2009-01-03 .
  27. ^ Хьюитт, Карл; Бишоп, Питер; Штайгер, Ричард (1973). Универсальный модульный акторный формализм для искусственного интеллекта (PDF) . Международная совместная конференция по искусственному интеллекту.
  28. ^ Карл Хьюитт Что такое приверженность? Физическая, организационная и социальная COIN@AAMAS. 27 апреля 2006 г.
  29. ^ Марк С. Миллер. "Акторы: основы открытых систем" . Получено 20 июня 2007 г.
  30. ^ Хьюитт, Карл (2010). «Акторная модель вычислений». arXiv : 1008.1459 [cs.PL].
  31. ^ Sussman, Gerald Jay; Guy L. Steele (1998). "The First Report on Scheme Revisited" (PDF) . Higher-Order and Symbolic Computation . 11 (4): 399–404. doi :10.1023/A:1010079421970. S2CID  7704398. Архивировано из оригинала (PDF) 2006-06-15.
  32. ↑ Генри Либерман, «Параллельное объектно-ориентированное программирование в действии 1», в книге «Объектно-ориентированное параллельное программирование», под ред. А. Ёнэдзавы и М. Токоро, MIT Press, 1987.
  33. ^ C. Varela и G. Agha. Программирование динамически реконфигурируемых открытых систем с помощью SALSA. OOPSLA 2001 Intriguing Technology Track. ACM SIGPLAN Notices, 36(12):20-34, декабрь 2001 г.
  34. ^ Экер, Йохан; Яннек, Йорн В. (28 ноября 2001 г.). «Введение в язык актеров Caltrop» (PDF) . Проверено 20 июня 2007 г.
  35. ^ Хьюитт, Карл (2010). «Расширение ActorScript для C#, Java и Objective C». arXiv : 1008.2748 [cs.PL].
  36. ^ Робин Милнер Элементы взаимодействия: лекция по случаю вручения премии Тьюринга в CACM. Январь 1993 г.

Внешние ссылки