Uncertainty in Artificial Intelligence
First Name   Last Name   Password   Forgot Password   Log in!
    Proceedings         Authors   Author's Info   Article details         Search    
Probabilistic Reasoning about Actions in Nonmonotonic Causal Theories
Thomas Eiter, Thomas Lukasiewicz
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.
Pages: 192-199
PS Link: http://www.kr.tuwien.ac.at/staff/lukasiew/pcplus03.ps
PDF Link: /papers/03/p192-eiter.pdf
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"

hosted by DSL   •   site info   •   help