Pat Hayes (original) (raw)

dbo:abstract

Patrick „Pat“ Hayes (* 21. August 1944 in , Gloucestershire) ist ein britischer Informatiker, der sich mit Künstlicher Intelligenz (KI) befasst. Hayes studierte Mathematik an der Universität Cambridge und wurde 1973 bei Bernard Meltzer an der University of Edinburgh in Informatik promoviert (Semantic Trees: New Foundations for Automatic Theorem-Proving). Er war Professor für Informatik an der University of Essex, war Professor für Philosophie an der University of Illinois und Luce Professor für Kognitionswissenschaft an der University of Rochester. Er war Chairman der IJCAI und Präsident der AAAI, Gastwissenschaftler an der Universität Genf, an der Stanford University, bei Xerox PARC, SRI International und Schlumberger. Er befasste sich mit Wissensdarstellung (speziell von Raum und Zeit), automatischem Beweisen, Ontologie, den philosophischen Grundlagen von KI und dem Semantic Web (er ist Mitglied der W3C Working Groups für die Standards RDF, OWL, SPARQL). Mit John McCarthy begründete er 1969 das Situationskalkül. Mit seinem Naive Physics Manifesto war er einer der Ersten bei der Umsetzung des Ontologie-Konzepts von John McCarthy. Als Hobby repariert er alte Uhren und restauriert alte Häuser. (de)
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, he is a Senior Research Scientist at the Institute for Human and Machine Cognition in Pensacola, Florida. (en)

dbo:academicDiscipline

dbr:Computer_Science

dbo:almaMater

dbo:award

dbr:AAAI_Fellow

dbo:birthDate

1944-08-21 (xsd:date)

dbo:birthName

Patrick John Hayes (en)

dbo:birthPlace

dbr:Newent

dbo:doctoralAdvisor

dbr:Bernard_Meltzer_(computer_scientist)

dbo:influencedBy

dbr:John_McCarthy_(computer_scientist)

dbo:wikiPageExternalLink

http://hdl.handle.net/1842/8115

dbo:wikiPageID

2634721 (xsd:integer)

dbo:wikiPageLength

10910 (xsd:nonNegativeInteger)

dbo:wikiPageRevisionID

1054104943 (xsd:integer)

dbo:wikiPageWikiLink

dbp:almaMater

dbp:birthDate

1944-08-21 (xsd:date)

dbp:birthName

Patrick John Hayes (en)

dbp:birthPlace

Newent, Gloucestershire, UK (en)

dbp:citizenship

UK (en)

dbp:doctoralAdvisor

dbr:Bernard_Meltzer_(computer_scientist)

dbp:education

dbr:The_John_Bentley_School

dbp:field

dbr:Computer_Science

dbp:influences

dbr:John_McCarthy_(computer_scientist)

dbp:knownFor

Naive Physics Manifesto (en)

dbp:name

Pat Hayes (en)

dbp:prizes

AAAI Fellow (en)

dbp:residence

US (en)

dbp:thesisTitle

Semantic trees: new foundations for automatic theorem proving (en)

dbp:thesisUrl

http://hdl.handle.net/1842/8115

dbp:thesisYear

1975 (xsd:integer)

dbp:wikiPageUsesTemplate

dbp:workInstitution

dbr:University_of_Cambridge
dbr:University_of_Edinburgh
dbr:Florida_Institute_for_Human_&_Machine_Cognition
University of Essex (en)
University of Illinois at Urbana-Champaign (en)
University of Rochester (en)

dcterms:subject

gold:hypernym

dbr:Scientist

schema:sameAs

http://viaf.org/viaf/73214055

rdf:type

rdfs:comment

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, he is a Senior Research Scientist at the Institute for Human and Machine Cognition in Pensacola, Florida. (en)
Patrick „Pat“ Hayes (* 21. August 1944 in , Gloucestershire) ist ein britischer Informatiker, der sich mit Künstlicher Intelligenz (KI) befasst. Hayes studierte Mathematik an der Universität Cambridge und wurde 1973 bei Bernard Meltzer an der University of Edinburgh in Informatik promoviert (Semantic Trees: New Foundations for Automatic Theorem-Proving). Er war Professor für Informatik an der University of Essex, war Professor für Philosophie an der University of Illinois und Luce Professor für Kognitionswissenschaft an der University of Rochester. (de)

rdfs:label