Using histories to model observations in theories of action
- 194 Downloads
In this article we present an approach to integrate observations in theories of action written in the Situation Calculus, a state-based, branching temporal language. In our approach, observations are added as dynamic constraints on valid histories. We describe two applications of these dynamic constraints, namely the representation of observations of action occurrences as well as observations of truth values of fluents.
An important novelty of our proposal is that we do not need to make unnecessary assumptions regarding the occurrence or non-occurrence of events. Furthermore, by virtue of exploiting the branching nature of time in the Situation Calculus, we can reason, within the logic, about all possible ways in which the world can evolve; i.e., without having to appeal to meta-theoretic constructs.
KeywordsInitial Situation Dynamic Constraint Frame Problem Action Occurrence Concurrent Action
Unable to display preview. Download preview PDF.
- 5.Javier Pinto. Concurrent Events: Synergy and Cancellation of Effects. In European Conference on Artificial Intelligence, Workshop on Logic and Change, pages 105–110, 1994. URL = ftp://lyrcc.ing.puc.cl/pub/jpinto/ecai.ps.gz.Google Scholar
- 6.Javier Pinto. Temporal Reasoning in the Situation Calculus. PhD thesis, Department of Computer Science, University of Toronto, Toronto, Ontario, Canada, February 1994. URL = ftp://ftp.cs.toronto.edu/~cogrob/jpThesis.ps.Z.Google Scholar
- 7.Javier Pinto. Occurrences and Narratives as Constraints in the Branching Structure of the Situation Calculus. Journal of Logic and Computation, 1998. To appear.Google Scholar
- 9.Javier A. Pinto. On the Existence and Formalization of Natural Events. In Proceedings of the IJCAI Workshop on Nonmonotonic Reasoning, Action and Change., August 1995. URL = ftp://lyrcc.ing.puc.cl/pub/jpinto/ijcwrk.ps.gz.Google Scholar
- 10.Raymond Reiter. The Frame Problem in the Situation Calculus: A Simple Solution (sometimes) and a completeness result for goal regression, pages 359–380. Artificial Intelligence and Mathematical Theory of Computation: Papers in Honor of John McCarthy. Academic Press, San Diego, CA, 1991.Google Scholar
- 12.Raymond Reiter. Natural Actions, Concurrency and Continuous Time in the Situation Calculus. In Principles of Knowledge Representation and Reasoning: Proceedings of the Fifth International Conference(KR'96), Cambridge, Massachussetts, U.S.A., November 1996. Morgan Kaufmann.Google Scholar
- 13.Richard Scherl and Hector Levesque. The Frame Problem and Knowledge Producing Actions. In Proceedings AAAI-93, pages 689–695, Washington, D.C., July 1993. AAAI.Google Scholar