My home page
Biography
Research
Publications
My group
Courses
Professional activities
FAQ
Personal
Papers

Daphne Koller Publications

Forming Beliefs about a Changing World (1994)

by F. Bacchus, A. J. Grove, J. Y. Halpern, and D. Koller


Abstract: The situation calculus is a popular technique for reasoning about action and change. However, its restriction to a first-order syntax and pure deductive reasoning makes it unsuitable in many contexts. In particular, we often face uncertainty, due either to lack of knowledge or to some probabilistic aspects of the world. While attempts have been made to address aspects of this problem, most notably using nonmonotonic reasoning formalisms, the general problem of uncertainty in reasoning about action has not been fully dealt with in a logical framework. In this paper we present a theory of action that extends the situation calculus to deal with uncertainty. Our framework is based on applying the random-worlds approach of [BGHK] to a situation calculus ontology, enriched to allow the expression of probabilistic action effects. Our approach is able to solve many of the problems imposed by incomplete and probabilistic knowledge within a unified framework. In particular, we obtain a default Markov property for chains of actions, a derivation of conditional independence from irrelevance, and a simple solution to the frame problem.


Download Information

F. Bacchus, A. J. Grove, J. Y. Halpern, and D. Koller (1994). "Forming Beliefs about a Changing World." Proceedings of the 12th National Conference on Artificial Intelligence (AAAI) (pp. 222-229). pdf ps.gz

Bibtex citation

@inproceedings{Bacchus+al:AAAI94,
  author =       "F. Bacchus and A.~J. Grove and J.~Y. Halpern and D.
                 Koller",
  booktitle =    "Proceedings of the 12th National Conference on Artificial Intelligence (AAAI)",
  title =        "Forming Beliefs about a Changing World",
  pages =        "222--229",
  month = {August},
  year =         "1994",
  address = {Seattle, Washington},
}

full list
Click to go to robotics Click to go to theory Click to go to CS Stanford Click to go to Stanford's Webpage
home | biography | research | papers | my group
courses | professional activities | FAQ | personal