Keywords
- Knowledge State
- Flux State
- Agent Program
- Situation Calculus
- Domain Constraint
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
This is a preview of subscription content, access via your institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
5.6 Bibliographical Notes
Chitta Baral and Tran Cao Son. Approximate reasoning about actions in presence of sensing and incomplete information. In J. Maluszynski, editor, Proceedings of the International Logic Programming Symposium (ILPS), pages 387–401, Port Jefferson, NY, October 1997. MIT Press.
Robert Demolombe and Maria del Parra. A simple and tractable extension of situation calculus to epsitemic logic. In Z. W. Ras and S. Ohsuga, editors, International Symposium on Methodologies for Intelligent Systems (ISMIS), volume 1932 of LNCS, pages 515–524. Springer, 2000.
[Etzoni et al., 1997]_Oren Etzoni, Keith Golden, and Daniel Weld. Sound and efficient closed-world reasoning for planning. Artificial Intelligence, 89(1–2):113–148, 1997.
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.
Michael Gelfond and Vladimir Lifschitz. Representing action and change by logic programs. Journal of Logic Programming, 17:301–321, 1993.
[Giacomo et al., 1997]_Giuseppe De Giacomo, Luca Iocchi, Daniele Nardi, and Riccardo Rosati. Planning with sensing for a mobile robot. In Proceedings of the European Conference on Planning (ECP), volume 1348 of LNAI, pages 158–170. Springer, 1997.
Keith Golden and Daniel Weld. Representing sensing actions: The middle ground revisited. In L. C. Aiello, J. Doyle, and S. Shapiro, editors, Proceedings of the International Conference on Principles of Knowledge Representation and Reasoning (KR), pages 174–185, Cambridge, MA, November 1996. Morgan Kaufmann.
[Herzig et al., 2000]_Andreas Herzig, Jérôme Lang, Dominique Longin, and Thomas Polascek. A logic for planning under partial observability. In H. Kautz and B. Porter, editors, Proceedings of the AAAI National Conference on Artificial Intelligence, pages 768–773, Austin, TX, July 2000.
[Levesque et al., 1997]_Hector Levesque, Raymond Reiter, Yves Lespérance, Fangzhen Lin, and Richard Scherl. GOLOG: A logic programming language for dynamic domains. Journal of Logic Programming, 31(1–3):59–83, 1997.
[Lobo et al., 1997]_Jorge Lobo, Gisela Mendez, and Stuart R. Taylor. Adding knowledge to the action description language A. In B. Kuipers and B. Webber, editors, Proceedings of the AAAI National Conference on Artificial Intelligence, pages 454–459, Providence, RI, July 1997. MIT Press.
Jorge Lobo. COPLAS: A conditional planner with sensing actions. In Cognitive Robotics, volume FS-98-02 of AAAI Fall Symposia, pages 109–116. AAAI Press, October 1998.
Robert Moore. A formal theory of knowledge and action. In J. R. Hobbs and R. C. Moore, editors, Formal Theories of the Commonsense World, pages 319–358. Ablex, 1985.
Ronald Petrick and Hector Levesque. Knowledge equivalence in combined action theories. In D. Fensel, D. McGuinness, and M.-A. Williams, editors, Proceedings of the International Conference on Principles of Knowledge Representation and Reasoning (KR), pages 303–314, Toulouse, France, April 2002. Morgan Kaufmann.
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.
Raymond Reiter. On knowledge-based programming with sensing in the situation calculus. ACM Transactions on Computational Logic, 2(4):433–457, 2001.
Richard Scherl and Hector Levesque. Knowledge, action, and the frame problem. Artificial Intelligence, 144(1):1–39, 2003.
Michael Thielscher. Representing the knowledge of a robot. In A. Cohn, F. Giunchiglia, and B. Selman, editors, Proceedings of the International Conference on Principles of Knowledge Representation and Reasoning (KR), pages 109–120, Breckenridge, CO, April 2000. Morgan Kaufmann.
Michael Thielscher. Inferring implicit state knowledge and plans with sensing actions. In F. Baader, G. Brewka, and T. Eiter, editors, Proceedings of the German Annual Conference on Artificial Intelligence (KI), volume 2174 of LNAI, pages 366–380, Vienna, Austria, September 2001. Springer.
[Weld et al., 1998]_Daniel S. Weld, Corin R. Anderson, and David E. Smith. Extending Graphplan to handle uncertainty & sensing actions. In J. Mostow and C. Rich, editors, Proceedings of the AAAI National Conference on Artificial Intelligence, pages 432–437, Madison, WI, July 1998.
Rights and permissions
Copyright information
© 2005 Springer
About this chapter
Cite this chapter
(2005). Knowledge Programming. In: Reasoning Robots. Applied Logic Series, vol 33. Springer, Dordrecht. https://doi.org/10.1007/1-4020-3069-X_5
Download citation
DOI: https://doi.org/10.1007/1-4020-3069-X_5
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)