Pat Hayes

Pat Hayes
Born
Patrick John Hayes

(1944-08-21) 21 August 1944 (age 80)
Newent, Gloucestershire, UK
CitizenshipUK
EducationBentley Grammar School
Alma materUniversity of Cambridge (BA)
University of Edinburgh (PhD)
Known forNaive Physics Manifesto[2][3]
AwardsAAAI Fellow (1990)
Scientific career
FieldsComputer Science
InstitutionsFlorida Institute for Human & Machine Cognition
University of Cambridge
University of Edinburgh
University of Illinois at Urbana-Champaign
University of Rochester
University of Essex
ThesisSemantic trees: new foundations for automatic theorem proving (1973)
Doctoral advisorBernard Meltzer[1]
Websiteihmc.us/groups/phayes

Patrick John Hayes (born 21 August 1944) is a British computer scientist who 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.[4]

Education

Hayes was educated at the Bentley Grammar School, Calne.[citation needed] He studied the Cambridge Mathematical Tripos and received a Bachelor of Arts degree in mathematics from the University of Cambridge in 1966 and a PhD in artificial intelligence with the thesis 'Semantic trees: New foundations for automatic theorem-proving' [5] from the University of Edinburgh in 1973.

Career

After leaving Edinburgh in 1973, Hayes held an academic appointment in the Department of Computer Science at the University of Essex (1973-80). He immigrated to the USA in 1981, to become the Luce Professor of Cognitive Science in the Departments of Computer Science, Philosophy and Psychology at the University of Rochester (1981-85), where he was Chair of the Cognitive Sciences Cluster. In 1985, he left Rochester for California, to join the Schlumberger Palo Alto Research Center (1985-87), Xerox-PARC (1987-90) and the Microelectronics and Computer Technology Corporation (1991 -92), where he was Director of the CYC-West project. During this period, he also held a number of parallel positions as Visiting Scholar CSLI, Stanford University and Consulting Professor Department of Computer Science, Stanford (1985-94). In 1992 he became a Research Professor in the Departments of Computer Science and Philosophy, and the Beckmann Institute, University of Illinois at Urbana-Champaign (1992-96). In 1996, he became Senior Research Scientist at IHMC (1996-2009) and John C. Pace Distinguished Scholar at the University of West Florida (1996-2001). He became Senior Research Scientist Emeritus at IHMC in 2009.

Research

Hayes has been an active, prolific, and influential figure in artificial intelligence for over five decades.[6][7][8][9][10][11] He has a reputation for being provocative but also quite humorous. [12]

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.[13][14]

Hayes next major contribution was the seminal work on the Naive Physics Manifesto,[2] 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, 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[citation needed].

In the middle of the 1990s, while serving as president of the AAAI, Hayes began a series of attacks on critics of AI, mostly phrased in an ironic light, and (together with his colleague Kenneth Ford) invented an award named after Simon Newcomb to be given for the most ridiculous argument "disproving" the possibility of AI.[15] The Newcomb Awards are announced in the AI Magazine published by AAAI.

At the turn of the century he became active in the Semantic Web community, contributing substantially (perhaps solely) to the revised semantics of RDF known as RDF-Core, one of the three designers (along with Peter Patel-Schneider and Ian Horrocks[16]) of the Web Ontology Language semantics, and most recently contributed to SPARQL. He is also, along with philosopher Christopher Menzel the primary designer of the ISO Common Logic standard.

Hayes has served as secretary of AISB (1968-79), chairman and trustee of IJCAI (1980-84), associate editor of the Artificial Intelligence Journal (1979-86), a governor of the Cognitive Science Society (1983-86) and president of AAAI (1991-93). Hayes is a Charter Fellow of AAAI and of the Cognitive Science Society.

According to his website, his research interests include "knowledge representation and automatic reasoning, especially the representation of space and time; the semantic web; ontology design; and the philosophical foundations of AI and computer science". "In his spare time, He restores antique mechanical clocks and remodels old houses. He is also a practicing artist, with works exhibited in local competitions and international collections."[17] He also has "professional competence in domestic plumbing, carpentry and electrical work".[18]

