请输入您要查询的百科知识:

 

词条 Pat Hayes
释义

  1. Education

  2. Career and research

  3. References

{{other people}}{{EngvarB|date=August 2014}}{{Use dmy dates|date=August 2014}}{{Infobox scientist
| name = Pat Hayes
| birth_name = Patrick John Hayes
| birth_date = {{Birth date and age|df=yes|1944|8|21}}
| birth_place = Newent, Gloucestershire, UK
| citizenship = UK
| residence = US
| field = Computer Science
| known_for = Naive Physics Manifesto[1][2]
| doctoral_students =
| thesis_title = Semantic trees: new foundations for automatic theorem proving
| thesis_year = 1975
| thesis_url = http://hdl.handle.net/1842/8115
| doctoral_advisor = Bernard Meltzer[3]
| influences = John McCarthy
| work_institution = Florida Institute for Human & Machine Cognition
University of Cambridge
University of Edinburgh
University of Illinois at Urbana-Champaign
University of Rochester
University of Essex
| education = Bentley Grammar School
| alma_mater = University of Cambridge (BA)
University of Edinburgh (PhD)
| prizes = AAAI Fellow{{when|date=November 2018}}
|website = {{URL|ihmc.us/groups/phayes}}
}}Patrick John Hayes FAAAI (born 21 August 1944) is a British computer scientist who lives and works in the United States. {{As of|2006|alt=As of March 2006}}, he is a Senior Research Scientist at the Institute for Human and Machine Cognition in Pensacola, Florida.[4]

Education

Hayes was educated at Bentley Grammar School.{{citation needed|date=November 2018}} He studied the Cambridge Mathematical Tripos and received a Bachelor of Arts degree in Mathematics from the University of Cambridge{{when|date=November 2018}} and a PhD in Artificial Intelligence on the topic of 'Semantic trees: New foundations for automatic theorem-proving' [5] from the University of Edinburgh.[6]

Career and research

Hayes has been an active, prolific, and influential figure in Artificial Intelligence for over five decades.[4][7][8][9][10][11] He has a reputation for being provocative but also quite humorous. {{citation needed|date=March 2013}}

One of his earliest publications, with John McCarthy, was the first thorough statement of the basis for the AI field of logical knowledge representation, introducing the notion of situation calculus, representation and reasoning about time, fluents, and the use of logic for representing knowledge in a computer.[12][13]

Hayes next major contribution was the seminal work on the Naive Physics Manifesto,[1] which anticipated the expert systems movement in many ways

and called for researchers in AI to actually try to represent knowledge in computers. Although not the first to mention the word "ontology" in computer science (that distinction belongs to John McCarthy {{citation needed|date=March 2013}}), Hayes was one of the first to actually do it, and inspired an entire generation of researchers in knowledge engineering, logical formalisations of commonsense reasoning, and ontology{{Citation needed|date=April 2007}}.

In the middle of the 1990s, while serving as president of the AAAI, Hayes began a series of attacks on critics of AI, mostly phrased in an ironic light, and (together with his colleague Kenneth Ford) invented an award named after Simon Newcomb to be given for the most ridiculous argument "disproving" the possibility of AI. The Newcomb Awards are announced in the AI Magazine published by AAAI.

At the turn of the century he became active in the Semantic Web community, contributing substantially (perhaps solely) to the revised semantics of RDF known as RDF-Core, one of the three designers (along with Peter Patel-Schneider and Ian Horrocks[14]) of the Web Ontology Language semantics, and most recently contributed to SPARQL. He is also, along with philosopher Christopher Menzel the primary designer of the ISO Common Logic standard.

Hayes has served as secretary of AISB,{{when|date=November 2018}} chairman and trustee of IJCAI, associate editor of Artificial Intelligence, a governor of the Cognitive Science Society and president of American Association for Artificial Intelligence. Hayes is a charter Fellow of AAAI and of the Cognitive Science Society

According to his website, his current research interests include "knowledge representation and automatic reasoning, especially the representation of space and time; the semantic web; ontology design; and the philosophical foundations of AI and computer science".[15]

References

