Pat Hayes facts for kids
Quick facts for kids
Pat Hayes
|
|
|---|---|
| Born |
Patrick John Hayes
21 August 1944 Newent, Gloucestershire, UK
|
| Citizenship | UK |
| Education | Bentley Grammar School |
| Alma mater | University of Cambridge (BA) University of Edinburgh (PhD) |
| Known for | Naive Physics Manifesto |
| Awards | AAAI Fellow (1990) |
| 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 (1973) |
| Doctoral advisor | Bernard Meltzer |
Patrick John Hayes, born on August 21, 1944, is a British computer scientist. He lives and works in the United States. He is a Senior Research Scientist Emeritus at the Institute for Human and Machine Cognition (IHMC) in Pensacola, Florida.
Contents
Education and Early Career
Pat Hayes went to Bentley Grammar School in Calne, UK. He studied mathematics at the University of Cambridge, earning his first degree in 1966. Later, in 1973, he earned his PhD in artificial intelligence (AI) from the University of Edinburgh. His PhD work was about new ways to make computers solve logic problems.
After finishing his studies in 1973, Hayes worked at the University of Essex until 1980. In 1981, he moved to the USA. He became a professor at the University of Rochester, where he led the Cognitive Sciences group.
Contributions to Artificial Intelligence
Pat Hayes has been a very active and important person in the field of artificial intelligence for over 50 years. He is known for his smart ideas and also for his sense of humor.
Logical Knowledge Representation
One of his first important works was with John McCarthy. They helped create the basis for how computers can understand and use information. They introduced ideas like situation calculus, which helps computers think about how things change over time. This work was key for teaching computers to use logic to represent knowledge.
The Naive Physics Manifesto
Hayes's next big idea was the Naive Physics Manifesto. This was a call for AI researchers to focus on teaching computers about the everyday world. He wanted computers to understand basic things, like how objects move or how liquids behave. This idea helped start the field of knowledge engineering. It also inspired many researchers to work on commonsense reasoning for computers.
Ontology and the Semantic Web
Hayes was one of the first to really use the idea of "ontology" in computer science. An ontology is like a map of knowledge. It helps computers understand how different pieces of information are connected. His work inspired many people to build these knowledge maps.
Later, around the year 2000, he became very involved with the Semantic Web. The Semantic Web aims to make internet data easier for computers to understand. Hayes helped create important standards for this, like RDF and the Web Ontology Language. He also helped develop SPARQL, which is a language for asking questions about data on the Semantic Web.
Leadership and Recognition
Hayes has held many important roles in the AI community. He served as president of the AAAI from 1991 to 1993. He is also a Charter Fellow of the AAAI and the Cognitive Science Society. This means he is recognized as a leading expert in these fields.
Interests Outside of Work
Beyond his work in computer science, Pat Hayes has many hobbies. He enjoys restoring old mechanical clocks and fixing up old houses. He is also an artist, and his artwork has been shown in different places. He even has skills in plumbing, carpentry, and electrical work!
