Карл Хьюитт - Википедия - Carl Hewitt

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

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

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

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

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

Исследование

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

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

Планировщик

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

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

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

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

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

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

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

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

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

Рекомендации

  1. ^ а б Карл Хьюитт. ПЛАНИРОВЩИК: язык для доказательства теорем в роботах IJCAI. 1969 г.
  2. ^ Фильман, Роберт; Дэниел Фридман (1984). "Актеры". Скоординированные вычисления - инструменты и методы для распределенного программного обеспечения. Макгроу-Хилл. п.145. ISBN  978-0-07-022439-1. Получено 2007-04-22. Карл Хьюитт и его коллеги из M.I.T. разрабатывают актерскую модель.
  3. ^ Кришнамурти, Шрирам (декабрь 1994 г.). «Введение в схему». Перекресток. 1 (2): 19–27. Дои:10.1145/197149.197166. Архивировано из оригинал на 2007-04-25. Получено 2007-04-22.
  4. ^ Милнер, Робин (Январь 1993 г.). «Лекция по Премии Тьюринга ACM: Элементы взаимодействия» (PDF). Коммуникации ACM. 36 (1): 78–89. Дои:10.1145/151233.151240. Архивировано из оригинал (PDF) на 2007-06-20. Получено 2007-05-26.
  5. ^ а б Марк С. Миллер (2006). «Надежный состав - к единому подходу к контролю доступа и контролю параллелизма» (PDF). Кандидатская диссертация. Университет Джона Хопкинса. Архивировано из оригинал (PDF) на 2007-08-10. Получено 2007-05-26. Цитировать журнал требует | журнал = (помощь)
  6. ^ Офис новостей Массачусетского технологического института (10 апреля 1996 г.). «Клуб« Четверть века »вводит в должность 73 новых члена». Получено 2007-06-19.
  7. ^ Джон В. Гуттаг (2000). "MIT подчиняется президенту 1999–2000 - Департамент электротехники и информатики". Получено 2007-06-19.
  8. ^ "Коллоквиум по компьютерным системам в Стэнфорде". Стэндфордский Университет. Получено 30 июля 2011.
  9. ^ Карл Хьюитт (2007). "Академическая биография Карла Хьюитта". Архивировано из оригинал на 2009-09-07. Получено 2007-11-22.
  10. ^ Рюичиро Охьяма (1991). "Кафедра компьютерных наук - недавние и нынешние приглашенные профессора". Архивировано из оригинал на 2007-04-30. Получено 2007-06-19.
  11. ^ Хьюитт, Карл; Вудс, Джон, ред. (2015). Несогласованность Надежность. Исследования по логике. 52. Публикации колледжа. п. 614. ISBN  9781848901599.
  12. ^ Карл Хьюитт (1986). «Офисы - это открытые системы». ACM Trans. Инф. Syst. 4 (3): 271–287. Дои:10.1145/214427.214432.
  13. ^ Жак Фербер (1999). Мультиагентные системы: введение в распределенный искусственный интеллект. Эддисон-Уэсли.
  14. ^ Хьюитт, Карл (2008). «Крупномасштабные организационные вычисления требуют нестратифицированного отражения и строгой параконсистентности». В Сичмане, Хайме; Норьега, Пабло; Пэджет, Джулиан; Оссовски, Саша (ред.). Координация, организации, институты и нормы в агентских системах III. Springer-Verlag. ISBN  978-3-540-79002-0.
  15. ^ Карл Хьюитт (сентябрь – октябрь 2008 г.). «ORGs для масштабируемых, надежных, безопасных для конфиденциальности клиентских облачных вычислений». Интернет-вычисления IEEE. 12 (5).
  16. ^ Карл Хьюитт. Процедурное внедрение знаний в планировщик IJCAI. 1971 г.
  17. ^ Филипп Руши, Аспекты истории PROLOG: логическое программирование и профессиональная динамика, TeamEthno-Online, выпуск 2, июнь 2006 г., стр. 85-100.
  18. ^ а б c Сассман, Джеральд Джей; Гай Л. Стил (1998). "Первый отчет о схеме пересмотрен" (PDF). Вычисление высшего порядка и символическое вычисление. 11 (4): 399–404. Дои:10.1023 / А: 1010079421970. Архивировано из оригинал (PDF) на 2006-06-15. Получено 2009-01-03.
  19. ^ Джерри Сассман и Терри Виноград. Справочное руководство по микропланированию Меморандум AI № 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». Доктор Алан Кей о значении "объектно-ориентированного программирования". Получено 2009-01-03.
  25. ^ Карл Хьюитт; Питер Бишоп и Ричард Штайгер (1973). «Универсальный модульный актерский формализм для искусственного интеллекта». IJCAI. Цитировать журнал требует | журнал = (помощь)
  26. ^ Карл Хьюитт Что такое обязательство? Физические, организационные и социальные МОНЕТА @ AAMAS. 27 апреля 2006 г.
  27. ^ Марк С. Миллер. «Актеры: основы открытых систем». Получено 2007-06-20.
  28. ^ Хьюитт, Карл (2010). «Актерская модель вычисления». arXiv:1008.1459 [cs.PL ].
  29. ^ Сассман, Джеральд Джей; Гай Л. Стил (1998). "Первый отчет о схеме пересмотрен" (PDF). Вычисление высшего порядка и символическое вычисление. 11 (4): 399–404. Дои:10.1023 / А: 1010079421970. Архивировано из оригинал (PDF) 15 июня 2006 г.
  30. ^ Генри Либерман "Параллельное объектно-ориентированное программирование в акте 1 ", В объектно-ориентированном параллельном программировании, А. Йонезава и М. Токоро, ред., MIT Press, 1987.
  31. ^ К. Варела и Г. Ага. Программирование динамически реконфигурируемых открытых систем с помощью SALSA. OOPSLA 2001 Интригующий технологический трек. Уведомления ACM SIGPLAN, 36 (12): 20-34, декабрь 2001 г.
  32. ^ Йохан Экер; Йорн В. Яннек. "Введение в актерский язык Caltrop" (PDF). Получено 2007-06-20. Цитировать журнал требует | журнал = (помощь)
  33. ^ Хьюитт, Карл (2010). «Расширение ActorScript для C #, Java и Objective C». arXiv:1008.2748 [cs.PL ].
  34. ^ Робин Милнер Элементы взаимодействия: лекция о премии Тьюринга CACM. Январь 1993 г.

внешняя ссылка