References

  1. ^ Pat Hayes at the Mathematics Genealogy Project Edit this at Wikidata
  2. ^ a b The naive physics manifesto in Michie, Donald (1979). Expert systems in the micro-electronic age. Edinburgh: Edinburgh University Press. ISBN 978-0-85224-381-7.
  3. ^ Hayes, Patrick (1995). "The second naive physics manifesto". Computation & Intelligence. AAAI Press. pp. 567–585. ISBN 978-0262621014.
  4. ^ "Pat Hayes". IHMC | Institute for Human & Machine Cognition. Retrieved 9 October 2024.
  5. ^ Hayes, Patrick John (1973). Semantic trees: new foundations for automatic theorem proving (PhD thesis). University of Edinburgh. hdl:1842/8115. EThOS uk.bl.ethos.586181. Free access icon
  6. ^ Pat Hayes at DBLP Bibliography Server Edit this at Wikidata
  7. ^ Hayes, P.; Eskridge, T. C.; Saavedra, R.; Reichherzer, T.; Mehrotra, M.; Bobrovnikoff, D. (2005). "Collaborative knowledge capture in ontologies". Proceedings of the 3rd international conference on Knowledge capture - K-CAP '05. p. 99. doi:10.1145/1088622.1088641. ISBN 978-1595931634. S2CID 15663316.
  8. ^ Carroll, J. J.; Bizer, C.; Hayes, P.; Stickler, P. (2005). "Named graphs, provenance and trust". Proceedings of the 14th international conference on World Wide Web - WWW '05. p. 613. CiteSeerX 10.1.1.1.2197. doi:10.1145/1060745.1060835. ISBN 978-1595930460. S2CID 207156699.
  9. ^ Clark, P.; Hayes, P.; Reichherzer, T.; Thompson, J.; Barker, K.; Porter, B.; Chaudhri, V.; Rodriguez, A.; Thomere, J.; Mishra, S.; Gil, Y. (2001). "Knowledge entry as the graphical assembly of components". Proceedings of the international conference on Knowledge capture - K-CAP 2001. p. 22. CiteSeerX 10.1.1.24.9465. doi:10.1145/500737.500745. ISBN 978-1581133806. S2CID 663883.
  10. ^ Carroll, J. J.; Bizer, C.; Hayes, P.; Stickler, P. (2005). "Named graphs". Web Semantics: Science, Services and Agents on the World Wide Web. 3 (4): 247. doi:10.1016/j.websem.2005.09.001.
  11. ^ Jensen, C. S.; Dyreson, C. E.; Böhlen, M.; Clifford, J.; Elmasri, R.; Gadia, S. K.; Grandi, F.; Hayes, P.; Jajodia, S.; Käfer, W.; Kline, N.; Lorentzos, N.; Mitsopoulos, Y.; Montanari, A.; Nonen, D.; Peressi, E.; Pernici, B.; Roddick, J. F.; Sarda, N. L.; Scalas, M. R.; Segev, A.; Snodgrass, R. T.; Soo, M. D.; Tansel, A.; Tiberio, P.; Wiederhold, G. (1998). "The consensus glossary of temporal database concepts — February 1998 version". Temporal Databases: Research and Practice. Lecture Notes in Computer Science. Vol. 1399. p. 367. doi:10.1007/BFb0053710. ISBN 978-3-540-64519-1.
  12. ^ Hayes, P.J., Ford, K.M. and Agnew, N., 1994. On babies and bathwater: A cautionary tale. AI magazine, 15(4), pp.15-15.
  13. ^ Shanahan, Murray (1997). Solving the frame problem: a mathematical investigation of the common sense law of inertia. MIT Press. p. 45. ISBN 978-0-262-19384-9. Retrieved 12 November 2010.
  14. ^ Hayes, Patrick J.; John McCarthy (1969). "Some philosophical problems from the standpoint of artificial intelligence". Machine Intelligence. 4: 463–502.
  15. ^ Hayes, P. J., & Ford, K. M. (1995). The Simon Newcomb Awards. AI Magazine, 16(1), 11. https://doi.org/10.1609/aimag.v16i1.1120
  16. ^ Fikes, R.; Hayes, P.; Horrocks, I. (2004). "OWL-QL—a language for deductive query answering on the Semantic Web". Web Semantics: Science, Services and Agents on the World Wide Web. 2: 19–29. CiteSeerX 10.1.1.67.1967. doi:10.1016/j.websem.2004.07.002.
  17. ^ "Tropical House". 5 July 2022.
  18. ^ "Pat Hayes". IHMC | Institute for Human & Machine Cognition. Retrieved 9 October 2024.

