Dynamic interactions between goals and beliefs

IJCAI International Joint Conference on Artificial Intelligence

Volumn , Issue , 2007, Pages 2625-2630

  Shapiro, Steven ^a   Brewka, Gerhard ^a  

^a UNIVERSITY OF LEIPZIG   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

AGENT THEORY; DYNAMIC INTERACTION; SITUATION CALCULUS;

ARTIFICIAL INTELLIGENCE;

EID: 84880859972     PISSN: 10450823     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (14)

1. John Bell and Zhisheng Huang. Dynamic goal hierarchies. In Lawrence Cavedon, Anand S. Rao, and Wayne Wobcke, editors, Intelligent Agent Systems, Theoretical and Practical Issues, Based on a Workshop Held at PRICAI'96, Cairns, Australia, August 26-30, 1996, number 1209 in Lecture Notes in Computer Science, pages 88-103. Springer-Verlag, 1997.
2. Richard Booth and Alexander Nittka. Reconstructing an agent's epistemic state from observations. In L. P. Kaelbling and A. Saffiotti, editors, Proceedings of the Nineteenth International Joint Conference on Artificial Intelligence (IJCAI-05), pages 394-399, Denver, CO, 2005. Professional Book Center.
3. Gerhard Brewka. Preferred subtheories: An extended logical framework for default reasoning. In N. S. Sridharan, editor, Proceedings 11th International Joint Conference on Artificial Intelligence (IJCAI-89), pages 1043-1048. Morgan Kaufmann, 1989.
4. Philip R. Cohen and Hector J. Levesque. Intention is choice with commitment. Artificial Intelligence, 42:213-261, 1990.
5. Giuseppe De Giacomo, Yves Lespérance, and Hector J. Levesque. ConGolog, a concurrent programming language based on the situation calculus. Artificial Intelligence, 121(1-2):109-169, 2000.
6. Hector J. Levesque, Fiora Pirri, and Raymond Reiter. Foundations for a calculus of situations. Electronic Transactions of AI (ETAI), 2(3-4):159-178, 1998.
7. John McCarthy and Patrick J. Hayes. Some philosophical problems from the standpoint of artificial intelligence. In Bernard Meltzer and Donald Michie, editors, Machine Intelligence 4. Edinburgh University Press, 1969.
8. A. S. Rao and M. P. Georgeff. Asymmetry thesis and side-effect problems in linear time and branching time intention logics. In John Mylopoulos and Raymond Reiter, editors, Proceedings of the Twelfth International Joint Conference on Artificial Intelligence (IJCAI-91), pages 498-504. Morgan Kaufmann, 1991.
9. Raymond Reiter. Knowledge in Action: Logical Foundations for Specifying and Implementing Dynamical Systems. MIT Press, Cambridge, MA, 2001.
10. Steven Shapiro and Maurice Pagnucco. Iterated belief change and exogenous actions in the situation calculus. In R. López de Mántaras and L. Saitta, editors, Proceedings of the 16th European Conference on Artificial Intelligence (ECAI-04), pages 878-882, Amsterdam, 2004. IOS Press.
11. Steven Shapiro, Maurice Pagnucco, Yves Lespérance, and Hector J. Levesque. Iterated belief change in the situation calculus. In A. G. Cohn, Fausto Giunchiglia, and Bart Selman, editors, Principles of Knowledge Representation and Reasoning: Proceedings of the Seventh International Conference (KR2000), pages 527-538, San Francisco, CA, 2000. Morgan Kaufmann.
12. Steven Shapiro, Yves Lespérance, and Hector J. Levesque. Goal change. In L. P. Kaelbling and A. Saffiotti, editors, Proceedings of the Nineteenth International Joint Conference on Artificial Intelligence (IJCAI-05), pages 582-588, Denver, CO, 2005. Professional Book Center.
13. Steven Shapiro, Yves Lespérance, and Hector J. Levesque. Goal change in the situation calculus. Journal of Logic and Computation, to appear, 2006.
14. Steven Shapiro. Belief change with noisy sensing and introspection. In Leora Morgenstern and Maurice Pagnucco, editors, Working Notes of the IJCAI-05 on Nonmonotonic Reasoning, Action, and Change (NRAC 2005), pages 84-89, 2005.