Education
He received a Bachelor of Arts degree in Mathematics (the Cambridge Mathematical Tripos) from the University of Cambridge and a Doctor of Philosophy in Artificial Intelligence from the University of Edinburgh.
He received a Bachelor of Arts degree in Mathematics (the Cambridge Mathematical Tripos) from the University of Cambridge and a Doctor of Philosophy in Artificial Intelligence from the University of Edinburgh.
As of March 2006, he is a Senior Research Scientist at the Institute for Human and Machine Cognition in Pensacola, Florida. Pat Hayes has been an active, prolific, and influential figure in Artificial Intelligence for over five decades. He has a reputation for being provocative but also quite humorous.
One of his earliest publications, with John McCarthy, was the first thorough statement of the basis for the Artificial Intelligence 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.
His next major contribution was the seminal work on "Naive Physics Manifesto", which anticipated the expert systems movement in many ways and called for researchers in Artificial Intelligence 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), 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.
The Newcomb Awards are announced in the Artificial Intelligence Magazine published by Association for the Advancement of Artificial Intelligence. 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) 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 International Organization for Standardization 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 Association for the Advancement of Artificial Intelligence 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 Artificial Intelligence and computer science".