Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
7.3 Bibliographical Notes
[Bacchus et al., 1999]_Fahiem Bacchus, Joseph Halpern, and Hector Levesque. Reasoning about noisy sensors and effectors in the situation calculus. Artificial Intelligence, 111(1–2):171–208, 1999.
Chitta Baral. Reasoning about actions: Non-deterministic effects, constraints and qualification. In C. S. Mellish, editor, Proceedings of the International Joint Conference on Artificial Intelligence (IJCAI), pages 2017–2023, Montreal, Canada, August 1995. Morgan Kaufmann.
Craig Boutilier and Neil Friedmann. Nondeterministic actions and the frame problem. In C. Boutilier and M. Goldszmidt, editors, Extending Theories of Actions: Formal Theory and Practical Applications, volume SS-95-07 of AAAI Spring Symposia, pages 39–44, Stanford University, March 1995. AAAI Press.
Alvaro del Val and Yoav Shoham. Deriving properties of belief update from theories of action (II). In R. Bajcsy, editor, Proceedings of the International Joint Conference on Artificial Intelligence (IJCAI), pages 732–737, Chambéry, France, August 1993. Morgan Kaufmann.
G. Neelakantan Kartha and Vladimir Lifschitz. Actions with indirect effects. In J. Doyle, E. Sandewall, and P. Torasso, editors, Proceedings of the International Conference on Principles of Knowledge Representation and Reasoning (KR), pages 341–350, Bonn, Germany, May 1994. Morgan Kaufmann.
Fangzhen Lin. Embracing causality in specifying the indeterminate effects of actions. In B. Clancey and D. Weld, editors, Proceedings of the AAAI National Conference on Artificial Intelligence, pages 670–676, Portland, OR, August 1996. MIT Press.
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, pages 359–380. Academic Press, 1991.
Erik Sandewall. Features and Fluents. The Representation of Knowledge about Dynamical Systems. Oxford University Press, 1994.
Murray Shanahan. Solving the Frame Problem: A Mathematical Investigation of the Common Sense Law of Inertia. MIT Press, 1997.
Michael Thielscher. Representing actions in equational logic programming. In P. Van Hentenryck, editor, Proceedings of the International Conference on Logic Programming (ICLP), pages 207–224, Santa Margherita Ligure, Italy, June 1994. MIT Press.
Michael Thielscher. Nondeterministic actions in the fluent calculus: Disjunctive state update axioms. In S. Hölldobler, editor, Intellectics and Computational Logic, pages 327–345. Kluwer Academic, 2000.
Rights and permissions
Copyright information
© 2005 Springer
About this chapter
Cite this chapter
(2005). Nondeterminism. In: Reasoning Robots. Applied Logic Series, vol 33. Springer, Dordrecht. https://doi.org/10.1007/1-4020-3069-X_7
Download citation
DOI: https://doi.org/10.1007/1-4020-3069-X_7
Publisher Name: Springer, Dordrecht
Print ISBN: 978-1-4020-3068-0
Online ISBN: 978-1-4020-3069-7
eBook Packages: Mathematics and StatisticsMathematics and Statistics (R0)