Pat Hayes - Pat Hayes - Wikipedia

Pro ostatní lidi jménem Pat Hayes viz Pat Hayes (disambiguation).

Pat Hayes
narozený
Patrick John Hayes

(1944-08-21) 21. srpna 1944 (věk 76)
Newent, Gloucestershire, Velká Británie
Státní občanstvíSpojené království
VzděláváníBentley gymnázium
Alma materUniverzita v Cambridge (BA)
University of Edinburgh (PhD)
Známý jakoManifest naivní fyziky[1][2]
OceněníČlen AAAI[když? ]
Vědecká kariéra
PolePočítačová věda
InstituceFlorida Institute for Human & Machine Cognition
Univerzita v Cambridge
University of Edinburgh
University of Illinois v Urbana-Champaign
University of Rochester
University of Essex
TezeSémantické stromy: nové základy pro automatické dokazování věty  (1975)
Doktorský poradceBernard Meltzer[3]
VlivyJohn McCarthy
webová stránkaihmc.nás/skupiny/ phayes

Patrick John Hayes FAAAI (narozený 21. srpna 1944) je Brit počítačový vědec který žije a pracuje ve Spojených státech. Jak března 2006, je vedoucím výzkumným pracovníkem v Ústav pro poznávání lidí a strojů v Pensacola Na Floridě.[4]

Vzdělávání

Hayes byl vzděláván u Bentley gymnázium.[Citace je zapotřebí ] Studoval Cambridge Mathematical Tripos a získal titul bakaláře matematiky z matematiky Univerzita v Cambridge[když? ] a doktorát v Umělá inteligence na téma „Sémantické stromy: Nové základy pro automatické dokazování vět“ [5] z University of Edinburgh.[6]

Kariéra a výzkum

Hayes byl aktivní, plodný a vlivná osobnost v Umělá inteligence po více než pět desetiletí.[4][7][8][9][10][11] Má pověst provokativní, ale také docela vtipný.[Citace je zapotřebí ]

Jedna z jeho prvních publikací, s John McCarthy, bylo první důkladné vyjádření základu pro pole AI reprezentace logických znalostí, které zavedlo pojem situační kalkul, zastoupení a úvahy o čase, plynule a použití logiky pro reprezentaci znalostí v počítači.[12][13]

Dalším významným příspěvkem Hayese byla klíčová práce na Manifest naivní fyziky,[1] který předpokládal expertní systémy hnutí v mnoha ohledech a vyzval vědce v AI, aby skutečně pokusit se reprezentovat znalosti v počítačích. Ačkoli není první, kdo zmínil slovo „ontologie „v informatice (tento rozdíl patří Johnu McCarthymu[Citace je zapotřebí ]), Hayes byl jedním z prvních, kdo to skutečně udělal, a inspiroval celou generaci výzkumníků v znalostní inženýrství, logické formalizace rozumné uvažování a ontologie[Citace je zapotřebí ].

V polovině 90. let působil jako prezident USA AAAI, Hayes zahájil sérii útoků na kritiky AI, většinou formulovaných v ironickém světle, a (společně se svým kolegou Kennethem Fordem) vymyslel ocenění pojmenované po Simon Newcomb být uveden za nejsmyslnější argument „vyvracející“ možnost AI. Ceny Newcomb jsou vyhlašovány v AI Magazine publikováno AAAI.

Na přelomu století se stal aktivním v Sémantický web komunita a podstatně (možná pouze) přispívá k revidované sémantice RDF známý jako RDF-Core, jeden ze tří návrhářů (spolu s Peterem Patelem-Schneiderem a Ian Horrocks[14]) z Jazyk webové ontologie sémantiky a naposledy přispěl k SPARQL. Spolu s filozofem Christopherem Menzelem je také hlavním designérem ISO Společná logika Standard.

Hayes sloužil jako tajemník AISB,[když? ] předseda a správce IJCAI, pomocný redaktor Umělá inteligence, guvernér Společnosti pro kognitivní vědy a prezident Americká asociace pro umělou inteligenci. Hayes je zakládajícím členem AAAI a Společnost kognitivních věd

