팻 헤이스

Pat Hayes
팻 헤이스(Pat Hayes)라는 다른 사람은 팻 헤이스(해명)를 참조하십시오.
팻 헤이스
태어난
패트릭 존 헤이즈

(1944-08-21) 1944년 8월 21일 (77세)
뉴엔트, 글로스터셔, 영국
시민권영국
교육벤틀리 문법 학교
모교케임브리지 대학교 (BA)
에든버러 대학교(PhD)
로 알려져 있다.천진난만한 물리학 선언문[1][2]
수상AAAI 펠로우[언제?]
과학 경력
필드컴퓨터 사이언스
기관플로리다 휴먼&머신인식연구소
케임브리지 대학교
에든버러 대학교
일리노이 대학교 어바나 샴페인
로체스터 대학교
에식스 대학교
논문의미 나무: 자동 정리 증명의 새로운 기초 (1975)
박사학위 자문위원버나드 멜처[3]
영향존 매카시
웹사이트ihmc.us/groups/phayes

패트릭 존 헤이스 FAAAI(Patrick John Hayes FAAAI, 1944년 8월 21일생)는 미국에서 살고 일하는 영국의 컴퓨터 과학자다.2006년 3월 현재, 그는 플로리다 펜사콜라에 있는 인간 및 기계인식을 위한 연구소의 선임 연구 과학자다.[4]

교육

헤이스는 벤틀리 문법 학교에서 교육을 받았다.[citation needed]그는 케임브리지 수학 트리포스를 공부했고 케임브리지[when?] 대학에서 수학 학사 학위를, 인공지능 박사학위를 받았다.에든버러 대학교에서 '자동 정리-프로빙'을 위한 새로운 기초.[6]

직업 및 연구

헤이스는 50년 넘게 인공지능 분야에서 활발하고, 다작이며, 영향력 있는 인물이었다.[4][7][8][9][10][11]그는 도발적이지만 유머러스하다는 평판을 받고 있다.[citation needed]

그의 초창기 출판물 중 하나는 존 매카시와 함께 논리지식표현의 AI 분야의 기초에 대한 최초의 철저한 진술로, 상황 미적분학의 개념, 시간에 대한 표현과 추론, 유창함, 컴퓨터에서의 지식을 표현하기 위한 논리의 활용 등을 소개했다.[12][13]

헤이즈 다음으로 주요한 공헌은 여러 방면에서 전문가 시스템 이동을 예상한 순진한 물리학 선언에 관한 정석적인 연구였다.[1] 그리고 AI의 연구자들이 실제로 컴퓨터에 지식을 나타내려고 노력할 것을 요구했다.컴퓨터 과학에서 '온톨로지'라는 단어를 처음 언급한 것은 아니지만(그 구별은 존 매카시에[citation needed] 속한다), 헤이스는 실제로 그것을 한 최초의 사람 중 한 사람이었고, 지식 공학, 상식 추리의 논리적 공식화, 온톨로지[citation needed] 분야의 모든 세대의 연구자들에게 영감을 주었다.

1990년대 중반, AAAI의 사장으로 재직하면서 헤이스는 AI의 비평가들에 대한 일련의 공격을 시작했는데, 대부분은 아이러니한 시각으로 표현되었고, (그의 동료 케네스 포드와 함께) 사이먼 뉴콤의 이름을 딴 상을 발명하여 AI의 가능성을 "검증"하는 가장 터무니없는 논쟁에 대해 주어졌다.뉴콤 어워드는 AAAI가 발행하는 AI 매거진에서 발표된다.

세기의 전환기에 그는 시맨틱 웹 커뮤니티에서 활동하게 되었고, 웹 온톨로지 언어 의미론의 세 디자이너 중 한 명인 RDF-Core로 알려진[14] 개정된 의미론에 실질적으로(아마도 단독적으로) 기여하였고, 최근에는 SPARQL에 기여하였다.그는 또한 철학자 크리스토퍼 멘젤과 함께 ISO 공통논리 표준의 주요 디자이너다.

헤이스는 IJCAI의 회장 겸 수탁자인 [when?]AISB의 비서, 인공지능 부편집장, 인지과학협회 주지사, 미국 인공지능협회장을 역임했다.헤이스는 AAAI와 인지과학회의 헌장 펠로우다.

