Non-uniform Knowledge in the Situation Calculus

Knowledge Representation and Reasoning is the field of AI concerned with storing information in a way which can be actioned upon by an agent. The situation calculus is a popular logical language for reasoning about action. A prior work by Scherl and Levesque demonstrates how the situation calculus can be used to model knowledge and knowledge-producing actions while solving the frame problem. This approach is limited in that it can only represent knowledge pertaining to the same situation in which it is held. Shapiro et al. have demonstrated how retrospection can be represented, but not so for prospection. We present an extension of Scherl and Levesque’s approach which allows for prospection and reasoning hypothetically about the outcomes of actions before they are taken.