Страница полузащищенная
Из Википедии, свободной энциклопедии
Перейти к навигации Перейти к поиску

Карл Хьюитт
Hewitt-Carl-2008.jpg
Карл Хьюитт в 2008 году
Альма-матерМассачусетский технологический институт
ИзвестенМодель актора,
Несогласованность, устойчивость,
Планировщик ( логические программы )
Сравнительная схематика
Научная карьера
ПоляИнформатика
Математическая логика
Модель вычислений
Языки программирования
Философия логики
УчрежденияMIT
Университета Кейо
Стэнфордский университет
ДокторантСеймур Пейперт
Другие научные консультантыМарвин Мински
Майк Патерсон
ДокторантыГул Ага
Генри Бейкер
Уильям Клингер
Ирен Грейф
Акинори Йонезава

Карл Эдди Хьюитт ( / ч J ˙U ɪ т / ) является американский ученый , который разработал язык программирования Planner для автоматизированного проектирования [1] и модель актер из параллельного вычисления , [2] , которые оказали большое влияние на развитие логики , функциональное и объектно-ориентированное программирование . Planner был первым языком программированияна основе процедурных планов, вызываемых с помощью вызова по шаблону из утверждений и целей. Модель актера повлияла на развитие схемы языка программирования, [3] в я-исчислении , [4] и служила в качестве вдохновения для нескольких других языков программирования. [5]

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

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

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

Исследовать

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

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

Планировщик

Основная статья: Planner (язык программирования)

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

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

Актерская модель

Основная статья: Актерская модель

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

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