Read other articles:

2 Korintus 13Folio dari Papirus 46 (ditulis ~ tahun 200 M), memuat 2 Korintus 11:33-12:9. Naskah tersebut memuat hampir semua Surat-surat Paulus.KitabSurat 2 KorintusKategoriSurat-surat PaulusBagian Alkitab KristenPerjanjian BaruUrutan dalamKitab Kristen8← pasal 12 Galatia 1 → 2 Korintus 13 (atau II Korintus 13, disingkat 2Kor 13) adalah bagian terakhir dari surat rasul Paulus yang kedua kepada jemaat di Korintus dalam Perjanjian Baru di Alkitab Kristen.[1][2] Dika...

 

Stasiun Okegawa桶川駅Stasiun Okegawa pada tahun 2008Lokasi1-1-1 Minami, Okegawa-shi, Saitama-ken 363-0015JepangKoordinat35°59′54″N 139°33′51″E / 35.9982°N 139.5642°E / 35.9982; 139.5642Koordinat: 35°59′54″N 139°33′51″E / 35.9982°N 139.5642°E / 35.9982; 139.5642Pengelola JR EastJalur■ Jalur TakasakiLetak dari pangkal11.8 km dari ŌmiyaJumlah peron1 peron pulau + 1 sisiInformasi lainStatusStafSitus webSitus web resmiSe...

 

Golden Plains Shire Local Government Area van Australië Locatie van Golden Plains Shire in Victoria Situering Staat Victoria Hoofdplaats Bannockburn Coördinaten 38°1'0ZB, 143°58'0OL Algemene informatie Oppervlakte 2.705 km² Inwoners 17.255 (juni 2006) Overig Ridings 9 Portaal    Australië Golden Plains Shire is een Local Government Area (LGA) in Australië in de staat Victoria. Golden Plains Shire telt 17.255 inwoners. De hoofdplaats is Bannockburn.

Motte Kurtekotten Motte Kurtekotten mit Wassergraben (2014) Motte Kurtekotten mit Wassergraben (2014) Staat Deutschland Ort Köln-Flittard Entstehungszeit 11./12. Jahrhundert Burgentyp Niederungsburg, Motte Erhaltungszustand Burghügel Geographische Lage 51° 1′ N, 7° 0′ O51.0190867.0076946Koordinaten: 51° 1′ 8,7″ N, 7° 0′ 27,7″ O Höhenlage 46 m ü. NN Motte Kurtekotten (Nordrhein-Westfalen) Die Motte Kurtek...

 

Raül Tortosa Información personalNacimiento 14 de agosto de 1979 (44 años)Tarrasa (España) Nacionalidad EspañolaInformación profesionalOcupación Actor, actor de cine, actor de televisión, director de teatro y cantante Sitio web www.raul-tortosa.com [editar datos en Wikidata] Raül Tortosa (n. Tarrasa, de la provincia de Barcelona, 14 de agosto de 1979) es un actor, director y cantante español. Biografía Estudió arte dramático en el Estudio Nancy Tuñón (Barcelona) y en ...

 

