Pat Hayes

Last updated

Pat Hayes
Born
Patrick John Hayes

(1944-08-21) 21 August 1944 (age 80)
Newent, Gloucestershire, UK
CitizenshipUK
Education Bentley Grammar School
Alma mater University of Cambridge (BA)
University of Edinburgh (PhD)
Known forNaive Physics Manifesto [1] [2]
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 [3]
Website ihmc.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]

Contents

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, [1] 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]

Related Research Articles

<span class="mw-page-title-main">Cyc</span> Artificial intelligence project

Cyc is a long-term artificial intelligence project that aims to assemble a comprehensive ontology and knowledge base that spans the basic concepts and rules about how the world works. Hoping to capture common sense knowledge, Cyc focuses on implicit knowledge. The project began in July 1984 at MCC and was developed later by the Cycorp company.

Knowledge representation and reasoning is a field of artificial intelligence (AI) dedicated to representing information about the world in a form that a computer system can use to solve complex tasks, such as diagnosing a medical condition or having a natural-language dialog. Knowledge representation incorporates findings from psychology about how humans solve problems and represent knowledge, in order to design formalisms that make complex systems easier to design and build. Knowledge representation and reasoning also incorporates findings from logic to automate various kinds of reasoning.

<span class="mw-page-title-main">Douglas Lenat</span> Computer scientist and AI pioneer

Douglas Bruce Lenat was an American computer scientist and researcher in artificial intelligence who was the founder and CEO of Cycorp, Inc. in Austin, Texas.

The Web Ontology Language (OWL) is a family of knowledge representation languages for authoring ontologies. Ontologies are a formal way to describe taxonomies and classification networks, essentially defining the structure of knowledge for various domains: the nouns representing classes of objects and the verbs representing relations between the objects.

In artificial intelligence, symbolic artificial intelligence is the term for the collection of all methods in artificial intelligence research that are based on high-level symbolic (human-readable) representations of problems, logic and search. Symbolic AI used tools such as logic programming, production rules, semantic nets and frames, and it developed applications such as knowledge-based systems, symbolic mathematics, automated theorem provers, ontologies, the semantic web, and automated planning and scheduling systems. The Symbolic AI paradigm led to seminal ideas in search, symbolic programming languages, agents, multi-agent systems, the semantic web, and the strengths and limitations of formal knowledge and reasoning systems.

Semantic similarity is a metric defined over a set of documents or terms, where the idea of distance between items is based on the likeness of their meaning or semantic content as opposed to lexicographical similarity. These are mathematical tools used to estimate the strength of the semantic relationship between units of language, concepts or instances, through a numerical description obtained according to the comparison of information supporting their meaning or describing their nature. The term semantic similarity is often confused with semantic relatedness. Semantic relatedness includes any relation between two terms, while semantic similarity only includes "is a" relations. For example, "car" is similar to "bus", but is also related to "road" and "driving".

<span class="mw-page-title-main">Deborah McGuinness</span>

Deborah Louise McGuinness is an American computer scientist and researcher at Rensselaer Polytechnic Institute (RPI). She is a professor of Computer, Cognitive and Web Sciences, Industrial and Systems Engineering, and an endowed chair in the Tetherless World Constellation, a multidisciplinary research institution within RPI that focuses on the study of theories, methods and applications of the World Wide Web. Her fields of expertise include interdisciplinary data integration, artificial intelligence, specifically in knowledge representation and reasoning, description logics, the semantic web, explanation, and trust.

<span class="mw-page-title-main">James Hendler</span> AI researcher

James Alexander Hendler is an artificial intelligence researcher at Rensselaer Polytechnic Institute, United States, and one of the originators of the Semantic Web. He is a Fellow of the National Academy of Public Administration.

<span class="mw-page-title-main">Tim Finin</span> American computer scientist

Timothy Wilking Finin is the Willard and Lillian Hackerman Chair in Engineering and is a Professor of Computer Science and Electrical Engineering at the University of Maryland, Baltimore County (UMBC). His research has focused on the applications of artificial intelligence to problems in information systems and has included contributions to natural language processing, expert systems, the theory and applications of multiagent systems, the semantic web, and mobile computing.

<span class="mw-page-title-main">Carole Goble</span> British computer scientist

