AOL: A logic of Acting, Sensing, Knowing, and Only Knowing.
Gerhard Lakemeyer, Hector J. Levesque · 1998
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. The logic is