Карл Хьюитт - Carl Hewitt

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

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

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

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

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

Исследовать

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

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

Планировщик

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

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

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

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

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

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

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

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

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

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

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