|
|
|
|
Probabilistic Reasoning about Actions in Nonmonotonic Causal Theories
Thomas Eiter, Thomas Lukasiewicz
Abstract:
We present the language {m P}{cal 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 P}{cal 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.
Keywords:
Pages: 192-199
PS Link: http://www.kr.tuwien.ac.at/staff/lukasiew/pcplus03.ps
PDF Link: /papers/03/p192-eiter.pdf
BibTex:
@INPROCEEDINGS{Eiter03,
AUTHOR = "Thomas Eiter
and Thomas Lukasiewicz",
TITLE = "Probabilistic Reasoning about Actions in Nonmonotonic Causal Theories",
BOOKTITLE = "Proceedings of the Nineteenth Conference Annual Conference on Uncertainty in Artificial Intelligence (UAI-03)",
PUBLISHER = "Morgan Kaufmann",
ADDRESS = "San Francisco, CA",
YEAR = "2003",
PAGES = "192--199"
}
|
|
