We present the language PC+ for probabilistic reasoning about actions, which is a generaliza tion of the action language C + that allows to deal with probabilistic as well as nondeterministic ef fects of actions. We define a formal semantics of PC+ in terms of probabilistic transitions be tween sets of states. Using a concept of a history and its belief state, we then show how several im portant problems in reasoning about actions can be concisely formulated in our formalism.
Another closely related work is REF , which proposes the action language PC+ for probabilistic reasoning about actions, and which is among the few works in the literature that deal with both qualitative and probabilistic uncertainty in reasoning about actions.
Probabilistic Reasoning about Actions in Nonmonotonic Causal Theories
ArXiv
ArXiv
Computer Science