Academic
Publications
On knowledge-based programming with sensing in the situation calculus

On knowledge-based programming with sensing in the situation calculus,10.1145/383779.383780,ACM Transactions on Computational Logic,Ray Reiter

On knowledge-based programming with sensing in the situation calculus  
BibTex | RIS | RefWorks Download
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.
Cumulative Annual
View Publication
The following links allow you to view full publications. These links are maintained by other sources not affiliated with Microsoft Academic Search.