Pat Hayes
| Patrick John Hayes | |
|---|---|
| Born |
21 August 1944 Newent, Gloucestershire, UK |
| Residence | US |
| 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 |
| Influences | John McCarthy |
| 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.
He attended the Bentley Grammar School (now the John Bentley School). He received a Bachelor of Arts degree in Mathematics (the Cambridge Mathematical Tripos) from the University of Cambridge and a PhD in Artificial Intelligence on the topic of 'Semantic trees: New foundations for automatic theorem-proving' from the University of Edinburgh.
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 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.
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 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), 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.
...
Wikipedia