Richard B. Scherl

About

Richard B. Scherl is a leading figure in cognitive robotics and knowledge representation, whose work has fundamentally shaped how autonomous agents reason about action and change. His most influential contribution is the co-development of GOLOG, a logic programming language for dynamic domains, which has garnered over 1,000 citations and remains a cornerstone for high-level robot programming. By grounding robot control in the situation calculus, Scherl provided a rigorous framework for specifying actions, preconditions, and effects, enabling robots to plan and execute complex tasks with formal guarantees. He has also made pivotal advances in addressing the frame problem and integrating knowledge, sensing actions, time, and concurrency into the situation calculus. His 2003 paper on knowledge and the frame problem (276 citations) and his work on indexical knowledge and hypertext modeling demonstrate a sustained commitment to bridging logical theory with practical agent design. Scherl’s research empowers students and engineers to build intelligent systems that reason about their environment and actions with unprecedented clarity and depth.

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
   A Logical Approach to High-Level Robot Programming A Progress Report*

   90 citations · 1994
4. 4
   Reasoning about the interaction of knowlege, time and concurrent actions in the situation calculus

   16 citations · 2003
5. 5
   Sensing Actions, Time, and Concurrency in the Situation Calculus

   8 citations · 2001
6. 6
   A situation calculus model of hypertext

   4 citations · 2002
7. 7
   The Situation Calculus with Sensing and Indexical Knowledge

   2 citations · 1995

Key Collaborators

Contact & Links