Goal change

IJCAI International Joint Conference on Artificial Intelligence

Volumn , Issue , 2005, Pages 582-588

  Shapiro, Steven ^a   Lespérance, Yves ^b   Levesque, Hector J ^c  

^a UNIVERSITY OF LEIPZIG   (Germany)

^b YORK UNIVERSITY   (Canada)

^c UNIVERSITY OF TORONTO   (Canada)

Author keywords

[No Author keywords available]

Indexed keywords

BELIEF CHANGE; SITUATION CALCULUS;

ARTIFICIAL INTELLIGENCE;

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

References (17)

1. R. Booth, S. Chopra, A. Ghose, and T. Meyer. Belief liberation (and retraction). Studia Logica, 79:47-72, 2005. (Pubitemid 41490676)
2. P. R. Cohen and H. J. Levesque. Intention is choice with commitment. Artificial Intelligence, 42:213-261, 1990.
3. G. De Giacomo, Y. Lespérance, and H. J. Levesque. ConGolog, a concurrent programming language based on the situation calculus. Artificial Intelligence, 121(1-2):109-169, 2000.
4. P. Gärdenfors. Knowledge in Flux. The MIT Press: Cambridge, MA, 1988.
5. K. Konolige and M. E. Pollack. A representationalist theory of intention. In Proc. IJCAI-93, pages 390-395, 1993.
6. H. J. Levesque, R. Reiter, Y. Lespérance, F. Lin, and R. B. Scherl. GOLOG: A logic programming language for dynamic domains. Journal of Logic Programming, 31:59-84, 1997.
7. H. J. Levesque, F. Pirri, and R. Reiter. Foundations for a calculus of situations. Electronic Transactions of AI (ETAI), 2(3-4):159-178, 1998.
8. J. McCarthy and P. J. Hayes. Some philosophical problems from the standpoint of artificial intelligence. In B. Meltzer and D. Michie, editors, Machine Intelligence 4. Edinburgh University Press, 1969.
9. R. C. Moore. A formal theory of knowledge and action. In J. R. Hobbs and R. C. Moore, editors, Formal Theories of the Common Sense World, pages 319-358. Ablex Publishing, Norwood, NJ, 1985.
10. R. Reiter. Knowledge in Action: Logical Foundations for Specifying and Implementing Dynamical Systems. MIT Press, Cambridge, MA, 2001.
11. J.-W. Roorda,W. van der Hoek, and J.-J. Meyer. Iterated belief change in multi-agent systems. Logic Journal of the IGPL, 11(2):223-246, 2003.
12. R. B. Scherl and H. J. Levesque. Knowledge, action, and the frame problem. Artificial Intelligence, 144(1-2):1-39, 2003.
13. S. Shapiro and Y. Lespérance. Modeling multiagent systems with the cognitive agents specification language - a feature interaction resolution application. In C. Castelfranchi and Y. Lespérance, editors, Proc. ATAL-2000, pages 244-259. Springer-Verlag, Berlin, 2001.
14. S. Shapiro, Y. Lespérance, and H. J. Levesque. Specifying communicative multi-agent systems. In W. Wobcke, M. Pagnucco, and C. Zhang, editors, Agents and Multi-Agent Systems - Formalisms, Methodologies, and Applications, volume 1441 of LNAI, pages 1-14. Springer-Verlag, Berlin, 1998.
15. S. Shapiro, M. Pagnucco, Y. Lespérance, and H. J. Levesque. Iterated belief change in the situation calculus. In A. G. Cohn, F. Giunchiglia, and B. Selman, editors, Proc. KR-2000, pages 527-538, 2000.
16. S. Shapiro. PhD thesis. To appear, 2005.
17. W. Spohn. Ordinal conditional functions: A dynamic theory of epistemic states. In W. Harper and B. Skyrms, editors, Causation in Decision, Belief Change, and Statistics, pages 105-134. Kluwer Academic Publishers, 1988.