Hector Levesque

from Wikipedia, the free encyclopedia

Hector Joseph Levesque (* 1951 ) is a Canadian computer scientist who deals with artificial intelligence .

Levesque studied at the University of Toronto with a bachelor's degree in 1975, a master's degree in 1977 and a doctorate with John Mylopoulos in 1981 ( A Formal Treatment of Incomplete Knowledge Bases ). He then worked at the Fairchild Laboratory for Artificial Intelligence in Palo Alto and from 1984 professor at the University of Toronto.

He deals with the representation of knowledge and the related conclusions and his tell / ask interface , which he introduced in his dissertation, has been used widely. He was involved in the initiation of several new fields of research (implicit belief and explicit belief, vivid reasoning, cognitive robotics, new methods of satisfiability). In 2011 he suggested the Winograd Schema Challenge as an alternative to the Turing test .

He is on the editorial board of Artificial Intelligence . From 2001 to 2003 he was President of the Board of Trustees of the IJCAI and chaired the 2001 IJCAI Conference. He is a fellow of the AAAI and the Royal Society of Canada . In 2013 he received the IJCAI Award for Research Excellence and in 1985 the IJCAI Computers and Thought Award . He was a Steacie Fellow in 1990/91 and a Fellow of the Canadian Institute for Advanced Research from 1984 to 1995.

Fonts (selection)

  • Common Sense, the Turing Test, and the Quest for Real AI , MIT Press, 2017.
  • Thinking as Computation , MIT Press, 2012.
  • with Ronald Brachman: Knowledge Representation and Reasoning , Morgan Kaufmann, Elsevier 2004.
  • The Logic of Knowledge Bases , MIT Press, 2000.
  • with Fiora Pirri (Ed.): Logical foundations for cognitive agents: contributions in honor of Ray Reiter , Springer 1999
  • with Ernest Davis, Leora Morgenstern: The Winograd Schema Challenge. KR 2012

Web links

Individual evidence

  1. ↑ Hector Levesque in the Mathematics Genealogy Project (English)Template: MathGenealogyProject / Maintenance / id used
  2. ^ Biography in Brachman, Levesque, Knowledge representation and reasoning, Morgan Kaufmann 2004
  3. ^ Davis, Morgenstern, Ortiz, The Winograd Schema Challenge , NY University
personal data
SURNAME Levesque, Hector
ALTERNATIVE NAMES Levesque, Hector Joseph (full name)
BRIEF DESCRIPTION Canadian computer scientist
DATE OF BIRTH 1951