Pat Hayes: Difference between revisions

Patrick John Hayes
Patrick John Hayes
Born	21 August 1944 (age 79); Newent, Gloucestershire, UK
Citizenship	UK
Alma mater	University of Edinburgh (postgraduate); University of Cambridge (undergraduate)
Known for	Naive Physics Manifesto
Awards	FAAAI
	Scientific career
Fields	Computer Science
Institutions	Florida Institute for Human & Machine Cognition; University of Cambridge; University of Edinburgh; University of Illinois at Urbana-Champaign ; University of Rochester ; University of Essex
Thesis	Semantic trees: new foundations for automatic theorem proving (1975)
Doctoral advisor	Bernard Meltzer
Doctoral students	Anthony Cohn; Jörg Siekmann
Website	www.ihmc.us/groups/phayes

Browse history interactively

← Previous edit Next edit →

Content deleted Content added

VisualWikitext

Inline

Revision as of 21:52, 23 September 2013

Patrick John Hayes FAAAI (born 21 August 1944) is a British computer scientist who lives and works in the United States. As of March 2006^[update], he is a Senior Research Scientist at the Institute for Human and Machine Cognition in Pensacola, Florida. ^[4]

Education

He received a Bachelor of Arts degree in Mathematics (the Cambridge Mathematical Tripos) from the University of Cambridge and a Ph.D. in Artificial Intelligence from the University of Edinburgh.^[5]

Career

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

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.^[11]^[12]

His next major contribution was the seminal work on "Naive Physics Manifesto", ^[2] 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]}), Hayes was one of the first to actually do it, and inspired an entire generation of researchers in knowledge engineering, logical formalizations of commonsense reasoning, and ontology^{[citation needed]}.

In the middle 1990s, while serving as president of 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^[13]) 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.

He has been secretary of AISB, chairman and trustee of IJCAI, associate editor of Artificial Intelligence Journal, 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".

References

^ ^a ^b Pat Hayes at the Mathematics Genealogy Project
^ ^a ^b The naive physics manifesto in Michie, Donald (1979). Expert systems in the micro-electronic age. Edinburgh: Edinburgh University Press. ISBN 0-85224-381-2.
^ Hayes, Patrick (1995). "The second naive physics manifesto". Computation & intelligence: 567–585. ISBN 0262621010.
^ ^a ^b Pat Hayes at DBLP Bibliography Server
^ Hayes, Patrick John (1975). Semantic trees: new foundations for automatic theorem proving (PhD thesis). University of Edinburgh.
^ Attention: This template ({{cite doi}}) is deprecated. To cite the publication identified by doi:10.1145/1088622.1088641, please use {{cite journal}} (if it was published in a bona fide academic journal, otherwise {{cite report}} with |doi=10.1145/1088622.1088641 instead.
^ Attention: This template ({{cite doi}}) is deprecated. To cite the publication identified by doi:10.1145/1060745.1060835, please use {{cite journal}} (if it was published in a bona fide academic journal, otherwise {{cite report}} with |doi=10.1145/1060745.1060835 instead.
^ Attention: This template ({{cite doi}}) is deprecated. To cite the publication identified by doi:10.1145/500737.500745, please use {{cite journal}} (if it was published in a bona fide academic journal, otherwise {{cite report}} with |doi=10.1145/500737.500745 instead.
^ Attention: This template ({{cite doi}}) is deprecated. To cite the publication identified by doi:10.1016/j.websem.2005.09.001, please use {{cite journal}} (if it was published in a bona fide academic journal, otherwise {{cite report}} with |doi=10.1016/j.websem.2005.09.001 instead.
^ Attention: This template ({{cite doi}}) is deprecated. To cite the publication identified by doi:10.1007/BFb0053710, please use {{cite journal}} (if it was published in a bona fide academic journal, otherwise {{cite report}} with |doi=10.1007/BFb0053710 instead.
^ 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.
^ Hayes, Patrick J. (1969). "Some philosophical problems from the standpoint of artificial intelligence". Machine Intelligence. 4: 463–502. {{cite journal}}: Unknown parameter |coauthors= ignored (|author= suggested) (help)
^ Attention: This template ({{cite doi}}) is deprecated. To cite the publication identified by doi:10.1016/j.websem.2004.07.002, please use {{cite journal}} (if it was published in a bona fide academic journal, otherwise {{cite report}} with |doi=10.1016/j.websem.2004.07.002 instead.

Template:Persondata

[mathgene-1] Pat Hayes at the Mathematics Genealogy Project

[naive-2] The naive physics manifesto in Michie, Donald (1979). Expert systems in the micro-electronic age. Edinburgh: Edinburgh University Press. ISBN 0-85224-381-2.

[naive2-3] Hayes, Patrick (1995). "The second naive physics manifesto". Computation & intelligence: 567–585. ISBN 0262621010.

[dblp-4] Pat Hayes at DBLP Bibliography Server

[hayesphd-5] Hayes, Patrick John (1975). Semantic trees: new foundations for automatic theorem proving (PhD thesis). University of Edinburgh.

[6] Attention: This template ({{cite doi}}) is deprecated. To cite the publication identified by doi:10.1145/1088622.1088641, please use {{cite journal}} (if it was published in a bona fide academic journal, otherwise {{cite report}} with |doi=10.1145/1088622.1088641 instead.

[7] Attention: This template ({{cite doi}}) is deprecated. To cite the publication identified by doi:10.1145/1060745.1060835, please use {{cite journal}} (if it was published in a bona fide academic journal, otherwise {{cite report}} with |doi=10.1145/1060745.1060835 instead.

[8] Attention: This template ({{cite doi}}) is deprecated. To cite the publication identified by doi:10.1145/500737.500745, please use {{cite journal}} (if it was published in a bona fide academic journal, otherwise {{cite report}} with |doi=10.1145/500737.500745 instead.

[9] Attention: This template ({{cite doi}}) is deprecated. To cite the publication identified by doi:10.1016/j.websem.2005.09.001, please use {{cite journal}} (if it was published in a bona fide academic journal, otherwise {{cite report}} with |doi=10.1016/j.websem.2005.09.001 instead.

[10] Attention: This template ({{cite doi}}) is deprecated. To cite the publication identified by doi:10.1007/BFb0053710, please use {{cite journal}} (if it was published in a bona fide academic journal, otherwise {{cite report}} with |doi=10.1007/BFb0053710 instead.

[Shanahan1997-11] 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.

[12] Hayes, Patrick J. (1969). "Some philosophical problems from the standpoint of artificial intelligence". Machine Intelligence. 4: 463–502. {{cite journal}}: Unknown parameter |coauthors= ignored (|author= suggested) (help)

[13] Attention: This template ({{cite doi}}) is deprecated. To cite the publication identified by doi:10.1016/j.websem.2004.07.002, please use {{cite journal}} (if it was published in a bona fide academic journal, otherwise {{cite report}} with |doi=10.1016/j.websem.2004.07.002 instead.

[2]

[3]

[1]

[4]

[5]

[6]

[7]

[8]

[9]

[10]

[11]

[12]

[13]

@@ Line 57: / Line 57: @@
 [[Category:Fellows of the Association for the Advancement of Artificial Intelligence]]
 [[Category:Florida Institute for Human and Machine Cognition people]]
+[[Category:Alumni of the University of Edinburgh]]