BloodEpisode The X-FilesNomor episodeMusim 2Episode 3SutradaraDavid NutterTeleplayGlen MorganJames WongPengarangDarin MorganKode produksi2X03Tanggal siar30 September 1994Durasi45 menitBintang tamu William Sanderson sebagai Edward Funsch John Cygan sebagai Sheriff Spencer Kimberly Ashlyn Gere sebagai Bonnie McRoberts George Touliatos sebagai Larry Winter Bruce Harwood sebagai John Fitzgerald Byers Dean Haglund sebagai Richard Langly Tom Braidwood sebagai Melvin Frohike[1] Kronolog...

Ten artykuł dotyczy ulicy w Warszawie. Zobacz też: inne ulice noszące tę nazwę. Aleja Jana Pawła II w Warszawie Nowolipki, Muranów, Mirów, Śródmieście Północne, Sady Żoliborskie, Stary Żoliborz Aleja Jana Pawła II, widok z ul. Elektoralnej w kierunku północnym Państwo  Polska Miejscowość Warszawa Długość 4,2 km Poprzednie nazwy Juliana Marchlewskiego Przebieg rondo Czterdziestolatka← Al. Jerozolimskie→ul. Chałubińskiego ↑ 185m ul. Chmielna 315m ul. Złota ...

 

Cet article est une ébauche concernant l’islam et l’histoire. Vous pouvez partager vos connaissances en l’améliorant (comment ?) selon les recommandations des projets correspondants. Les Arabes pratiquaient la polygynie et certaines formes proches de la polyandrie avant Mahomet. Ces dernières furent prohibées pour le fait de la difficulté à déterminer le vrai père pour les règles d'héritage[1]. Selon les chroniqueurs musulmans, il existait, au moins, sept mariages arabes ...

 

Luminescent substance For the chemical element, see phosphorus. Example of phosphorescence Monochrome monitor Aperture grille CRT phosphors A phosphor is a substance that exhibits the phenomenon of luminescence; it emits light when exposed to some type of radiant energy. The term is used both for fluorescent or phosphorescent substances which glow on exposure to ultraviolet or visible light, and cathodoluminescent substances which glow when struck by an electron beam (cathode rays) in a catho...

This article needs additional citations for verification. Please help improve this article by adding citations to reliable sources. Unsourced material may be challenged and removed.Find sources: Mladorossi – news · newspapers · books · scholar · JSTOR (May 2010) (Learn how and when to remove this template message) Political party in Russia Union of Mladorossi Союз МладороссовLeaderAlexander KazembekFounded1923 (1923)Dissolved194...

 

508 Pal Putih Halte TransjakartaHalte Pal Putih, 2022LetakKotaJakarta PusatDesa/kelurahanKramat, SenenKodepos10450AlamatJalan Kramat RayaKoordinat6°11′04″S 106°50′38″E / 6.1845°S 106.8439°E / -6.1845; 106.8439Koordinat: 6°11′04″S 106°50′38″E / 6.1845°S 106.8439°E / -6.1845; 106.8439Desain HalteStruktur BRT, median jalan bebas 1 tengah Pintu masukMelalui jembatan penyeberangan di Jalan Kramat RayaGerbang tarifYaFasili...

 

French Guianan footballer Thomas Vancaeyezeele Vancaeyezeele playing for Pittsburgh Riverhounds in 2018Personal informationDate of birth (1994-07-27) 27 July 1994 (age 29)Place of birth Arras, FranceHeight 1.80 m (5 ft 11 in)Position(s) Defender, MidfielderTeam informationCurrent team Hartford AthleticYouth career2005–2011 CaenCollege careerYears Team Apps (Gls)2016–2017 Charleston Golden Eagles 41 (5)Senior career*Years Team Apps (Gls)2011–2012 Caen II 1 (0)2013–2...

