Carl Hewitt - Carl Hewitt

Carl Hewitt
Hewitt-Carl-2008.jpg
Carl Hewitt w 2008 r.
Alma Mater MIT
Znany z Model aktora Odporność na
niespójność
Planista ( programy logiczne )
Schematologia porównawcza
Kariera naukowa
Pola Informatyka
Logika matematyczna
Model obliczeń
Języki programowania
Filozofia logiki
Instytucje MIT
Keio University
Stanford University
Doradca doktorski Seymour Papert
Inni doradcy akademiccy Marvin Minsky
Mike Paterson
Doktoranci Gul Agha
Henry Baker
William Clinger
Irene Greif
Akinori Yonezawa

Carl Eddie Hewitt ( / h j Ü ɪ t / ), amerykański informatyk, który zaprojektował języka programowania Planner dla zautomatyzowanego planowania i modelu aktora z równoczesnym obliczeń , które zostały wpływowych w rozwoju logiki , funkcjonalny i obiektowego programowanie . Planner był pierwszym językiem programowania opartym na planach proceduralnych wywoływanych przy użyciu wywołania ukierunkowanego na wzorce z asercji i celów. Model aktora wpłynął na rozwój języka programowania Scheme , rachunku π i służył jako inspiracja dla kilku innych języków programowania.

Edukacja i kariera

Hewitt uzyskał doktorat z matematyki na MIT w 1971 pod kierunkiem Seymour Paperta , Marvina Minsky'ego i Mike'a Patersona . Rozpoczął pracę w MIT w tym samym roku i przeszedł na emeryturę z wydziału Wydziału Elektrotechniki i Informatyki MIT w roku szkolnym 1999-2000. Został emerytem na wydziale w 2000 roku. Wśród doktorantów, których Hewitt nadzorował w czasie swojego pobytu w MIT, są Gul Agha , Henry Baker , William Clinger , Irene Greif i Akinori Yonezawa .

Od września 1989 r. do sierpnia 1990 r. Hewitt był profesorem wizytującym katedry IBM na Wydziale Informatyki Uniwersytetu Keio w Japonii. Był również profesorem wizytującym na Uniwersytecie Stanforda .

Badania

Hewitt jest najbardziej znany ze swojej pracy nad aktorskim modelem obliczeń. Przez ostatnią dekadę jego praca polegała na „odporności na niespójność”, która ma na celu zapewnienie praktycznych rygorystycznych podstaw dla systemów zajmujących się wszechobecnie niespójnymi informacjami. Praca ta wyrosła z jego rozprawy doktorskiej skoncentrowanej na proceduralnym (w przeciwieństwie do logicznego) osadzeniu wiedzy, która została zawarta w języku programowania Planner .

Jego publikacje obejmują również wkład w obszarach otwartych systemów informatycznych , organizacyjnych i systemów wieloagentowych , programowania logicznego , programowania współbieżnego , logiki paraconsistent i cloud computing .

Planista

Główny artykuł: Planner (język programowania)

Język Planner został opracowany pod koniec lat 60. w ramach badań doktoranckich Hewitta w Laboratorium Sztucznej Inteligencji MIT. Praca Hewitta nad Plannerem wprowadziła pojęcie „proceduralnego osadzania wiedzy”, które było alternatywą dla logicznego podejścia do kodowania wiedzy dla sztucznej inteligencji, które zapoczątkował John McCarthy . Planner został opisany jako „niezwykle ambitny”. Podzbiór programu Planner o nazwie Micro-Planner został zaimplementowany w MIT przez Gerry'ego Sussmana , Drew McDermotta , Eugene'a Charniaka i Terry'ego Winograda i był używany w programie SHRDLU Winograda , pracy Charniaka dotyczącej rozumienia historii języka naturalnego oraz pracy L. Thorne'a McCarty'ego nad rozumowaniem prawnym. Planner został prawie w całości zaimplementowany w Popler przez Juliana Daviesa w Edynburgu. Planner wpłynął również na późniejszy rozwój innych języków badawczych AI, takich jak Muddle i Conniver, a także języka programowania obiektowego Smalltalk .

Własna praca Hewitta nad Plannerem była kontynuowana w Muddle (później nazwanym MDL), który został opracowany na początku lat 70. przez Sussmana, Hewitta, Chrisa Reeve'a i Davida Cresseya jako odskocznię w kierunku pełnej implementacji Plannera. Muddle został zaimplementowany jako rozszerzona wersja Lisp i wprowadziła kilka funkcji, które później zostały zaadoptowane przez Conniver, Lisp Machine Lisp i Common Lisp. Jednak pod koniec 1972 roku Hewitt nagle zatrzymał rozwój projektu Planner w swojej pracy magisterskiej, kiedy wraz ze swoimi doktorantami wymyślił aktorski model obliczeń.

Model aktora

Główny artykuł: model aktora

Praca Hewitta nad aktorskim modelem obliczeniowym trwała ponad 30 lat, poczynając od wprowadzenia modelu w artykule z 1973 r. autorstwa Hewitta, Petera Bishopa i Richarda Steigera, po nowe wyniki dotyczące semantyki modelu aktorskiego opublikowane w 2006 r. Wiele z tych prac zostało wykonanych we współpracy ze studentami z Hewitt's Message Passing Semantics Group w Laboratorium Sztucznej Inteligencji MIT.

Sussman i Steele opracowali język programowania Scheme , aby lepiej zrozumieć model aktora. Jednak ich interpreter schematu nie był w stanie w pełni zaimplementować modelu aktora, ponieważ klientów aktora nie można zaimplementować jako kontynuacji rachunku lambda, a aktorzy mogą zmienić swój stan lokalny w sposób, który jest niemożliwy w rachunku lambda. wdrożyć model aktora, taki jak ACT-1, SALSA , Caltrop, E i ActorScript. Model aktora wpłynął również na rozwój rachunku π . (Zobacz model aktora i historię obliczeń procesów .)

Wybrane prace

Zobacz też

Bibliografia

Zewnętrzne linki