1960년대 후반에 개발된 Planner 프로그래밍 언어는 인공지능 분야의 기존 논리적 접근 방식에 대한 대안을 제공하는 절차적 지식 임베딩을 도입했다. 이 프로젝트는 30년 넘게 연구하며 병행 계산과 논리 프로그래밍의 발전에 영향을 미친 컴퓨터 과학자이자 수학자인 칼 에디 휴이트(Carl Eddie Hewitt)의 경력에서 중심적인 기둥 역할을 했다.
MIT에서의 학문적 기반
칼 에디 휴이트는 1971년 매사추세츠 공과대학교(MIT)에서 수학 박사 학위를 받았다. 그의 박사 지도교수로는 시모어 페퍼트, 마빈 민스키, 마이크 패터슨이 있었다. 졸업 후 그는 MIT 전기공학 및 컴퓨터 과학과 교수로 임용되어 1999–2000 학년도까지 가르쳤다. 은퇴 후 그는 해당 학과의 명예교수 지위를 부여받았다. 재직 기간 동안 그는 굴 아가, 헨리 베이커, 윌리엄 클링거, 아이린 그라이프, 요네자와 아키노리 등 수많은 박사 과정 학생들을 지도했다.
Planner의 개발
MIT 인공지능 연구소에 있는 동안 휴이트는 로봇의 자동 계획 및 정리 증명을 위해 설계된 언어인 Planner를 연구했다. 존 매카시와 같은 연구자들이 선호했던 이전의 논리적 방법들과 달리, Planner는 주장과 목표로부터 패턴 지향적 호출을 활용했다. 이 언어의 하위 집합인 Micro-Planner는 제리 서스먼, 드류 맥더못, 유진 차니악, 테리 위노그라드에 의해 구현되었으며, 이후 SHRDLU와 같은 프로그램 및 다양한 자연어 이야기 이해 실험의 동력이 되었다. 휴이트는 나중에 Planner 개념의 구현을 개선하기 위한 Lisp의 확장 버전인 Muddle에서 협력했다.
액터 모델과 병행 계산
1972년 휴이트는 대학원생들과 함께 병행 계산의 액터 모델을 개발한 후 연구 초점을 옮겼다. 피터 비숍 및 리처드 스테이거와 공동 저술한 1973년 논문에서 공식적으로 소개된 이 모델은 병렬 프로세스를 위한 새로운 프레임워크를 제안했다. 이 연구는 Scheme 프로그래밍 언어의 생성에 영향을 미쳤으며, 서스먼과 스틸은 자신들의 액터 생성 연산자가 람다 계산 연산자와 동일성을 공유한다는 점을 언급했다. 액터 모델은 이후 E, SALSA, ActorScript를 포함한 다양한 언어와 이론적 π-계산의 개발에 정보를 제공했다.
전문적 아웃리치 및 후기 연구
휴이트는 국제적인 학문적 입지를 유지하며 1989년 9월부터 1990년 8월까지 일본 게이오 대학교에서 IBM 석좌 객원 교수로 재직했다. 또한 스탠퍼드 대학교에서도 객원 교수를 역임했다. 연구의 마지막 10년 동안 그는 일관성 없는 데이터를 처리하는 정보 시스템을 위한 엄격한 기반을 마련하는 것을 목표로 불일치 견고성에 집중했다. 그의 학문적 성과는 개방형 정보 시스템, 파라콘시스턴트 논리, 클라우드 컴퓨팅, 조직적 멀티 에이전트 시스템 등 다양한 분야에 걸쳐 있었다.
빠른 사실
- 출생: 1944년 - 사망: 2022년, 앱토스 - 국적: 미국 - 학력: 매사추세츠 공과대학교 - 주요 분야: 컴퓨터 과학 - 주목할 만한 업적: Planner - 학문적 지도교수: 마빈 민스키 - 객원 교수: 게이오 대학교
독자 질문
### Planner 언어의 목적은 무엇이었습니까?
Planner는 자동 계획 및 정리 증명을 위해, 특히 인공지능 및 로봇 공학에서 사용하기 위해 설계되었다.
### 휴이트는 병행 프로그래밍에 어떻게 기여했습니까?
그는 병행 계산을 위한 형식 시스템인 액터 모델을 개발했으며, 이는 여러 프로그래밍 언어와 π-계산의 발전에 영향을 미쳤다.
