On knowledge-based programming with sensing in the situation calculus

Authors:
Ray Reiter
Affiliations:
University of Toronto, Toronto, Ont., Canada
Venue:
ACM Transactions on Computational Logic (TOCL) - Special issue devoted to Robert A. Kowalski
Year:
2001

Citing 6
Cited 14

All I know: a study in autoepistemic logic

Artificial Intelligence
Agent-oriented programming

Artificial Intelligence
Reasoning about knowledge

Reasoning about knowledge
Some contributions to the metatheory of the situation calculus

Journal of the ACM (JACM)
The logic of knowledge bases

The logic of knowledge bases
Knowlege in action: logical foundations for specifying and implementing dynamical systems

Knowlege in action: logical foundations for specifying and implementing dynamical systems

Knowledge, action, and the frame problem

Artificial Intelligence
Logic-based specification languages for intelligent software agents

Theory and Practice of Logic Programming
On the Semantics of Deliberation in Indigolog—from Theory to Implementation

Annals of Mathematics and Artificial Intelligence
FLUX: A logic programming method for reasoning agents

Theory and Practice of Logic Programming
Football is coming home

PCAR '06 Proceedings of the 2006 international symposium on Practical cognitive agents and robots
A Theory of Action, Knowledge and Time in the Event Calculus

SETN '08 Proceedings of the 5th Hellenic conference on Artificial Intelligence: Theories, Models and Applications
A Fuzzy Set Semantics for Qualitative Fluents in the Situation Calculus

ICIRA '08 Proceedings of the First International Conference on Intelligent Robotics and Applications: Part I
Reconciling situation calculus and fluent calculus

AAAI'06 Proceedings of the 21st national conference on Artificial intelligence - Volume 1
Semantics for a useful fragment of the situation calculus

IJCAI'05 Proceedings of the 19th international joint conference on Artificial intelligence
The Situation Calculus: A Case for Modal Logic

Journal of Logic, Language and Information
Agents, multi-agent systems and declarative programming: what, when, where, why, who, how?

A 25-year perspective on logic programming
A unifying action calculus

Artificial Intelligence
A semantic characterization of a useful fragment of the situation calculus with knowledge

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

Artificial Intelligence

Quantified Score

Hi-index	0.00

Visualization

Abstract

We consider a class of knowledge-based Golog programs with sense actions. These programs refer explicitly to an agent's knowledge, and are designed to execute on-line, and under a dynamic closed-world assumption on knowledge. On-line execution of sense actions dynamically updates the background axioms with sentences asserting knowledge of the sense actions' outcomes. We formalize what all this might mean, and show that under suitable assumptions the knowledge modality in such programs can be implemented by provability. This leads to an on-line Golog interpreter for such programs, which we demonstrate on a knowledge-based program with sensing for the blocks world.