Probabilistic Reasoning about Actions in Nonmonotonic Causal Theories

10/19/2012

∙

by   Thomas Eiter, et al.

∙

0

∙

share

We present the language m Pcal C+ for probabilistic reasoning about actions, which is a generalization of the action language cal C+ that allows to deal with probabilistic as well as nondeterministic effects of actions. We define a formal semantics of m Pcal C+ in terms of probabilistic transitions between sets of states. Using a concept of a history and its belief state, we then show how several important problems in reasoning about actions can be concisely formulated in our formalism.