Pat Hayes

from Wikipedia, the free encyclopedia

Patrick "Pat" Hayes (born August 21, 1944 in Newent , Gloucestershire ) is a British computer scientist who works with artificial intelligence (AI).

Hayes studied mathematics at Cambridge University and received his doctorate in computer science under Bernard Meltzer at the University of Edinburgh in 1973 (Semantic Trees: New Foundations for Automatic Theorem-Proving). He was Professor of Computer Science at the University of Essex , Professor of Philosophy at the University of Illinois, and Luce Professor of Cognitive Science at the University of Rochester .

He was Chairman of the IJCAI and President of the AAAI , visiting scholar at the University of Geneva, Stanford University, Xerox PARC , SRI International and Schlumberger.

He dealt with knowledge representation (especially of space and time), automatic proofs, ontology , the philosophical foundations of AI and the semantic web (he is a member of the W3C working groups for the standards RDF , OWL , SPARQL ). With John McCarthy , he founded the calculus of the situation in 1969 . With his Naive Physics Manifesto he was one of the first to implement the ontology concept of John McCarthy.

As a hobby, he repairs old clocks and restores old houses.

Fonts (selection)

  • with John McCarthy: Some philosophical problems from the standpoint of artificial intelligence. In: B. Meltzer, D. Michie (Eds.), Machine Intelligence, Volume 4, 1969, pp. 463-502
  • The naive physics manifesto, in: Donald Michie (Ed.): Expert systems in the micro-electronic age, Edinburgh: Edinburgh University Press 1979

Web links

Individual evidence

  1. ↑ Pat Hayes in the Mathematics Genealogy Project (English)Template: MathGenealogyProject / Maintenance / id used
personal data
SURNAME Hayes, Pat
ALTERNATIVE NAMES Hayes, Patrick
BRIEF DESCRIPTION British computer scientist
DATE OF BIRTH August 21, 1944
PLACE OF BIRTH Newent