Pat Hajes

С Википедије, слободне енциклопедије

Pat Hajes
Ime po rođenjuPatrick John Hayes
Druga imenaPat Hayes
Datum rođenja(1944-08-21)21. август 1944.
Mesto rođenjaNjuent, Glosteršir
 UK
DržavljanstvoUK
UniverzitetUniverzitet u Kembridžu (BA)
Univerzitet u Edinburgu (PhD)
Zanimanjeinformatičar
DelovanjeManifest naivne fizike[1][2]
RadoviSemantička stabla: nove osnove za automatsko dokazivanje teorema
NagradeAAAI Fellow (1990)
Veb-sajtihmc.us/groups/phayes

Patrick John Hayes FAAAI (rođen 21. avgusta 1944) britanski je informatičar koji živi i radi u Sjedinjenim Državama. Od marta 2006, on je viši naučni naučnik na Institutu za ljudsku i mašinsku kogniciju u Pensakoli, Florida.[3]

Obrazovanje[уреди | уреди извор]

Hejes se školovao u Bentli gimnaziji u Kalnu. Studirao je na [[Cambridge Mathematical Tripos]|Kembridž matematičkom triposu]] i diplomirao matematiku na Univerzitetu u Kembridžu i doktorirao veštačku inteligenciju na temu 'Semantička stabla: Nove osnove za automatsko dokazivanje teorema'[4] na Univerzitetu u Edinburgu.[5]

Karijera i istraživanje[уреди | уреди извор]

Hejes je bio aktivna, plodna i uticajna figura u veštačkoj inteligenciji više od pet decenija.[3][6][7][8][9][10] On ima reputaciju da je provokativan, ali i prilično duhovit.

Jedna od njegovih najranijih publikacija, sa Džonom Makartijem, bila je prva temeljna izjava o osnovama za VI polje logičkog predstavljanja znanja, uvodeći pojam situacionog računa, predstavljanja i rezonovanja o vremenu, tečnosti i upotrebe logike za predstavljanje znanja u kompjuteru.[11][12]

Hejesov sledeći veliki doprinos bio je suštinski rad na Manifestu naivne fizike,[1] koji je anticipirao kretanje ekspertskih sistema na mnogo načina i pozvao istraživače VI da zapravo pokušaju da predstave znanje u računarima. Iako nije prvi koji je pomenuo reč „ontologija“ u računarskoj nauci (ta zasluga pripada Džonu Makartiju), Hejes je bio jedan od prvih koji je to učinio i inspirisao je čitavu generaciju istraživača u inženjeringu znanja, logičkim formalizacijama zdravorazumskog razmišljanja, i ontologija.

Sredinom 1990-ih, dok je bio predsednik AAAI, Hejes je započeo seriju napada na kritičare veštačke inteligencije, uglavnom formulisano u ironičnom svetlu, i (zajedno sa svojim kolegom Kenetom Fordom) izmislio nagradu nazvanu po Sajmonu Njukombu s ciljim dodeljivanja najsmešnijem argumentu koji „pobija“ mogućnost VI. Njukombove nagrade su objavljene u AI Magazinu koji izdaje AAAI.

Na prelazu vekova postao je aktivan u zajednici semantičkog veba, dajući značajan doprinos (možda isključivo) revidiranoj semantici RDF-a poznatoj kao RDF-osnova, jedan od tri dizajnera (zajedno sa Peterom Patel-Šnajderom i Ijanom Horoksom.[13]) semantike Jezika veb ontologije, a nedavno je doprineo SPARKL-u. On je takođe, zajedno sa filozofom Kristoferom Menzelom, glavni dizajner ISO standarda Uobičajena logika.

Hejes je bio sekretar AISB-a, predsednik i poverenik IJCAI, pomoćnik urednika Veštačke inteligencije, guverner Društva za kognitivne nauke i predsednik Američkog udruženja za veštačku inteligenciju. Hejes je član AAAI-a i Društva za kognitivne nauke.

Prema njegovoj veb stranici, njegova trenutna istraživačka interesovanja obuhvataju „reprezentaciju znanja i automatsko rezonovanje, posebno predstavljanje prostora i vremena; semantičku mrežu; dizajn ontologije; i filozofske osnove VI i računarske nauke“.[14]

Reference[уреди | уреди извор]

  1. ^ а б The naive physics manifesto in 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. стр. 567—585. ISBN 978-0262621014. 
  3. ^ а б Pat Hajes at DBLP Bibliography Server Уреди на Википодацима
  4. ^ Hayes, Patrick J. (1973). „Semantic trees: New foundations for automatic theorem-proving” (на језику: енглески). Meltzer, Bernard. hdl:1842/8115. 
  5. ^ Hayes, Patrick John (1975). Semantic trees: new foundations for automatic theorem proving (Теза). University of Edinburgh. hdl:1842/8115. EThOS uk.bl.ethos.586181. 
  6. ^ 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. стр. 99. ISBN 978-1595931634. S2CID 15663316. doi:10.1145/1088622.1088641. 
  7. ^ 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. стр. 613. CiteSeerX 10.1.1.1.2197 Слободан приступ. ISBN 978-1595930460. S2CID 207156699. doi:10.1145/1060745.1060835. 
  8. ^ 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. стр. 22. CiteSeerX 10.1.1.24.9465 Слободан приступ. ISBN 978-1581133806. S2CID 663883. doi:10.1145/500737.500745. 
  9. ^ 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. 
  10. ^ 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. 1399. стр. 367. ISBN 978-3-540-64519-1. doi:10.1007/BFb0053710. 
  11. ^ Shanahan, Murray (1997). Solving the frame problem: a mathematical investigation of the common sense law of inertia. MIT Press. стр. 45. ISBN 978-0-262-19384-9. Приступљено 12. 11. 2010. 
  12. ^ Hayes, Patrick J.; John McCarthy (1969). „Some philosophical problems from the standpoint of artificial intelligence”. Machine Intelligence. 4: 463—502. 
  13. ^ 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. 
  14. ^ „Pat Hayes”. IHMC | Institute for Human & Machine Cognition. Приступљено 2019-01-30. 
Преузето из „https://sr.wikipedia.org/w/index.php?title=Pat_Hajes&oldid=27502018”