Hector Levesque
Hector Levesque researches knowledge representation, tractable reasoning and cognitive robotics. He earned his Toronto doctorate in 1981 and joined its faculty in 1984 after Fairchild laboratory work. His shared publications include GOLOG and ConGolog for programming dynamic domains. He proposed the Winograd Schema Challenge in 2011 to test the use of common sense in language. He retired in 2014 and published books through 2022.
- Now at
- University of Toronto
- Works
- 246
- Citations
- 18,318
- h-index
- 60
Publication numbers from OpenAlex, as of 14 October 2026.
Timeline
-
1981–1984
From doctoral study to Toronto
Levesque earned a doctorate in Toronto in 1981, worked at Fairchild’s AI laboratory and joined Toronto’s faculty in 1984. His research formalizes beliefs, goals, intentions and the connection between knowledge, perception and action. It also studies how reasoning can remain computationally tractable.
-
1997–2000
Programming with logical descriptions
Levesque coauthored the GOLOG language paper in 1997 and ConGolog in 2000. The collaborators included Ray Reiter, Yves Lespérance, Fangzhen Lin, Richard Scherl and Giuseppe De Giacomo across the two projects. These languages connect logical action descriptions with programs for dynamic worlds.
-
2011
The Winograd Schema Challenge
Levesque’s original 2011 paper proposes a common-sense language test using carefully constructed questions. Small changes in a sentence can change which object or person a reference identifies. The proposal asks a system to use knowledge about a situation; passing one benchmark is not presented as proof of general intelligence.
-
2014–2022
Retirement and continued writing
Levesque retired in 2014. He later published books on cognitive robots, common sense and knowledge bases, including books in 2022.
Sources and credits
Photo: www.cs.toronto.edu; creator not stated. License: Not stated by source. Source: cs.toronto.edu. Cropped to a square and resized. Ask us to remove or replace this photo.