Hector J. Levesque

About

Hector J. Levesque is a towering figure in artificial intelligence, renowned for his foundational work in knowledge representation, reasoning about action, and high-level robot programming. His most significant contribution is the creation of GOLOG, a logic programming language for dynamic domains, which has garnered over 1,000 citations and revolutionized how researchers approach agent control. Levesque’s research masterfully bridges logic and robotics, tackling the frame problem—the challenge of representing what remains unchanged after an action—and providing a formal, logical account of planning in the presence of sensing. His 1996 paper on this topic, with over 200 citations, remains a definitive reference. Levesque also pioneered the use of the situation calculus to model concurrent execution, prioritized interrupts, and exogenous actions, enabling more robust and flexible robot controllers. His work on indexical knowledge and effective achievability further clarified how robots can act autonomously in uncertain environments. A professor at the University of Toronto, Levesque’s contributions have shaped modern AI, earning him the AAAI Feigenbaum Prize and a lasting legacy as a thinker who gave robots a logical voice.

Research Focus

Key Achievements

Top Papers

1. 1
   GOLOG: A logic programming language for dynamic domains

   1,039 citations · 1997
2. 2
   Knowledge, action, and the frame problem

   276 citations · 2003
3. 3
   What is planning in the presence of sensing

   202 citations · 1996
4. 4
   A Logical Approach to High-Level Robot Programming A Progress Report*

   90 citations · 1994
5. 5
   Reasoning about concurrent execution, prioritized interrupts, and exogenous actions in the situation calculus

   81 citations · 1997
6. 6
   Indexical knowledge and robot action—a logical account

   33 citations · 1995
7. 7
   A Situation Calculus Approach to Modeling and Programming Agents

   31 citations · 1999
8. 8
   What robots can do: robot programs and effective achievability

   30 citations · 1998
9. 9
   Incremental execution of guarded theories

   30 citations · 2001
10. 10
    Reasoning about continuous uncertainty in the situation calculus

    22 citations · 2013

Key Collaborators

Contact & Links