Yosep Anggi NoenYosep Anggi Noen di IFFR 2020LahirYosep Anggi Prasetya15 Maret 1983 (umur 40)Sleman, Yogyakarta, IndonesiaAlmamaterUniversitas Gadjah MadaPekerjaanSutradaraproduserpenuliseditordosenTahun aktif2005–sekarang Yosep Anggi Prasetya, S.SIP.[1] (lahir 15 Maret 1983), yang lebih dikenal sebagai Yosep Anggi Noen, adalah seorang sutradara, penulis, editor, dan dosen asal Moyudan, Sleman, Yogyakarta. Dengan filmnya yang berjudul The Science of Fictions, Noen memenang...

 

Gabungan kekuatan bersenjata sedang bertugas: Tank Amerika M4 Sherman dilengkapi dengan senjata utama 75 mm, dengan pasukan infanteri yang berjalan di sampingnya. Tank adalah sistem senjata yang penting dalam Perang Dunia II. Meskipun tank pada masa perang telah menjadi subjek penelitian yang luas, tetapi produksinya terbatas bahkan relatif sedikit di beberapa negara. Akan tetapi selama Perang Dunia II sebagian besar tentara menggunakan tank dan tingkat produksinya mencapai ribuan setiap bula...

 

British geologist William Pengelly. William Pengelly, FRS FGS (12 January 1812 – 16 March 1894) was a British geologist and amateur archaeologist[1][2] who was one of the first to contribute proof that the Biblical chronology of the earth calculated by Archbishop James Ussher was incorrect.[3] Biography Born at East Looe in Cornwall, the son of a sea captain, he left school at the age of 12 to join his father's crew. Returning to Looe while still in his teens, he spe...

For the National Football League kicker, see John Potter (American football). John E. PotterPresident and Chief Executive Officer of the Metropolitan Washington Airports AuthorityIncumbentAssumed office July 18, 2011Preceded byLynn Hampton72nd United States Postmaster GeneralIn officeJune 1, 2001 – December 6, 2010PresidentGeorge W. BushBarack ObamaPreceded byWilliam J. HendersonSucceeded byPatrick R. Donahoe Personal detailsBorn1956 (age 66–67)New York City, U.S.Pol...

 

American children's television series Gullah Gullah IslandCreated by Maria Magdalena Perez Kathleen Minton Catapano Kit Laybourne Presented by Ron Daise Natalie Daise Theme music composerPeter LuryeOpening themeLet's All Go to Gullah Gullah IslandEnding themevariousComposerBilly StrausCountry of originUnited StatesOriginal languagesEnglish, introducing GullahNo. of seasons4No. of episodes70ProductionExecutive producers Maria Perez-Brown Kathleen Minton Catapano Kit Laybourne (co-executive pro...

 

Italian sculptor and architect Shrine of St. Dominic, Basilica of St. Dominic, Bologna Fra Guglielmo Agnelli OP (c. 1238–1313) was an Italian sculptor and architect, born in Pisa. Biography Agnelli was a pupil of the well-known sculptor Nicola Pisano, who modelled on classical Greek and Roman ideas.[1] Agnelli was born and there joined the Dominican Order in 1257, as a lay brother. He was soon engaged in work on the convent of the brethren at Pisa and built the campanile of the Badi...

ملعب أورجانس فالÖrjans vall (بالسويدية) معلومات عامةالاستعمال كرة القدم المنطقة الإدارية Halmstad Municipality (en) — هالمستاد البلد  السويد التشييد والافتتاحالتجديد 1972الاستعمالالرياضة كرة القدم المستضيف Halmstads BK (en) IS Halmia (en) المالك بلدية هالمستادأحداث مهمة كأس العالم 1958 معلومات أخرىا...

 

بيدرو أورتيز معلومات شخصية الميلاد 19 أغسطس 2000 (24 سنة)  ميورقة  الطول 1.84 م (6 قدم 1⁄2 بوصة) مركز اللعب وسط الجنسية إسبانيا  معلومات النادي النادي الحالي إشبيلية أتلتيكو الرقم 14 مسيرة الشباب سنوات فريق أتليتيكو بالياريس المسيرة الاحترافية1 سنوات فريق م. (هـ.) 201...

 

Strategi Solo vs Squad di Free Fire: Cara Menang Mudah!