NON-DETERMINISM AND UNCERTAINTY IN THE SITUATION CALCULUS

Abstract

The purpose of this article is to extend the situation calculus, a logical framework for the specification of theories of action and change, with actions that have a non-deterministic or uncertain nature. Our approach is based upon the idea that actions may have a deterministic component, and a probabilistic component. For example, the act of flipping a coin has a deterministic component (the actual coin toss) and an uncertain component (the outcome). We extend the language of the situation calculus in order to make explicit this distinction between these two action components. Furthermore, we provide means to reason about the outcomes of processes specified only in terms of deterministic action components (which we call behaviors). In particular, we show how one can compute the probability that some fluent will hold after specific behavior is realized. An important feature of our approach is that the syntactic and semantic structure of actions and situations is independent of the decomposition of actions into deterministic and uncertain components. Thus, we inherit solutions to the frame problem ramification problem, etc.