Pat Hayes
Pat Hayes | |
---|---|
Born | Patrick John Hayes 21 August 1944 |
Thesis | Semantic trees: new foundations for automatic theorem proving (1975) |
Doctoral advisor | Bernard Meltzer[1] |
Website | ihmc |
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
Hayes was educated at the
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]
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,[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 formalisations of commonsense reasoning, and ontology[citation needed].
In the middle of the 1990s, while serving as president of the
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,[
According to his website, his current research interests include "
References
- ^ Pat Hayes at the Mathematics Genealogy Project
- ^ ISBN 978-0-85224-381-7.
- ISBN 978-0262621014.
- ^ a b Pat Hayes at DBLP Bibliography Server
- )
- EThOS uk.bl.ethos.586181.
- S2CID 15663316.
- S2CID 207156699.
- S2CID 663883.
- .
- ISBN 978-3-540-64519-1.
- ISBN 978-0-262-19384-9. Retrieved 12 November 2010.
- ^ Hayes, Patrick J.; John McCarthy (1969). "Some philosophical problems from the standpoint of artificial intelligence". Machine Intelligence. 4: 463–502.
- .
- ^ "Pat Hayes". IHMC | Institute for Human & Machine Cognition. Retrieved 30 January 2019.