Probabilistic Reasoning about Actions in Nonmonotonic Causal Theories

Conference item

We present the language PC+ for probabilistic reasoning about actions, which is a generalization of the action language C+ that allows to deal with probabilistic as well as nondeterministic effects of actions. We define a formal semantics of PC+ 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.

Authors: Eiter, T; Lukasiewicz, T

• Publisher: Morgan Kaufmann
• Host title: Proceedings of the 19th Conference in Uncertainty in Artificial Intelligence‚ UAI 2003‚ Acapulco‚ Mexico‚ August 7−10‚ 2003
• Publication date: 2003-01-01
• ISBN: 0127056645