Abstract
We examine a number of techniques for representing actions with stochastic effects using Bayesian networks and influence diagrams. We compare these techniques according to ease of specification and size of the representation required for the complete specification of the dynamics of a particular system, paying particular attention the role of persistence relationships. We precisely characterize two components of the frame problem for Bayes nets and stochastic actions, propose several ways to deal with these problems, and compare our solutions with Reiter's solution to the frame problem for the situation calculus. The result is a set of techniques that permit both ease of specification and compact representation of probabilistic system dynamics that is of comparable size (and timbre) to Reiter's representation (i.e., with no explicit frame axioms).
Preview
Unable to display preview. Download preview PDF.
References
Andrew B. Baker. Nonmonotonic reasoning in the framework of the situation calculus. Artificial Intelligence, 49:5–23, 1991.
Craig Boutilier and Richard Dearden. Using abstractions for decision-theoretic planning with time constraints. In Proceedings of the Twelfth National Conference on Artificial Intelligence, pages 1016–1022, Seattle, 1994.
Craig Boutilier, Richard Dearden, and Moisés Goldszmidt. Exploiting structure in policy construction. In Proceedings of the Fourteenth International Joint Conference on Artificial Intelligence, pages 1104–1111, Montreal, 1995.
Craig Boutilier and Nir Friedman. Nondeterministic actions and the frame problem. In AAAI Spring Symposium on Extending Theories of Action: Formal Theory and Practical Applications, pages 39–44, Stanford, 1995.
Craig Boutilier, Nir Friedman, Moisés Goldszmidt, and Daphne Koller. Context-specific independence in bayesian networks. (manuscript), 1996.
Craig Boutilier and Moisés Goldszmidt. A comparison of probabilistic and non-probabilistic action representations. (manuscript), 1995.
Thomas Dean and Keiji Kanazawa. A model for reasoning about persistence and causation. Computational Intelligence, 5(3):142–150, 1989.
Thomas Dean and Michael Wellman. Planning and Control. Morgan Kaufmann, San Mateo, 1991.
Steve Hanks (ed.). Decision theoretic planning: Proceedings of the aaai spring symposium. Technical Report SS-94-06, AAAI Press, Menlo Park, 1994.
Richard E. Fikes and Nils J. Nilsson. Strips: A new approach to the application of theorem proving to problem solving. Artificial Intelligence, 2:189–208, 1971.
Dan Geiger and David Heckerman. Advances in probabilistic reasoning. In Proceedings of the Seventh Conference on Uncertainty in Artificial Intelligence, pages 118–126, Los Angeles, 1991.
Michael Gelfond and Vladimir Lifschitz. Representing actions in extended logic programming. In K. Apt, editor, Proceedings of the Tenth Conference on Logic Programming, pages 559–573, 1992.
Ronald A. Howard and James E. Matheson, editors. Readings on the Principles and Applications of Decision Analysis. Strategic Decision Group, Menlo Park, CA, 1984.
G. Neelakantan Kartha. Two counterexamples related to Baker's approach to the frame problem. Artificial Intelligence, 69:379–392, 1994.
G. Neelakantan Kartha and Vladimir Lifschitz. Actions with indirect effects (preliminary report). In Proceedings of the Fourth International Conference on Principles of Knowledge Representation and Reasoning, pages 341–350, Bonn, 1994.
Henry A. Kautz. The logic of persistence. In Proceedings of the Fifth National Conference on Artificial Intelligence, pages 401–405, Philadelphia, 1986.
R. Kowalski and M. Sergot. A logic-based calculus of events. New Generation Computing, 4(1):67–95, 1986.
Nicholas Kushmerick, Steve Hanks, and Daniel Weld. An algorithm for probabilistic least-commitment planning. In Proceedings of the Twelfth National Conference on Artificial Intelligence, pages 1073–1078, Seattle, 1994.
Fangzhen Lin and Ray Reiter. State constraints revisited. Journal of Logic and Computation, 4(5):655–678, 1994.
John McCarthy and P.J. Hayes. Some philosophical problems from the standpoint of artificial intelligence. Machine Intelligence, 4:463–502, 1969.
Judea Pearl. Probabilistic Reasoning in Intelligent Systems: Networks of Plausible Inference. Morgan Kaufmann, San Mateo, 1988.
Edwin Pednault. ADL: Exploring the middle ground between STRIPS and the situation calculus. In Proceedings of the First International Conference on Principles of Knowledge Representation and Reasoning, pages 324–332, Toronto, 1989.
Javier A. Pinto. Temporal Reasoning in the Situation Calculus. PhD thesis, University of Toronto, 1994.
David Poole. Probabilistic Horn abduction and Bayesian networks. Artificial Intelligence, 64(1):81–129, 1993.
Raymond Reiter. The frame problem in the situation calculus: A simple solution (sometimes) and a completeness result for goal regression. In V. Lifschitz, editor, Artificial Intelligence and Mathematical Theory of Computation (Papers in Honor of John McCarthy), pages 359–380. Academic Press, San Diego, 1991.
Lenhart K. Schubert. Monotonie solution of the frame problem in the situation calculus: An efficient method for worlds with fully specified actions. In H. E. Kyburg, R. P. Loui, and G. N. Carlson, editors, Knowledge Representation and Defeasible Reasoning, pages 23–67. Kluwer, Boston, 1990.
Ross D. Shachter. Evaluating influence diagrams. Operations Research, 33(6):871–882, 1986.
Yoav Shoham. Reasoning About Change: Time and Causation from the Standpoint of Artificial Intelligence. MIT Press, Cambridge, 1988.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1996 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Boutilier, C., Goldszmidt, M. (1996). The frame problem and Bayesian network action representations. In: McCalla, G. (eds) Advances in Artifical Intelligence. Canadian AI 1996. Lecture Notes in Computer Science, vol 1081. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-61291-2_42
Download citation
DOI: https://doi.org/10.1007/3-540-61291-2_42
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-61291-9
Online ISBN: 978-3-540-68450-3
eBook Packages: Springer Book Archive