Карл Хьюитт
Карл Хьюитт | |
|---|---|
 Карл Хьюитт в 2008 году | |
| Рожденный | 1944 [1] |
| Умер | (77 лет) |
| Альма-матер | С |
| Известный | Модель актера Устойчивость к несоответствию Планировщик ( логические программы ) Сравнительная схематология |
| Научная карьера | |
| Поля | Информатика Математическая логика Модель вычислений Языки программирования Философия логики |
| Учреждения | С Университет Кейо Стэнфордский университет |
| Докторантура | Seymour Papert |
| Другие научные консультанты | Марвин Мински Майк Патерсон |
| Докторанты | Гуль Ага Генри Бейкер Уильям Клингер Ирен Грейф Акинори Ёнезава |
Карл Эдди Хьюитт ( / ˈ 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 года Хьюитт внезапно остановил разработку плана Планировщика в своей диссертации, когда он и его аспиранты изобрели актерскую модель вычислений.
Модель актера
Работа Хьюитта над акторной моделью вычислений длилась более 30 лет, начиная с представления модели в статье 1973 года, написанной Хьюиттом, Питером Бишопом и Ричардом Стайгером. [27] и включая новые результаты по семантике модели актера, опубликованные совсем недавно, в 2006 году. [28] Большая часть этой работы была выполнена в сотрудничестве со студентами группы семантики передачи сообщений Хьюитта в лаборатории искусственного интеллекта Массачусетского технологического института. [29]
Сассман и Стил разработали язык программирования Scheme , чтобы лучше понять модель актора. Они обнаружили, что их оператор создания актера ALPHA и оператор создания функции LAMBDA идентичны, поэтому они сохранили только LAMBDA для обоих. [30] [31] Для реализации модели актера был разработан ряд других языков программирования, таких как ACT-1, [32] САЛЬСА , [33] Кальтроп, [34] И [7] и Актерскрипт. [35] Модель актора также повлияла на развитие π-исчисления . [36] (См. модель актора и историю вычислений процессов .)
Избранные произведения
- Карл Хьюитт (1969). ПЛАННЕР: язык доказательства теорем на роботах IJCAI'69.
- Карл Хьюитт, Питер Бишоп и Ричард Штайгер (1973). Универсальный модульный формализм актеров для искусственного интеллекта IJCAI'73.
- Карл Хьюитт и Генри Бейкер (1977a). Законы взаимодействия параллельных процессов ИФИП'77.
- Карл Хьюитт и Генри Бейкер (1977b). Акторы и непрерывные функционалы. Материалы рабочей конференции ИФИП по формальному описанию концепций программирования. 1–5 августа 1977 г.
- Уильям Корнфельд и Карл Хьюитт (1981). Метафора научного сообщества Транзакции IEEE по системам, человеку и кибернетике. Январь 1981 года.
- Генри Либерман и Карл Э. Хьюитт (1983). Сборщик мусора в реальном времени, основанный на времени жизни объектов связи ACM, 26(6).
- Карл Хьюитт (1985). Вызов открытых систем Журнал Byte. Апрель 1985 г. (Перепечатано в «Фундаменте искусственного интеллекта» — справочнике Cambridge University Press. 1990 г.).
См. также
Ссылки
- ^ «Некролог Карла Хьюитта (1944–2022) — Аптос, Калифорния — Сентинел Санта-Крус» . Legacy.com .
- ^ Карл Хьюитт Стэнфорд. 2022.
- ↑ Перейти обратно: Перейти обратно: а б Карл Хьюитт. ПЛАННЕР: язык доказательства теорем на роботах IJCAI. 1969.
- ^ Филман, Роберт; Дэниел Фридман (1984). «Актеры» . Координированные вычисления — инструменты и методы для распределенного программного обеспечения . МакГроу-Хилл. п. 145 . ISBN 978-0-07-022439-1 . Проверено 22 апреля 2007 г.
Карл Хьюитт и его коллеги из Массачусетского технологического института разрабатывают модель актера.
- ^ Кришнамурти, Шрирам (декабрь 1994 г.). «Введение в схему» . Перекресток . 1 (2): 19–27. дои : 10.1145/197149.197166 . S2CID 9782289 . Архивировано из оригинала 25 апреля 2007 г. Проверено 22 апреля 2007 г.
- ^ Милнер, Робин (январь 1993 г.). «Лекция на премию ACM Тьюринга: элементы взаимодействия» . Коммуникации АКМ . 36 (1): 78–89. дои : 10.1145/151233.151240 . S2CID 14586773 .
- ↑ Перейти обратно: Перейти обратно: а б Миллер, Марк С. (2006). Надежная композиция - к унифицированному подходу к контролю доступа и управлению параллелизмом (PDF) (доктор философии). Университет Джонса Хопкинса. Архивировано из оригинала (PDF) 10 августа 2007 г. Проверено 26 мая 2007 г.
- ^ Офис новостей Массачусетского технологического института (10 апреля 1996 г.). «Клуб «Квартал века» принимает 73 новых члена» . Проверено 19 июня 2007 г.
- ^ Джон В. Гуттаг (2000). «Отчеты MIT президенту за 1999–2000 годы - Департамент электротехники и информатики» . Проверено 19 июня 2007 г.
- ^ «Стэнфордский коллоквиум по компьютерным системам» . Стэнфордский университет . Проверено 30 июля 2011 г.
- ^ Карл Хьюитт (2007). «Академическая биография Карла Хьюитта» . Архивировано из оригинала 7 сентября 2009 г. Проверено 22 ноября 2007 г.
- ^ Рюичиро Ояма (1991). «Кафедра компьютерных наук – недавние и нынешние приглашенные профессора» . Архивировано из оригинала 30 апреля 2007 г. Проверено 19 июня 2007 г.
- ^ Хьюитт, Карл; Вудс, Джон, ред. (2015). Непоследовательность Надежность . Исследования по логике. Том. 52. Публикации колледжа. п. 614. ИСБН 9781848901599 .
- ^ Карл Хьюитт (1986). «Офисы — это открытые системы» . АКМ Транс. Инф. Сист . 4 (3): 271–287. дои : 10.1145/214427.214432 . S2CID 18029528 .
- ^ Жак Фербер (1999). Мультиагентные системы: введение в распределенный искусственный интеллект . Аддисон-Уэсли.
- ^ Хьюитт, Карл (2008). «Крупномасштабные организационные вычисления требуют нестратифицированного отражения и сильной паранепротиворечивости» . В Сихмане, Хайме; Норьега, Пабло; Пэджет, Джулиан; Оссовский, Саша (ред.). Координация, организации, институты и нормы в агентных системах III . Спрингер-Верлаг. ISBN 978-3-540-79002-0 .
- ^ Карл Хьюитт (сентябрь – октябрь 2008 г.). «Организации для масштабируемых, надежных и безопасных для конфиденциальности клиентских облачных вычислений». IEEE Интернет-вычисления . 12 (5).
- ^ Карл Хьюитт. Процедурное внедрение знаний в Planner IJCAI. 1971.
- ^ Филипп Руши, Аспекты истории ПРОЛОГА: логическое программирование и профессиональная динамика , TeamEthno-Online, выпуск 2, июнь 2006 г., 85-100.
- ↑ Перейти обратно: Перейти обратно: а б с Сассман, Джеральд Джей; Гай Л. Стил (1998). «Первый отчет о пересмотре схемы» (PDF) . Вычисления высшего порядка и символьные вычисления . 11 (4): 399–404. дои : 10.1023/А:1010079421970 . S2CID 7704398 . Архивировано из оригинала (PDF) 15 июня 2006 г. Проверено 3 января 2009 г.
- ^ Джерри Сассман и Терри Виноград. Справочное руководство по микропланировщику AI Memo No, 203, MIT Project MAC, июль 1970 г.
- ^ Терри Виноград. Процедуры как представление данных в компьютерной программе для понимания естественного языка MIT AI TR-235. Январь 1971 года.
- ^ Марвин Мински и Сеймур Пейперт. «Отчет о прогрессе в области искусственного интеллекта» MIT AI Memo 252. 1971.
- ^ Л. Торн Маккарти. «Размышления о TAXMAN: эксперимент по искусственному интеллекту и правовому рассуждению», Harvard Law Review. Том. 90, № 5, март 1977 г.
- ^ Джулиан Дэвис. Справочное руководство Popler 1.6 Эдинбургский университет, Отчет ТПУ № 1, май 1973 г.
- ^ Кей, Алан; Стефан Рам (23 июля 2003 г.). «Электронное письмо от 23 июля 2003 г.» . Доктор Алан Кей о значении «объектно-ориентированного программирования» . Проверено 3 января 2009 г.
- ^ Хьюитт, Карл ; Епископ Питер; Штайгер, Ричард (1973). Универсальный модульный формализм актеров для искусственного интеллекта (PDF) . Международная совместная конференция по искусственному интеллекту.
- ^ Карл Хьюитт Что такое обязательства? Физический, организационный и социальный COIN@AAMAS. 27 апреля 2006 г.
- ^ Марк С. Миллер. «Акторы: основы открытых систем» . Проверено 20 июня 2007 г.
- ^ Хьюитт, Карл (2010). «Актерская модель вычислений». arXiv : 1008.1459 [ cs.PL ].
- ^ Сассман, Джеральд Джей; Гай Л. Стил (1998). «Первый отчет о пересмотре схемы» (PDF) . Вычисления высшего порядка и символьные вычисления . 11 (4): 399–404. дои : 10.1023/А:1010079421970 . S2CID 7704398 . Архивировано из оригинала (PDF) 15 июня 2006 г.
- ^ Генри Либерман, « Параллельное объектно-ориентированное программирование в акте 1 », В «Объектно-ориентированном параллельном программировании», А. Йонезава и М. Токоро, ред., MIT Press, 1987.
- ^ К. Варела и Г. Ага. Программирование динамически реконфигурируемых открытых систем с помощью SALSA . OOPSLA 2001 Интригующий технологический трек. Уведомления ACM SIGPLAN, 36(12):20-34, декабрь 2001 г.
- ^ Экер, Джон; Яннек, Йорн В. (28 ноября 2001 г.). «Введение в язык актеров Caltrop» (PDF) . Проверено 20 июня 2007 г.
- ^ Хьюитт, Карл (2010). «Расширение ActorScript для C#, Java и Objective C». arXiv : 1008.2748 [ cs.PL ].
- ^ Робин Милнер Элементы взаимодействия: лекция CACM о премии Тьюринга. Январь 1993 года.
Внешние ссылки
- Карл Хьюитт на DBLP библиографическом сервере
- Карл Эдди Хьюитт в проекте «Математическая генеалогия»
- Официальный блог Хьюитта
| Международный | |
|---|---|
| Национальный | |
| академики | |
- 2022 смертей
- Американские программисты
- Американские ученые-компьютерщики
- Американские математики XX века
- Американские математики XXI века
- Формальные методы люди
- Инженерный факультет Массачусетского технологического института
- Академический состав Университета Кейо
- Американские писатели-технологи
- Инженеры из Массачусетса
- 1944 года рождения