Iterated belief change in the situation calculus

Artificial Intelligence

Volumn 175, Issue 1, 2011, Pages 165-192

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

^a UNIVERSITY OF TORONTO   (Canada)

^b UNIVERSITY OF NEW SOUTH WALES   (Australia)

^c YORK UNIVERSITY   (Canada)

Author keywords

Belief change; Knowledge representation and reasoning; Reasoning about action and change; Situation calculus

Indexed keywords

INTELLIGENT SYSTEMS; KNOWLEDGE REPRESENTATION;

ARTIFICIAL INTELLIGENCE RESEARCH; BELIEF CHANGE; BELIEF REVISION; KNOWLEDGE REPRESENTATION AND REASONING; NESTED BELIEFS; NEW APPROACHES; REASONING ABOUT ACTION AND CHANGES; SITUATION CALCULUS;

CALCULATIONS;

EID: 78649756210     PISSN: 00043702     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.artint.2010.04.003     Document Type: Article

References (43)

1. S. Shapiro, M. Pagnucco, Y. Lespérance, and H.J. Levesque Iterated belief change in the situation calculus A.G. Cohn, F. Giunchiglia, B. Selman, Principles of Knowledge Representation and Reasoning: Proceedings of the Seventh International Conference (KR2000) 2000 Morgan Kaufmann Publishers San Mateo, CA 527 538
2. J. McCarthy Situations, Actions and Causal Laws, Stanford University Artificial Intelligence Project Memo 2 1963 Stanford University Stanford, CA
3. J. McCarthy, and P.J. Hayes Some philosophical problems from the standpoint of artificial intelligence B. Meltzer, D. Michie, Machine Intelligence vol. 4 1969 Edinburgh University Press Edinburgh 463 502
4. R. Reiter The frame problem in the situation calculus: A simple solution (sometimes) and a completeness result for goal regression V. Lifschitz, Artificial Intelligence and Mathematical Theory of Computation: Papers in Honor of John McCarthy 1991 Academic Press 359 380
5. R.B. Scherl, and H.J. Levesque The frame problem and knowledge-producing actions Proceedings of the Eleventh National Conference on Artificial Intelligence 1993 AAAI Press/The MIT Press 689 695
6. R.B. Scherl, and H.J. Levesque Knowledge, action, and the frame problem Artificial Intelligence 144 1-2 2003 1 39
7. G. Lakemeyer, H.J. Levesque, AOL: A logic of acting, sensing, knowing, and only knowing, in: Principles of Knowledge Representation and Reasoning: Proceedings of the Sixth International Conference (KR-98), 1998, pp. 316-327.
8. H.J. Levesque, What is planning in the presence of sensing?, in: Proceedings of the Thirteenth National Conference on Artificial Intelligence (AAAI-96), Portland, OR, 1996, pp. 1139-1146.
9. P. Gärdenfors Knowledge in Flux: Modeling the Dynamics of Epistemic States 1988 MIT Press/Bradford Books Cambridge, MA
10. H. Katsuno, and A.O. Mendelzon Propositional knowledge base revision and minimal change Artificial Intelligence 52 1991 263 294
11. R.C. Moore Semantical considerations on nonmonotonic logic Artificial Intelligence 25 1985 75 94
12. G. De Giacomo, H.J. Levesque, Progression using regression and sensors, in: Proceedings of the Sixteenth International Joint Conference on Artificial Intelligence (IJCAI-99), 1999, pp. 160-165.
13. R. Reiter Knowledge in Action: Logical Foundations for Specifying and Implementing Dynamical Systems 2001 MIT Press Cambridge, MA
14. H.J. Levesque, F. Pirri, and R. Reiter Foundations for a calculus of situations Electronic Transactions on Artificial Intelligence 2 3-4 1998 159 178
15. F. Pirri, and R. Reiter Some contributions to the metatheory of the situation calculus Journal of the ACM 46 3 1999 325 361
16. C.E. Alchourrón, P. Gärdenfors, and D. Makinson On the logic of theory change: Partial meet contraction and revision functions Journal of Symbolic Logic 50 1985 510 533
17. P. Peppas, A.C. Nayak, M. Pagnucco, N.Y. Foo, R. Kwok, M. Prokopenko, Revision vs. update: Taking a closer look, in: W. Wahlster (Ed.), Proceedings of the Twelfth European Conference on Artificial Intelligence (ECAI-96), 1996, pp. 95-99.
18. A. Darwiche, and J. Pearl On the logic of iterated belief revision Artificial Intelligence 89 1-2 1997 1 29
19. C. Boutilier Iterated revision and minimal change of conditional beliefs Artificial Intelligence 25 3 1996 262 305
20. W. Spohn Ordinal conditional functions: A dynamic theory of epistemic states W. Harper, B. Skyrms, Causation in Decision, Belief Change, and Statistics 1988 Kluwer Academic Publishers 105 134
21. D.K. Lewis Counterfactuals 1973 Harvard University Press
22. J. McCarthy Epistemological problems in artificial intelligence Proceedings of the Fifth International Joint Conference on Artificial Intelligence 1977 Morgan Kaufmann Publishers Los Altos, CA 1038 1044
23. J. McCarthy Circumscription: A form of non-monotonic reasoning Artificial Intelligence 13 1-2 1980 27 39
24. J. McCarthy Modality, si! modal logic, no! Studia Logica 59 1 1997 29 32
25. N. Friedman, J.Y. Halpern, A knowledge-based framework for belief change. Part II: Revision and update, in: J. Doyle, E. Sandewall, P. Torasso (Eds.), Proceedings of Knowledge Representation and Reasoning (KR-94), 1994, pp. 190-201.
26. S. Shapiro, Belief change with noisy sensing and introspection, in: L. Morgenstern, M. Pagnucco (Eds.), Working Notes of the IJCAI-05 Workshop on Nonmonotonic Reasoning, Action, and Change (NRAC 2005), 2005, pp. 84-89.
27. S. Shapiro, and M. Pagnucco Iterated belief change and exogenous actions in the situation calculus R. López de Mántaras, L. Saitta, Proceedings of the Sixteenth European Conference on Artificial Intelligence (ECAI-04) 2004 IOS Press Amsterdam 878 882
28. A. Hunter, Belief change in the presence of actions and observations: A transition system approach, Ph.D. thesis, Simon Fraser University, Vancouver, BC, July 26, 2006.
29. R. Demolombe, and M.P. Pozos Parra A simple and tractable extension of situation calculus to epistemic logic Z.W. Ras, S. Ohsuga, Proceedings of the Twelfth International Symposium on Intelligent Systems LNAI vol. 1932 2000 515 524
30. R. Demolombe, M.P. Pozos Parra, Belief change in the situation calculus: A new proposal without plausibility levels, in: Proceedings of the Workshop on Belief Revision and Dynamic Logic at the Seventeenth European Summer School on Logic, Language and Information, 2005.
31. A. del Val, and Y. Shoham A unified view of belief revision and update Journal of Logic and Computation 4 1994 797 810
32. C. Boutilier, Revision sequences and nested conditionals, in: Proceedings of the Thirteenth International Joint Conference on Artificial Intelligence (IJCAI-93), 1993, pp. 519-525.
33. M.-A. Williams, Transmutations of knowledge systems, in: Proceedings of the Fourth International Conference on Principles of Knowledge Representation and Reasoning (KR-94), 1994, pp. 619-629.
34. C. Boutilier, Generalized update: Belief change in dynamic settings, in: Proceedings of the Fourteenth International Joint Conference on Artificial Intelligence (IJCAI-95), 1995, pp. 1550-1556.
35. K. Segerberg Belief revision from the point of view of doxastic logic Bulletin of the IGPL 3 1995 535 553
36. A. Herzig, and D. Longin Sensing and revision in a modal logic of belief and action F. can Harmelen, Proceedings of the Fifteenth European Conference on Artificial Intelligence 2002 IOS Press 307 311
37. H. van Ditmarsch, W. van der Hoek, and B. Kooi Dynamic Epistemic Logic Synthese Library vol. 337 2007 Springer
38. H.P. van Ditmarsch, A. Herzig, T.D. Lima, Optimal regression for reasoning about knowledge and actions, in: Proc. of the Twenty-Second AAAI Conference on Artificial Intelligence, Vancouver, British Columbia, Canada, July 22-26, 2007, pp. 1070-1076.
39. J.V. Benthem Dynamic logic for belief revision Journal of Applied Non-Classical Logics 17 2 2007 129 155
40. B. van Linder, W. van der Hoek, and J.-J.C. Meyer Actions that make you change your mind A. Laux, H. Wansing, Knowledge and Belief in Philosophy and Artificial Intelligence 1995 Akademie Verlag Berlin 103 146
41. M. Thielscher Representing the knowledge of a robot A. Cohn, F. Giunchiglia, B. Selman, Principles of Knowledge Representation and Reasoning: Proceedings of the Sixteenth Conference 2000 Morgan Kaufmann 109 120
42. M. Thielscher Introduction to the fluent calculus Electronic Transactions on Artificial Intelligence 2 3-4 1998 179 192
43. S. Shapiro, Y. Lespérance, and H.J. Levesque Specifying communicative multi-agent systems W. Wobcke, M. Pagnucco, C. Zhang, Agents and Multi-Agent Systems-Formalisms, Methodologies, and Applications LNAI vol. 1441 1998 Springer-Verlag Berlin 1 14