Probabilistic Reasoning About Actions in Nonmonotonic Causal Theories
Abstract
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.
Cite
Text
Eiter and Lukasiewicz. "Probabilistic Reasoning About Actions in Nonmonotonic Causal Theories." Conference on Uncertainty in Artificial Intelligence, 2003.Markdown
[Eiter and Lukasiewicz. "Probabilistic Reasoning About Actions in Nonmonotonic Causal Theories." Conference on Uncertainty in Artificial Intelligence, 2003.](https://mlanthology.org/uai/2003/eiter2003uai-probabilistic/)BibTeX
@inproceedings{eiter2003uai-probabilistic,
title = {{Probabilistic Reasoning About Actions in Nonmonotonic Causal Theories}},
author = {Eiter, Thomas and Lukasiewicz, Thomas},
booktitle = {Conference on Uncertainty in Artificial Intelligence},
year = {2003},
pages = {192-199},
url = {https://mlanthology.org/uai/2003/eiter2003uai-probabilistic/}
}