An action description language for iterated belief change

IJCAI International Joint Conference on Artificial Intelligence

Volumn , Issue , 2007, Pages 2498-2503

  Hunter, Aaron ^a   Delgrande, James P ^a  

^a SIMON FRASER UNIVERSITY   (Canada)

Author keywords

[No Author keywords available]

Indexed keywords

ACTION DESCRIPTION LANGUAGES; ACTION DESCRIPTIONS; ACTION LANGUAGE; BELIEF CHANGE; EPISTEMIC ACTIONS; EXTENDED LOGIC; NON-MARKOVIAN; PROTOTYPE IMPLEMENTATIONS;

LOGIC PROGRAMMING; PROGRAM TRANSLATORS; SEMANTICS;

ARTIFICIAL INTELLIGENCE;

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

References (11)

1. C.E. Alchourrón, P. G ardenfors, and D. Makinson. On the logic of theory change: Partial meet functions for contraction and revision. Journal of Symbolic Logic, 50(2):510-530, 1985.
2. M. Dalal. Investigations into a theory of knowledge base revision. In Proceedings of AAAI88, pages 475-479, 1988.
3. M. Gelfond and V. Lifschitz. Representing action and change by logic programs. Journal of Logic Programming, 17:301-321, 1993.
4. A. Herzig, J. Lang, and P. Marquis. Revision and update in multi-agent belief structures. In Proceedings of LOFT 6, 2004.
5. A. Hunter and J.P. Delgrande. Iterated belief change: A transition system approach. In Proceedings of IJCAI05, pages 460-465, 2005.
6. Y. Jin and M. Thielscher. Representing beliefs in the fluent calculus. In Proceedings of ECAI04, pages 823-827, 2004.
7. V. Lifschitz and H. Turner. Representing transition systems by logic programs. In Proceedings of LPNMR99, pages 92-106, 1999.
8. V. Lifschitz. Action languages, answer sets and planning. In K.R. Apt, V.W. Marek, M. Truszczynski, and D.S. Warren, editors, The Logic Programming Paradigm: A 25-Year Perspective, pages 357-373. Springer-Verlag, 1999.
9. J Lobo, G. Mendez, and S.R. Taylor. Knowledge and the action description language A. Theory and Practice of Logic Programming, 1(2):129-184, 2001.
10. S. Shapiro, M. Pagnucco, Y. Lesperance, and H.J. Levesque. Iterated belief change in the situation calculus. In Proceedings of KR 2000, pages 527-538. Morgan Kaufmann Publishers, 2000.
11. T. Son and C. Baral. Formalizing sensing actions: A transition function based approach. Artificial Intelligence, 125(1-2):19-91, 2001. (Pubitemid 32130119)