Carole Anne Goble, is a British academic who is Professor of Computer Science at the University of Manchester. She is principal investigator (PI) of the myGrid, BioCatalogue and myExperiment projects and co-leads the Information Management Group (IMG) with Norman Paton.

<span class="mw-page-title-main">Ian Horrocks</span> British academic (b.1958)

Ian Robert Horrocks is a professor of computer science at the University of Oxford in the UK and a Fellow of Oriel College, Oxford. His research focuses on knowledge representation and reasoning, particularly ontology languages, description logic and optimised tableaux decision procedures.

<span class="mw-page-title-main">Frank van Harmelen</span>

Frank van Harmelen is a Dutch computer scientist and professor in Knowledge Representation & Reasoning in the AI department at the Vrije Universiteit Amsterdam. He was scientific director of the LarKC project (2008-2011), "aiming to develop the Large Knowledge Collider, a platform for very large scale semantic web reasoning."

Frames are an artificial intelligence data structure used to divide knowledge into substructures by representing "stereotyped situations".

Semantic analytics, also termed semantic relatedness, is the use of ontologies to analyze content in web resources. This field of research combines text analytics and Semantic Web technologies like RDF. Semantic analytics measures the relatedness of different ontological concepts.

James Frederick Allen is an American computational linguist recognized for his contributions to temporal logic, in particular Allen's interval algebra. He is interested in knowledge representation, commonsense reasoning, and natural language understanding, believing that "deep language understanding can only currently be achieved by significant hand-engineering of semantically-rich formalisms coupled with statistical preferences". He is the John H. Dessaurer Professor of Computer Science at the University of Rochester.

Amit Sheth is a computer scientist at University of South Carolina in Columbia, South Carolina. He is the founding Director of the Artificial Intelligence Institute, and a professor of Computer Science and Engineering. From 2007 to June 2019, he was the Lexis Nexis Ohio Eminent Scholar, director of the Ohio Center of Excellence in Knowledge-enabled Computing, and a professor of Computer Science at Wright State University. Sheth's work has been cited by over 48,800 publications. He has an h-index of 117, which puts him among the top 100 computer scientists with the highest h-index. Prior to founding the Kno.e.sis Center, he served as the director of the Large Scale Distributed Information Systems Lab at the University of Georgia in Athens, Georgia.

<span class="mw-page-title-main">Florida Institute for Human and Machine Cognition</span> Not-for-profit research institute organisation

The Florida Institute for Human & Machine Cognition (IHMC) is a not-for-profit research institute of the State University System of Florida, with locations in Pensacola and Ocala, Florida. IHMC scientists and engineers investigate a broad range of topics related to building systems aimed at amplifying and extending human cognitive, physical and perceptual capacities.

William Aaron Woods, generally known as Bill Woods, is a researcher in natural language processing, continuous speech understanding, knowledge representation, and knowledge-based search technology. He is currently a Software Engineer at Google.

Gregory Grefenstette is a French-American researcher and professor in computer science, in particular artificial intelligence and natural language processing. As of 2020, he is the chief scientific officer at Biggerpan, a company developing a predictive contextual engine for the mobile web. Grefenstette is also a senior associate researcher at the Florida Institute for Human and Machine Cognition (IHMC).

<span class="mw-page-title-main">Pascal Hitzler</span> German-American computer scientist

Pascal Hitzler is a German American computer scientist specializing in Semantic Web and Artificial Intelligence. He is endowed Lloyd T. Smith Creativity in Engineering Chair, one of the Directors of the Institute for Digital Agriculture and Advanced Analytics (ID3A) and Director of the Center for Artificial Intelligence and Data Science (CAIDS) at Kansas State University, and the founding Editor-in-Chief of the Semantic Web journal and the IOS Press book series Studies on the Semantic Web.

References

  1. 1 2 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.
  2. ↑ Hayes, Patrick (1995). "The second naive physics manifesto". Computation & Intelligence. AAAI Press. pp. 567–585. ISBN   978-0262621014.
  3. ↑ Pat Hayes at the Mathematics Genealogy Project OOjs UI icon edit-ltr-progressive.svg
  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. Lock-green.svg
  6. ↑ Pat Hayes at DBLP Bibliography Server OOjs UI icon edit-ltr-progressive.svg
  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.
This page is based on this Wikipedia article
Text is available under the CC BY-SA 4.0 license; additional terms may apply.
Images, videos and audio are available under their respective licenses.