그의 웹사이트에 따르면, 그의 현재 연구 관심사는 "지식 표현과 자동 추론, 특히 공간과 시간의 표현, 의미 웹, 온톨로지 디자인, 그리고 AI와 컴퓨터 과학의 철학적 기반"이다.[15]

참조

  1. ^ a b 천진난만한 물리학 선언은Michie, Donald (1979). Expert systems in the micro-electronic age. Edinburgh: Edinburgh University Press. ISBN 978-0-85224-381-7.
  2. ^ Hayes, Patrick (1995). "The second naive physics manifesto". Computation & Intelligence. pp. 567–585. ISBN 978-0262621014.
  3. ^ 수학 계보 프로젝트 팻 헤이스
  4. ^ a b DBLP 서지학 서버의 Pat Hayes
  5. ^ Hayes, Patrick J. (1973). "Semantic trees: New foundations for automatic theorem-proving". Meltzer, Bernard. hdl:1842/8115. {{cite journal}}:Cite 저널은 필요로 한다. journal=(도움말)
  6. ^ Hayes, Patrick John (1975). Semantic trees: new foundations for automatic theorem proving (PhD thesis). University of Edinburgh. hdl:1842/8115. EThOS uk.bl.ethos.586181. icon of an open green padlock
  7. ^ Hayes, P.; Eskridge, T. C.; Saavedra, R.; Reichherzer, T.; Mehrotra, M.; Bobrovnikoff, D. (2005). "Collaborative knowledge capture in ontologies". Proceedings of the 3rd international conference on Knowledge capture - K-CAP '05. p. 99. doi:10.1145/1088622.1088641. ISBN 978-1595931634. S2CID 15663316.
  8. ^ Carroll, J. J.; Bizer, C.; Hayes, P.; Stickler, P. (2005). "Named graphs, provenance and trust". Proceedings of the 14th international conference on World Wide Web - WWW '05. p. 613. CiteSeerX 10.1.1.1.2197. doi:10.1145/1060745.1060835. ISBN 978-1595930460. S2CID 207156699.
  9. ^ Clark, P.; Hayes, P.; Reichherzer, T.; Thompson, J.; Barker, K.; Porter, B.; Chaudhri, V.; Rodriguez, A.; Thomere, J.; Mishra, S.; Gil, Y. (2001). "Knowledge entry as the graphical assembly of components". Proceedings of the international conference on Knowledge capture - K-CAP 2001. p. 22. CiteSeerX 10.1.1.24.9465. doi:10.1145/500737.500745. ISBN 978-1581133806. S2CID 663883.
  10. ^ Carroll, J. J.; Bizer, C.; Hayes, P.; Stickler, P. (2005). "Named graphs". Web Semantics: Science, Services and Agents on the World Wide Web. 3 (4): 247. doi:10.1016/j.websem.2005.09.001.
  11. ^ Jensen, C. S.; Dyreson, C. E.; Böhlen, M.; Clifford, J.; Elmasri, R.; Gadia, S. K.; Grandi, F.; Hayes, P.; Jajodia, S.; Käfer, W.; Kline, N.; Lorentzos, N.; Mitsopoulos, Y.; Montanari, A.; Nonen, D.; Peressi, E.; Pernici, B.; Roddick, J. F.; Sarda, N. L.; Scalas, M. R.; Segev, A.; Snodgrass, R. T.; Soo, M. D.; Tansel, A.; Tiberio, P.; Wiederhold, G. (1998). "The consensus glossary of temporal database concepts — February 1998 version". Temporal Databases: Research and Practice. Lecture Notes in Computer Science. Vol. 1399. p. 367. doi:10.1007/BFb0053710. ISBN 978-3-540-64519-1.
  12. ^ Shanahan, Murray (1997). Solving the frame problem: a mathematical investigation of the common sense law of inertia. MIT Press. p. 45. ISBN 978-0-262-19384-9. Retrieved 12 November 2010.
  13. ^ Hayes, Patrick J.; John McCarthy (1969). "Some philosophical problems from the standpoint of artificial intelligence". Machine Intelligence. 4: 463–502.
  14. ^ Fikes, R.; Hayes, P.; Horrocks, I. (2004). "OWL-QL—a language for deductive query answering on the Semantic Web". Web Semantics: Science, Services and Agents on the World Wide Web. 2: 19–29. CiteSeerX 10.1.1.67.1967. doi:10.1016/j.websem.2004.07.002.
  15. ^ "Pat Hayes". IHMC Institute for Human & Machine Cognition. Retrieved 30 January 2019.