Page semi-protected

칼 휴이트

Carl Hewitt
칼 휴이트
Hewitt-Carl-2008.jpg
2008년 칼 휴이트
모교MIT
로 알려져 있다.배우 모델
불일치 강건성
플래너(로직 프로그램)
비교 도식학
과학 경력
필드컴퓨터 공학
수학적 논리학
연산 모델
프로그래밍 언어
논리철학
기관MIT
게이오 대학
스탠퍼드 대학교
박사학위 자문위원시모어 파퍼트
기타학술고문마빈 민스키
마이크 패터슨
박사과정 학생굴 아그하
헨리 베이커
윌리엄 클린저
아이린 그리프
요네자와 아키노리

칼 에디 휴이트(/charl Eddie Hewitt//hyperhjuːt/)는 미국의 컴퓨터 과학자로, 논리, 기능, 객체 지향 프로그래밍의 발전에 영향을 끼쳐온 자동화된 계획과[1] 동시 연산 배우 모델을 위해 플래너 프로그래밍 언어를 설계했다.[2]플래너는 주장과 목표에서 패턴 지향적 소명을 사용하여 실행된 절차 계획에 기초한 최초의 프로그래밍 언어였다.배우 모델은 Scheme 프로그래밍 언어인 [3]π-미적분학의 발전에 영향을 미쳤으며,[4] 몇 가지 다른 프로그래밍 언어의 영감 역할을 했다.[5]

교육과 경력

휴이트는 1971년 세이모어 파퍼트, 마빈 민스키, 마이크 패터슨의 감독 아래 MIT에서 수학 박사학위를 취득했다.그는 그해 MIT에 입사하기 시작했고 1999-2000 학년 동안 MIT 전기공학 및 컴퓨터공학부 교수진에서 은퇴했다.[6][7]그는 2000년에 그 부서에서 명예가 되었다.[8]휴이트가 MIT 시절 지도한 박사과정 학생으로는 굴 아그하, 헨리 베이커, 윌리엄 클린저, 아이린 그리프, 요네자와 아키노리 등이 있다.[9]

1989년 9월부터 1990년 8월까지 휴이트는 일본 게이오 대학 컴퓨터과학부 IBM 석좌 방문 교수였다.[10]그는 또한 스탠포드 대학의 초빙교수를 역임했다.

리서치

휴이트는 배우의 연산모델에 관한 연구로 가장 잘 알려져 있다.지난 10년 동안, 그의 작업은 "일관성이 없는 견고함"에 있었고, 이것은 영구적으로 일관되지 않는 정보를 다루는 시스템에 실질적인 엄격한 기초를 제공하는 것을 목표로 하고 있다.[11]이 작품은 그의 박사학위 논문에서 (논리적과는 반대되는) 지식의 내포 과정에 초점을 맞춘 것으로서, Planner 프로그래밍 언어로 구체화되었다.

그의 출판물에는 개방형 정보 시스템,[12] 조직 및 다중 에이전트 시스템,[13] 로직 프로그래밍,[1] 동시 프로그래밍, 상존 로직[14] 및 클라우드 컴퓨팅 분야의 기여도 포함되어 있다.[15]

플래너

주요기사 : 플래너(프로그래밍 언어)

플래너 언어는 Hewitt의 MIT의 인공지능 연구소에서 박사학위 연구의 일환으로 1960년대 후반에 개발되었다.휴이트의 플래너에 관한 연구는 존 매카시가 개척한 인공지능에 대한 지식 인코딩에 대한 논리적인 접근에 대한 대안이었던 '지식의 절차적 내장'[16] 개념을 소개했다.[17]계획자는 "극도의 야심"[18]으로 묘사되어 왔다.Micro-Planner라는 플래너의 서브셋은 게리 서스만, 드류 맥더모트, 유진 샤르니아크, 테리 위노그라드에[19] 의해 MIT에서 구현되었으며 위노그라드의 SHRDLU 프로그램,[20] 샤르니아크의 자연어 이야기 이해 작업,[21] L에 사용되었다.Thorne McCarty의 법적 [22]추리에 관한 연구플래너는 에든버러에서 줄리안 데이비스에 의해 거의 완벽하게 포플러에서[23] 구현되었다.플래너는 이후 스몰토크 객체 지향 프로그래밍 언어뿐만 아니라,[18] 머쉬와 커니버와 같은 다른 AI 연구 언어의 발달에도 영향을 미쳤다.[24]

휴이트의 플래너에 대한 자신의 연구는 수스만, 휴이트, 크리스 리브, 데이비드 크레스시가 플래너의 완전한 구현을 위한 디딤돌로 1970년대 초 개발한 머셔(MDL이라 불리는 더 늦깎이)로 이어졌다.Muffer는 Lisp의 확장 버전으로 구현되었으며, 나중에 Conniver, Lisp Machine Lisp, Common Lisp에 의해 채택된 몇 가지 기능을 소개했다.[18]그러나 1972년 말 휴이트는 그의 논문에서 플래너 디자인 개발을 갑자기 중단했는데, 그때 그와 그의 대학원생들이 연산이라는 배우 모델을 발명했다.

배우 모델

주요 기사:배우 모델

휴이트의 연산의 배우 모델에 관한 연구는 휴이트, 피터 비숍, 리처드 스티거가 저술한 1973년 논문에서 이 모델을 소개한 것을 시작으로,[25] 2006년에 최근 출판된 배우 모델 의미론에 관한 새로운 결과를 포함하면서, 30년 넘게 지속되어 왔다.[26]이 작업의 상당 부분은 MIT의 인공지능 연구소에 있는 휴이트의 Message Passing Semantics 그룹의 학생들과 협력하여 수행되었다.[27]

Sussman과 Stele은 배우 모델을 더 잘 이해하기 위해 Scheme 프로그래밍 언어를 개발했다.로 람다 미적분 continuations과 배우들은 람다 미적분은[28][29]프로그래밍 언어의 많은 특별히 acto을 구현하기 위해 고안된 것은 불가능하다는 방식으로 자신들의 지방 주립을 바꿀 수 있기 때문에 배우 고객 구현될 수 없는 그러나, 그들의 활성화 통역사는 배우 모델 구현할 수가 없었다.r모델,[33] ACT-1,[30] SALSA,[31] Caltrop,[32] E[5] 및 ActorScript와 같은.배우 모델은 π-미적분학의 발달에도 영향을 미쳤다.[34](배우 모델 및 캘커리 이력 처리 참조)

선택한 작품

  • 칼 휴이트(1969년).플래너: 로봇 IJCAI'69의 이론 증명 언어.
  • 칼 휴이트, 피터 비숍, 리처드 스티거(1973년).인공지능 IJCAI'73을 위한 유니버설 모듈러 배우 형식주의.
  • 칼 휴이트와 헨리 베이커(1977a).병렬 프로세스 통신에 대한 법률 IFIP'77.
  • 칼 휴이트와 헨리 베이커(1977b).IFIP의 프로그래밍 개념에 대한 공식 설명 실무회의의 참가자와 지속적인 기능 진행.1977년 8월 1일~5일.
  • 윌리엄 콘펠트와 칼 휴이트(1981년).과학 커뮤니티 시스템, 인간 및 사이버네틱스에 대한 IEEE 거래 은유.1981년 1월.
  • 헨리 리버먼과 칼 E.휴이트(1983년).ACM의 객체 통신 수명 26(6)에 기초한 실시간 가비지 수집기
  • 칼 휴이트(1985)오픈 시스템 바이트 매거진의 도전.1985년 4월. (인공지능의 기초에 다시 인쇄됨—캠브리지 대학 출판부의 출처.1990

참고 항목

참조

  1. ^ a b 칼 휴이트플래너: 로봇 IJCAI의 이론 증명 언어. 1969.
  2. ^ Filman, Robert; Daniel Friedman (1984). "Actors". Coordinated Computing - Tools and Techniques for Distributed Software. McGraw-Hill. p. 145. ISBN 978-0-07-022439-1. Retrieved 2007-04-22. Carl Hewitt and his colleagues at M.I.T. are developing the Actor model.
  3. ^ Krishnamurthi, Shriram (December 1994). "An Introduction to Scheme". Crossroads. 1 (2): 19–27. doi:10.1145/197149.197166. S2CID 9782289. Archived from the original on 2007-04-25. Retrieved 2007-04-22.
  4. ^ Milner, Robin (January 1993). "ACM Turing Award Lecture: The Elements of Interaction" (PDF). Communications of the ACM. 36 (1): 78–89. doi:10.1145/151233.151240. S2CID 14586773. Archived from the original (PDF) on 2007-06-20. Retrieved 2007-05-26.
  5. ^ a b Mark S. Miller (2006). "Robust Composition - Towards a Unified Approach to Access Control and Concurrency Control" (PDF). PhD dissertation. Johns Hopkins University. Archived from the original (PDF) on 2007-08-10. Retrieved 2007-05-26. {{cite journal}}:Cite 저널은 필요로 한다. journal=(도움말)
  6. ^ MIT News Office (April 10, 1996). "Quarter Century Club inducts 73 new members". Retrieved 2007-06-19.
  7. ^ John V. Guttag (2000). "MIT Reports to the President 1999–2000 - Department of Electrical Engineering and Computer Science". Retrieved 2007-06-19.
  8. ^ "Stanford EE Computer Systems Colloquium". Stanford University. Retrieved 30 July 2011.
  9. ^ Carl Hewitt (2007). "Academic Biography of Carl Hewitt". Archived from the original on 2009-09-07. Retrieved 2007-11-22.
  10. ^ Ryuichiro Ohyama (1991). "Department of Computer Science-Recent and Current Visiting Professors". Archived from the original on 2007-04-30. Retrieved 2007-06-19.
  11. ^ Hewitt, Carl; Woods, John, eds. (2015). Inconsistency Robustness. Studies in Logic. Vol. 52. College Publications. p. 614. ISBN 9781848901599.
  12. ^ Carl Hewitt (1986). "Offices Are Open Systems". ACM Trans. Inf. Syst. 4 (3): 271–287. doi:10.1145/214427.214432. S2CID 18029528.
  13. ^ Jacques Ferber (1999). Multi-Agent Systems: An Introduction to Distributed Artificial Intelligence. Addison-Wesley.
  14. ^ Hewitt, Carl (2008). "Large-scale Organizational Computing requires Unstratified Reflection and Strong Paraconsistency". In Sichman, Jaime; Noriega, Pablo; Padget, Julian; Ossowski, Sascha (eds.). Coordination, Organizations, Institutions, and Norms in Agent Systems III. Springer-Verlag. ISBN 978-3-540-79002-0.
  15. ^ Carl Hewitt (September–October 2008). "ORGs for Scalable, Robust, Privacy-Friendly Client Cloud Computing". IEEE Internet Computing. 12 (5).
  16. ^ 칼 휴이트Planner IJCAI에 지식의 절차적 내장. 1971.
  17. ^ 필립 로치, PROLOG 히스토리의 측면: 로직 프로그래밍과 프로페셔널 다이내믹스, 2006년 6월, 85-100의 팀 에쓰노-온라인 이슈 2,
  18. ^ a b c Sussman, Gerald Jay; Guy L. Steele (1998). "The First Report on Scheme Revisited" (PDF). Higher-Order and Symbolic Computation. 11 (4): 399–404. doi:10.1023/A:1010079421970. S2CID 7704398. Archived from the original (PDF) on 2006-06-15. Retrieved 2009-01-03.
  19. ^ 게리 서스만과 테리 위노그라드.마이크로 플래너 참조 매뉴얼 AI 메모 No, 203 MIT Project MAC, 1970년 7월.
  20. ^ 테리 위노그라드자연 언어 MIT AI TR-235 이해를 위한 컴퓨터 프로그램의 데이터 표현 절차.1971년 1월.
  21. ^ 마빈 민스키와 시모어 파퍼트."인공지능 진보보고서" MIT AI메모 252.11
  22. ^ L. Thorne McCarty."TASHMAN에 대한 Reflections on TAXMAN: 인공지능과 법적 추론에 관한 실험" 하버드 법학 리뷰1977년 3월 5일 제90권
  23. ^ 줄리안 데이비스.Popler 1.6 참조 Manual University of Edinburgh, TPU 보고서 1번, 1973년 5월.
  24. ^ Kay, Alan; Stefan Ram (2003-07-23). "E-Mail of 2003-07-23". Dr. Alan Kay on the Meaning of "Object-Oriented Programming". Retrieved 2009-01-03.
  25. ^ Carl Hewitt; Peter Bishop & Richard Steiger (1973). "A Universal Modular Actor Formalism for Artificial Intelligence". IJCAI. {{cite journal}}:Cite 저널은 필요로 한다. journal=(도움말)
  26. ^ 칼 휴이트 헌신이 무엇인가? Physical, Organization and Social CONE@AAMAS. 2006년 4월 27일.
  27. ^ Mark S. Miller. "Actors: Foundations for Open Systems". Retrieved 2007-06-20.
  28. ^ Hewitt, Carl (2010). "Actor Model of computation". arXiv:1008.1459 [cs.PL].
  29. ^ Sussman, Gerald Jay; Guy L. Steele (1998). "The First Report on Scheme Revisited" (PDF). Higher-Order and Symbolic Computation. 11 (4): 399–404. doi:10.1023/A:1010079421970. S2CID 7704398. Archived from the original (PDF) on 2006-06-15.
  30. ^ 헨리 리버먼, "1막의 콘센트 오브젝트 지향 프로그래밍", 인 오브젝트 지향 동시 프로그래밍, A요네자와 M.토코로, 에드, MIT 프레스 1987
  31. ^ C. 바렐라와 G.아그하. SALSA로 동적으로 재구성 가능한 개방형 시스템 프로그래밍. OOPSLA 2001 흥미로운 기술 트랙.ACM SIGPlan 공지사항, 36(12):20-34, 2001년 12월.
  32. ^ Johan Eker; Jörn W. Janneck. "An introduction to the Caltrop actor language" (PDF). Retrieved 2007-06-20. {{cite journal}}:Cite 저널은 필요로 한다. journal=(도움말)
  33. ^ Hewitt, Carl (2010). "ActorScript extension of C#, Java, andObjective C". arXiv:1008.2748 [cs.PL].
  34. ^ 로빈 밀너 상호작용 요소:1993년 1월 Turing Award 강연 CACM.

외부 링크