On Knowledge-Based Programming with Sensing in the Situation Calculus

ACM Transactions on Computational Logic

Volumn 2, Issue 4, 2001, Pages 433-457

  Reiter, Ray ^a  

^a UNIVERSITY OF TORONTO   (Canada)

Author keywords

dynamic closed world assumption; Languages; sensing and knowledge; Situation calculus; situation calculus programming languages; theorem proving; Theory

Indexed keywords

EID: 85017332807     PISSN: 15293785     EISSN: 1557945X     Source Type: Journal    
DOI: 10.1145/383779.383780     Document Type: Article

References (17)

1. De Giacomo, G., Iocchi, L., Nardi, D., and Rosati, R. 1996. Moving a robot: The KR&R approach at work. In Proceedings of the Fifth International Conference on Principles of Knowledge Representation and Reasoning (KR'96), L. Aiello, J. Doyle, and S. Shapiro, Eds. Morgan Kaufmann Publishers, San Francisco, CA, 198-209
2. Fagin, R., Halpern, J., Moses, Y., and Vardi, M. 1995. Reasoning about Knowledge. MIT Press, Cambridge, Mass
3. Halpern, J. and Fagin, R. 1989. Modelling knowledge and action in distributed systems. Distributed Computing 3, 4, 159-179
4. Lakemeyer, G. 1999. On sensing and off-line interpreting in GOLOG. In Logical Foundations for Cognitive Agents: Contributions in Honor of Ray Reiter, H. Levesque and F. Pirri, Eds. Springer, 173-189
5. Lakemeyer, G. and Levesque, H. June 1998. AOL: a logic of acting, sensing, knowing, and only knowing. In Proc. of KR-98, Sixth International Conference on Principles of Knowledge Representation and Reasoning. 316-327
6. Levesque, H. 1990. All I know: A study in autoepistemic logic. Artificial Intelligence 42, 263-309
7. Levesque, H. and Lakemeyer, G. 2001. The Logic of Knowledge Bases. MIT Press. to appear
8. Levesque, H., Reiter, R., Lesperance, Y., Lin, F., and Scherl, R. 1997. GOLOG: a logic programming language for dynamic domains. J. of Logic Programming, Special Issue on Actions 31, 1-3, 59-83
9. Moore, R. 1980. Reasoning about knowledge and action. Tech. rep., SRI International. Technical Note 191
10. Moore, R. 1985. A formal theory of knowledge and action. In Formal Theories of the Commonsense World, J. B. Hobbs and R. C. Moore, Eds. Ablex Publishing Corp., Norwood, New Jersey, Chapter 9, 319-358
11. Pednault, E. 1994. ADL and the state-transition model of action. J. Logic and Computation 4, 5, 467-512
12. Pirri, F. and Finzi, A. 1999. An approach to perception in theory of actions: Part 1. Linkoping Electronic Articles in Computer and Information Science 4.
13. Pirri, F. and Reiter, R. 1999. Some contributions to the metatheory of the situation calculus. Journal of the ACM 46, 3, 261-325
14. Reiter, R. 2001. Knowledge in Action: Logical Foundations for Specifying and Implementing Dynamical Systems. MIT Press, Cambridge, Mass
15. Scherl, R. and Levesque, H. 1993. The frame problem and knowledge producing actions. In Proc. AAAI-93. Washington, DC, 689-695
16. Shoham, Y. 1993. Agent oriented programming. Artificial Intelligence 60, 1,51-92
17. Waldinger, R. 1977. Achieving several goals simultaneously. In Machine Intelligence 8, E. Elcock and D. Michie, Eds. Ellis Horwood, Edinburgh, Scotland, 94-136