Knowledge, action, and ability in the situation calculus: extended abstract

Authors:
Hector Levesque
Affiliations:
University of Toronto, Toronto, Ont.
Venue:
TARK '94 Proceedings of the 5th conference on Theoretical aspects of reasoning about knowledge
Year:
1994

Citing 2
Cited 1

Intention is choice with commitment

Artificial Intelligence
The frame problem in situation the calculus: a simple solution (sometimes) and a completeness result for goal regression

Artificial intelligence and mathematical theory of computation

The well-designed logical robot: Learning and experience from observations to the Situation Calculus

Artificial Intelligence

Quantified Score

Hi-index	0.00

Visualization

Abstract

The Cognitive Robotics group at the University of Toronto has been studying various aspects of the reasoning and representation problems involving action and change. The setting is that of a (currently simulated) autonomous robot for which we wish to provide high-level control. One problem that has been a central focus of this work is the frame problem [5]. Recently, Reiter, building on the work of Shubert, Haas and Pednault, has proposed a simple solution to this problem in the context of the situation calculus [7]. In the talk, I will briefly review the situation calculus, Reiter's solution to the frame problem, and the regression method he proposes for reasoning about the effect of actions. Effort is now underway to generalize this solution along a number of dimensions.