Probabilistic situation calculus

In this article we propose a Probabilistic Situation Calculus logical langu age to represent and reason with knowledge about dynamic worlds in which ac tions have uncertain effects. Uncertain effects are modeled by dividing an action into two subparts: a deterministic (agent produced) input and a prob abilistic reaction (produced by nature). We assume that the probabilities o f the reactions have known distributions. Our logical language is an extens ion to Situation Calculac in the style proposed by Raymond Reiter. There ar e three aspects to this work. First, we extend the language in order to acc ommodate the necessary distinctions (e.g., the separation of actions into i nputs and reactions). Second, we develop the notion of Randomly Reactive Au tomata in order to specify the semantics of our Probabilistic Situation Cal culus. Finally, we develop a reasoning system in MATHEMATICA capable of per forming temporal projection in the Probabilistic Situation Calculus.