Pat Hayes

För andra personer som heter Pat Hayes, se Pat Hayes (disambiguation) .

Pat Hayes
Född	Patrick John Hayes ( 1944-08-21 ) 21 augusti 1944 Newent , Gloucestershire, Storbritannien
Medborgarskap	Storbritannien
Utbildning	Bentley Grammar School
Alma mater	University of Cambridge (BA) University of Edinburgh (PhD)
Känd för	Naivt fysikmanifest
Utmärkelser	AAAI-stipendiat
Vetenskaplig karriär
Fält	Datavetenskap
institutioner	Florida Institute for Human & Machine Cognition University of Cambridge University of Edinburgh University of Illinois vid Urbana-Champaign University of Rochester University of Essex
Avhandling	Semantiska träd: nya grunder för automatisk satsprovning (1975)
Doktorand rådgivare	Bernard Meltzer
Influenser	John McCarthy
Hemsida	ihmc .us /groups /phayes

Patrick John Hayes FAAAI (född 21 augusti 1944) är en brittisk datavetare som bor och arbetar i USA. Från och med mars 2006 är han senior forskare vid Institute for Human and Machine Cognition i Pensacola , Florida.

Utbildning

Hayes utbildades vid Bentley Grammar School , Calne . Han studerade Cambridge Mathematical Tripos och fick en Bachelor of Arts-examen i matematik från University of Cambridge och en doktorsexamen i artificiell intelligens på ämnet "Semantic trees: New foundations for automatic theorem-proving" från University of Edinburgh .

Karriär och forskning

Hayes har varit en aktiv, produktiv och inflytelserik figur inom artificiell intelligens i över fem decennier. Han har ett rykte om sig att vara provocerande men också ganska humoristisk.

En av hans tidigaste publikationer, med John McCarthy , var det första grundliga uttalandet om grunden för AI-fältet för logisk kunskapsrepresentation, och introducerade begreppet situationskalkyl , representation och resonemang om tid, flytande och användningen av logik för att representera kunskap. i en dator.

Hayes nästa stora bidrag var det avgörande arbetet med Naive Physics Manifesto , som förutsåg expertsystemrörelsen på många sätt och uppmanade forskare inom AI att faktiskt försöka representera kunskap i datorer . Även om det inte var den första som nämnde ordet " ontologi " inom datavetenskap (den distinktionen tillhör John McCarthy ), var Hayes en av de första som faktiskt gjorde det, och inspirerade en hel generation av forskare inom kunskapsteknik , logiskt formaliseringar av sunt förnuft resonemang och ontologi .

I mitten av 1990-talet, medan han tjänstgjorde som president för AAAI , började Hayes en serie attacker mot kritiker av AI, mestadels formulerade i ett ironiskt ljus, och uppfann (tillsammans med sin kollega Kenneth Ford) ett pris uppkallat efter Simon Newcomb för att ges för det mest löjliga argumentet som "motbevisar" möjligheten till AI. Newcomb Awards tillkännages i AI Magazine publicerad av AAAI .

Vid sekelskiftet blev han aktiv i den semantiska webbgemenskapen och bidrog väsentligt (kanske enbart) till den reviderade semantiken för RDF känd som RDF-Core, en av de tre formgivarna (tillsammans med Peter Patel-Schneider och Ian Horrocks ) av Web Ontology Language semantik, och bidrog senast till SPARQL . Han är också, tillsammans med filosofen Christopher Menzel, den primära designern av ISO Common Logic- standarden.

Hayes har tjänstgjort som sekreterare för AISB, ordförande och förvaltare för IJCAI , biträdande redaktör för Artificial Intelligence , guvernör för Cognitive Science Society och ordförande för American Association for Artificial Intelligence . Hayes är charterstipendiat för AAAI och Cognitive Science Society

Enligt hans hemsida inkluderar hans nuvarande forskningsintressen " kunskapsrepresentation och automatiskt resonemang , särskilt representationen av rum och tid; den semantiska webben ; ontologidesign ; och de filosofiska grunderna för AI och datavetenskap ".