Probabilistic Reasoning about Actions in Nonmonotonic Causal Theories
<p>We present the language <em>PC+</em> for probabilistic reasoning about actions, which is a generalization of the action language <em>C+</em> that allows to deal with probabilistic as well as nondeterministic effects of actions. We define a formal semantics of <em&...
| Autors principals: | , |
|---|---|
| Format: | Conference item |
| Publicat: |
Morgan Kaufmann
2003
|
| Sumari: | <p>We present the language <em>PC+</em> for probabilistic reasoning about actions, which is a generalization of the action language <em>C+</em> that allows to deal with probabilistic as well as nondeterministic effects of actions. We define a formal semantics of <em>PC+</em> 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.</p> |
|---|