1. ^The naive physics manifesto in {{cite book |author=Michie, Donald|authorlink=Donald Michie |title=Expert systems in the micro-electronic age |publisher=Edinburgh University Press |location=Edinburgh |year=1979 |pages= |isbn=978-0-85224-381-7 |oclc= |doi= |accessdate=}}
2. ^{{cite book |last1=Hayes |first1=Patrick |year=1995 |title=The second naive physics manifesto |journal=Computation & Intelligence |volume= |issue= |pages=567–585 |publisher= |doi= |url=http://dl.acm.org/citation.cfm?id=216035|isbn= 978-0262621014}}
3. ^{{MathGenealogy}}
4. ^{{DBLP}}
5. ^{{Cite journal|date=1973|others=Meltzer, Bernard|title=Semantic trees: New foundations for automatic theorem-proving|url=https://www.era.lib.ed.ac.uk/handle/1842/8115|language=en}}
6. ^{{cite thesis |degree=PhD |first=Patrick John|last=Hayes |title=Semantic trees: new foundations for automatic theorem proving |publisher=University of Edinburgh |date=1975 |id={{EThOS|uk.bl.ethos.586181}}|hdl=1842/8115|url=https://www.era.lib.ed.ac.uk/handle/1842/8115|website=ed.ac.uk}} {{free access}}
7. ^{{Cite book | last1 = Hayes | first1 = P. | last2 = Eskridge | first2 = T. C. | last3 = Saavedra | first3 = R. | last4 = Reichherzer | first4 = T. | last5 = Mehrotra | first5 = M. | last6 = Bobrovnikoff | first6 = D. | chapter = Collaborative knowledge capture in ontologies | doi = 10.1145/1088622.1088641 | title = Proceedings of the 3rd international conference on Knowledge capture - K-CAP '05 | pages = 99 | year = 2005 | isbn = 978-1595931634 | pmid = | pmc = }}
8. ^{{Cite book | last1 = Carroll | first1 = J. J. | last2 = Bizer | first2 = C. | last3 = Hayes | first3 = P. | last4 = Stickler | first4 = P. | chapter = Named graphs, provenance and trust | doi = 10.1145/1060745.1060835 | title = Proceedings of the 14th international conference on World Wide Web - WWW '05 | pages = 613 | year = 2005 | isbn = 978-1595930460 | pmid = | pmc = | citeseerx = 10.1.1.1.2197 }}
9. ^{{Cite book | last1 = Clark | first1 = P. | last2 = Hayes | first2 = P. | last3 = Reichherzer | first3 = T. | last4 = Thompson | first4 = J. | last5 = Barker | first5 = K. | last6 = Porter | first6 = B. | last7 = Chaudhri | first7 = V. | last8 = Rodriguez | first8 = A. | last9 = Thomere | first9 = J. | last10 = Mishra | first10 = S. | last11 = Gil | first11 = Y. | author11-link=Yolanda Gil | chapter = Knowledge entry as the graphical assembly of components | doi = 10.1145/500737.500745 | title = Proceedings of the international conference on Knowledge capture - K-CAP 2001 | pages = 22 | year = 2001 | isbn = 978-1581133806 | pmid = | pmc = | citeseerx = 10.1.1.24.9465 }}
10. ^{{Cite journal | last1 = Carroll | first1 = J. J. | last2 = Bizer | first2 = C. | last3 = Hayes | first3 = P. | last4 = Stickler | first4 = P. | title = Named graphs | doi = 10.1016/j.websem.2005.09.001 | journal = Web Semantics: Science, Services and Agents on the World Wide Web | volume = 3 | issue = 4 | pages = 247 | year = 2005 | pmid = | pmc = }}
11. ^{{Cite book | last1 = Jensen | first1 = C. S. | last2 = Dyreson | first2 = C. E. | last3 = Böhlen | first3 = M. | last4 = Clifford | first4 = J. | last5 = Elmasri | first5 = R. | last6 = Gadia | first6 = S. K. | last7 = Grandi | first7 = F. | last8 = Hayes | first8 = P. | last9 = Jajodia | first9 = S. | last10 = Käfer | first10 = W. | last11 = Kline | first11 = N. | last12 = Lorentzos | first12 = N. | last13 = Mitsopoulos | first13 = Y. | last14 = Montanari | first14 = A. | last15 = Nonen | first15 = D. | last16 = Peressi | first16 = E. | last17 = Pernici | first17 = B. | last18 = Roddick | first18 = J. F. | last19 = Sarda | first19 = N. L. | last20 = Scalas | first20 = M. R. | last21 = Segev | first21 = A. | last22 = Snodgrass | first22 = R. T. | last23 = Soo | first23 = M. D. | last24 = Tansel | first24 = A. | last25 = Tiberio | first25 = P. | last26 = Wiederhold | first26 = G. | chapter = The consensus glossary of temporal database concepts — February 1998 version | doi = 10.1007/BFb0053710 | title = Temporal Databases: Research and Practice | series = Lecture Notes in Computer Science | volume = 1399 | pages = 367 | year = 1998 | isbn = 978-3-540-64519-1 | pmid = | pmc = }}
12. ^{{cite book|last=Shanahan|first=Murray|title=Solving the frame problem: a mathematical investigation of the common sense law of inertia|url=https://books.google.com/books?id=z8zR3Ds7xKQC&pg=PA45|accessdate=12 November 2010|year=1997|publisher=MIT Press|isbn=978-0-262-19384-9|page=45}}
13. ^{{cite journal|last=Hayes|first=Patrick J.|author2=John McCarthy |authorlink2=John McCarthy (computer scientist) |year=1969|title=Some philosophical problems from the standpoint of artificial intelligence|journal=Machine Intelligence|volume=4|pages=463–502|url=http://dl.acm.org/citation.cfm?id=42642}}
14. ^{{Cite journal | last1 = Fikes | first1 = R. | last2 = Hayes | first2 = P. | last3 = Horrocks | first3 = I. | title = OWL-QL—a language for deductive query answering on the Semantic Web | doi = 10.1016/j.websem.2004.07.002 | journal = Web Semantics: Science, Services and Agents on the World Wide Web | volume = 2 | pages = 19–29 | year = 2004 | pmid = | pmc = | citeseerx = 10.1.1.67.1967 }}
15. ^{{Cite web|url=https://www.ihmc.us/groups/phayes/|title=Pat Hayes|website=IHMC {{!}} Institute for Human & Machine Cognition|access-date=2019-01-30}}
{{Authority control}}{{DEFAULTSORT:Hayes, Pat}}

10 : British computer scientists|Living people|1944 births|Fellows of the Association for the Advancement of Artificial Intelligence|Florida Institute for Human and Machine Cognition people|Alumni of the University of Edinburgh|British expatriates in the United States|Semantic Web people|Fellows of the Cognitive Science Society|Presidents of the Association for the Advancement of Artificial Intelligence

随便看

 

开放百科全书收录14589846条英语、德语、日语等多语种百科知识,基本涵盖了大多数领域的百科知识,是一部内容自由、开放的电子版国际百科全书。

 

Copyright © 2023 OENC.NET All Rights Reserved
京ICP备2021023879号 更新时间:2024/9/22 16:48:58