AOL: a logic of acting, sensing, knowing, and only knowing (1998)
Cached
Download Links
- [www.cs.toronto.edu]
- [www-kbsg.informatik.rwth-aachen.de]
- DBLP
Other Repositories/Bibliography
| Venue: | Proceedings of the International Conference on Principles of Knowledge Representation and Reasoning (KR |
| Citations: | 29 - 12 self |
BibTeX
@INPROCEEDINGS{Lakemeyer98aol:a,
author = {Gerhard Lakemeyer and Hector J. Levesque},
title = {AOL: a logic of acting, sensing, knowing, and only knowing},
booktitle = {Proceedings of the International Conference on Principles of Knowledge Representation and Reasoning (KR},
year = {1998},
pages = {316--327},
publisher = {Morgan Kaufmann}
}
Years of Citing Articles
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
This work is motivated by the existence of two useful but quite different knowledge representation formalisms, the situation calculus due to McCarthy, and the logic OL of only knowing due to Levesque. In this paper, we propose the logic AOL, which combines both approaches in a clean and natural way. We present a semantics for AOL which generalizes the semantics of OL to account for actions, and a sound and complete set of axioms for AOL which generalizes the Lin and Reiter foundational axioms of the situation calculus to account for only knowing.