Podle jeho webových stránek jeho aktuální výzkumné zájmy zahrnují „reprezentace znalostí a automatické uvažování, zejména zastoupení prostor a čas; the sémantický web; ontologie design; a filozofické základy AI a počítačová věda ".[15]

Reference

  1. ^ A b Manifest naivní fyziky v Michie, Donald (1979). Expertní systémy v mikroelektronickém věku. Edinburgh: Edinburgh University Press. ISBN  978-0-85224-381-7.
  2. ^ Hayes, Patrick (1995). „Druhý manifest naivní fyziky“. Výpočet a inteligence. 567–585. ISBN  978-0262621014.
  3. ^ Pat Hayes na Matematický genealogický projekt Upravte to na Wikidata
  4. ^ A b Pat Hayes na DBLP Bibliografický server Upravte to na Wikidata
  5. ^ Hayes, Patrick J. (1973). "Sémantické stromy: Nové základy pro automatické dokazování teorémů". Meltzer, Bernard. hdl:1842/8115. Citovat deník vyžaduje | deník = (Pomoc)
  6. ^ Hayes, Patrick John (1975). Sémantické stromy: nové základy pro automatické dokazování věty (Disertační práce). University of Edinburgh. hdl:1842/8115. EThOS  uk.bl.ethos.586181. Zdarma ke čtení
  7. ^ Hayes, P .; Eskridge, T. C .; Saavedra, R .; Reichherzer, T .; Mehrotra, M .; Bobrovnikoff, D. (2005). "Kolaborativní sběr znalostí v ontologiích". Sborník z 3. mezinárodní konference o Zachycování znalostí - K-CAP '05. p. 99. doi:10.1145/1088622.1088641. ISBN  978-1595931634.
  8. ^ Carroll, J. J .; Bizer, C .; Hayes, P .; Stickler, P. (2005). "Pojmenované grafy, původ a důvěra". Sborník příspěvků ze 14. mezinárodní konference o World Wide Web - WWW '05. p. 613. CiteSeerX  10.1.1.1.2197. doi:10.1145/1060745.1060835. ISBN  978-1595930460.
  9. ^ Clark, P .; Hayes, P .; Reichherzer, T .; Thompson, J .; Barker, K .; Porter, B .; Chaudhri, V .; Rodriguez, A .; Thomere, J .; Mishra, S .; Gil, Y. (2001). Msgstr "Zadávání znalostí jako grafické sestavení komponent". Sborník mezinárodní konference o Zachycování znalostí - K-CAP 2001. p. 22. CiteSeerX  10.1.1.24.9465. doi:10.1145/500737.500745. ISBN  978-1581133806.
  10. ^ Carroll, J. J .; Bizer, C .; Hayes, P .; Stickler, P. (2005). "Pojmenované grafy". Sémantika webu: Věda, služby a agenti v síti WWW. 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). "Glosář konsensu konceptů časové databáze - verze z února 1998". Časové databáze: Výzkum a praxe. Přednášky z informatiky. 1399. p. 367. doi:10.1007 / BFb0053710. ISBN  978-3-540-64519-1.
  12. ^ Shanahan, Murray (1997). Řešení rámcového problému: matematické zkoumání zákona setrvačnosti zdravého rozumu. MIT Stiskněte. p. 45. ISBN  978-0-262-19384-9. Citováno 12. listopadu 2010.
  13. ^ Hayes, Patrick J .; John McCarthy (1969). „Některé filozofické problémy z hlediska umělé inteligence“. Inteligence strojů. 4: 463–502.
  14. ^ Fikes, R .; Hayes, P .; Horrocks, I. (2004). „OWL-QL - jazyk pro deduktivní zodpovídání dotazů na sémantickém webu“. Sémantika webu: Věda, služby a agenti v síti WWW. 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. Citováno 30. ledna 2019.