Избранные работы

  • Карл Хьюитт (1969). ПЛАНИРОВЩИК: язык для доказательства теорем в роботах IJCAI'69.
  • Карл Хьюитт, Питер Бишоп и Ричард Штайгер (1973). Универсальный модульный актерский формализм для искусственного интеллекта IJCAI'73.
  • Карл Хьюитт и Генри Бейкер (1977a). Законы взаимодействия параллельных процессов ИФИП'77.
  • Карл Хьюитт и Генри Бейкер (1977b). Актеры и непрерывные функционалы Материалы рабочей конференции ИФИП по формальному описанию концепций программирования. 1–5 августа 1977 г.
  • Уильям Корнфельд и Карл Хьюитт (1981). Метафора научного сообщества Транзакции IEEE о системах, человеке и кибернетике. Январь 1981 г.
  • Генри Либерман и Карл Э. Хьюитт (1983). Сборщик мусора в реальном времени на основе времени жизни объектов, передаваемых ACM, 26 (6).
  • Карл Хьюитт (1985). Проблема открытых систем. Byte Magazine. Апрель 1985 г. (Перепечатано в «Основы искусственного интеллекта» - сборник материалов Cambridge University Press. 1990 г.

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

  • Метафора научного сообщества

использованная литература

  1. ^ а б Карл Хьюитт. ПЛАНИРОВЩИК: язык для доказательства теорем в роботах IJCAI. 1969 г.
  2. ^ Филман, Роберт; Дэниел Фридман (1984). «Актеры» . Скоординированные вычисления - инструменты и методы для распределенного программного обеспечения . Макгроу-Хилл. п. 145 . ISBN 978-0-07-022439-1. Проверено 22 апреля 2007 . Карл Хьюитт и его коллеги из Массачусетского технологического института разрабатывают модель актера.
  3. ^ Кришнамурти, Шрирам (декабрь 1994). «Введение в схему» . Перекресток . 1 (2): 19–27. DOI : 10.1145 / 197149.197166 . S2CID 9782289 . Архивировано из оригинала на 2007-04-25 . Проверено 22 апреля 2007 . 
  4. ↑ Милнер, Робин (январь 1993 г.). «Лекция по Премии Тьюринга ACM: Элементы взаимодействия» (PDF) . Коммуникации ACM . 36 (1): 78–89. DOI : 10.1145 / 151233.151240 . S2CID 14586773 . Архивировано из оригинального (PDF) 20 июня 2007 года . Проверено 26 мая 2007 .  
  5. ^ а б Марк С. Миллер (2006). «Надежная композиция - к единому подходу к контролю доступа и контролю параллелизма» (PDF) . Кандидатская диссертация. Университет Джона Хопкинса. Архивировано из оригинального (PDF) 10 августа 2007 года . Проверено 26 мая 2007 . Цитировать журнал требует |journal=( помощь )
  6. ↑ MIT News Office (10 апреля 1996 г.). «Клуб« Четверть века »вводит в должность 73 новых члена» . Проверено 19 июня 2007 .
  7. ^ Джон В. Гуттаг (2000). «MIT подчиняется президенту 1999–2000 - Департамент электротехники и информатики» . Проверено 19 июня 2007 .
  8. ^ "Стэнфордский коллоквиум компьютерных систем" . Стэнфордский университет . Проверено 30 июля 2011 года .
  9. ^ Карл Хьюитт (2007). «Академическая биография Карла Хьюитта» . Архивировано из оригинала на 2009-09-07 . Проверено 22 ноября 2007 .
  10. ^ Ryuichiro Охиямы (1991). "Департамент компьютерных наук - недавние и нынешние приглашенные профессора" . Архивировано из оригинала на 2007-04-30 . Проверено 19 июня 2007 .
  11. ^ Хьюитт, Карл; Вудс, Джон, ред. (2015). Несогласованность Надежность . Исследования по логике. 52 . Публикации колледжа. п. 614. ISBN 9781848901599.
  12. ^ Карл Хьюитт (1986). «Офисы - это открытые системы». ACM Trans. Инф. Syst . 4 (3): 271–287. DOI : 10.1145 / 214427.214432 . S2CID 18029528 . 
  13. ^ Жак Фербер (1999). Мультиагентные системы: введение в распределенный искусственный интеллект . Эддисон-Уэсли.
  14. ^ Хьюитт, Карл (2008). «Крупномасштабные организационные вычисления требуют нестратифицированного отражения и строгой параконсистентности» . В Сичмане, Хайме; Норьега, Пабло; Пэджет, Джулиан; Оссовски, Саша (ред.). Координация, организации, институты и нормы в агентских системах III . Springer-Verlag. ISBN 978-3-540-79002-0.
  15. ^ Карл Хьюитт (сентябрь – октябрь 2008 г.). «ORGs для масштабируемых, надежных, безопасных для конфиденциальности клиентских облачных вычислений». IEEE Internet Computing . 12 (5).
  16. ^ Карл Хьюитт. Процедурное внедрение знаний в Planner IJCAI. 1971 г.
  17. ^ Филипп Руши, Аспекты истории PROLOG: логическое программирование и профессиональная динамика , TeamEthno-Online, выпуск 2, июнь 2006 г., 85-100.
  18. ^ a b c Сассман, Джеральд Джей; Гай Л. Стил (1998). «Первый отчет о пересмотренной схеме» (PDF) . Вычисление высшего порядка и символическое вычисление . 11 (4): 399–404. DOI : 10,1023 / A: 1010079421970 . S2CID 7704398 . Архивировано из оригинального (PDF) 15 июня 2006 года . Проверено 3 января 2009 .  
  19. ^ Джерри Сассман и Терри Виноград. Справочное руководство по микропланированию AI Memo No. 203, MIT Project MAC, июль 1970 г.
  20. ^ Терри Виноград. Процедуры как представление данных в компьютерной программе для понимания естественного языка MIT AI TR-235. Январь 1971 г.
  21. ^ Марвин Мински и Сеймур Паперт. "Отчет о прогрессе в области искусственного интеллекта" MIT AI Memo 252. 1971.
  22. ^ Л. Торн Маккарти. «Размышления о TAXMAN: эксперимент по искусственному интеллекту и юридическому обоснованию» Harvard Law Review. Vol. 90, No. 5, март 1977 г.
  23. ^ Джулиан Дэвис. Справочное руководство Popler 1.6 Эдинбургский университет, Отчет ТПУ № 1, май 1973 г.
  24. ^ Кей, Алан; Стефан Рам (2003-07-23). «Электронная почта от 23.07.2003» . Д-р Алан Кей о значении «объектно-ориентированного программирования» . Проверено 3 января 2009 .
  25. ^ Карл Хьюитт; Питер Бишоп и Ричард Штайгер (1973). «Универсальный модульный актерский формализм для искусственного интеллекта». IJCAI. Цитировать журнал требует |journal=( помощь )
  26. ^ Карл Хьюитт Что такое приверженность? Физическая, организационная и социальная сфера COIN @ AAMAS. 27 апреля 2006 г.
  27. ^ Марк С. Миллер. «Актеры: основы открытых систем» . Проверено 20 июня 2007 .
  28. ^ Хьюитт, Карл (2010). «Актерская модель вычисления». arXiv : 1008.1459 [ cs.PL ].
  29. ^ Сассман, Джеральд Джей; Гай Л. Стил (1998). «Первый отчет о пересмотренной схеме» (PDF) . Вычисление высшего порядка и символическое вычисление . 11 (4): 399–404. DOI : 10,1023 / A: 1010079421970 . S2CID 7704398 . Архивировано из оригинального (PDF) 15 июня 2006 года.  
  30. ^ Генри Либерман, " Параллельное объектно-ориентированное программирование в действии 1 ", в объектно-ориентированном параллельном программировании, А. Йонезава и М. Токоро, ред., MIT Press, 1987.
  31. ^ С. Варела и Г. Ага. Программирование динамически реконфигурируемых открытых систем с помощью SALSA . OOPSLA 2001 Интригующий технологический трек. Уведомления ACM SIGPLAN, 36 (12): 20-34, декабрь 2001 г.
  32. ↑ Йохан Экер; Йорн В. Яннек. «Введение в актерский язык Caltrop» (PDF) . Проверено 20 июня 2007 . Цитировать журнал требует |journal=( помощь )
  33. ^ Хьюитт, Карл (2010). «Расширение ActorScript для C #, Java и Objective C». arXiv : 1008.2748 [ cs.PL ].
  34. ^ Робин Милнер Элементы взаимодействия: лекция премии Тьюринга CACM. Январь 1993 г.

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

  • Карл Хьюитт на сервере библиографии DBLP
  • Карл Эдди Хьюитт в проекте « Математическая генеалогия»