Abstract:
We propose extensions L0 and L1 of the action description language A that can express both actual and hypothetical situations, observations of the truth values of fluents in these situations (as opposed to hypothetical values of fluents expressible in A), and observations of actual occurrences of actions. The corresponding entailment relation formalizes various types of common-sense reasoning about actions and their effects not modeled by the previous approaches. We then formalize the notion of planning from the current situation using L1.