论文信息 - A Combined System for Update Logic and Belief Revision

A Combined System for Update Logic and Belief Revision

In this paper we propose a logical system combining the update logic of A. Baltag, L. Moss and S. Solecki (to which we will refer to by the generic term BMS, [BMS04]) with the belief revision theory as conceived by C. Alchouron, P. Gardenfors and D. Mackinson (that we will call the AGM theory, [GardRott95]) viewed from the point of view of W. Spohn ([Spohn90,Spohn88]). We also give a proof system and a comparison with the AGM postulates.

Guillaume Aucher | Guillaume Aucher

[1] A. Baltag,et al. Logics for epistemic programs , 2004 .

[2] Johan van Benthem,et al. "ONE IS A LONELY NUMBER": LOGIC AND COMMUNICATION , 2006 .

[3] William Harper,et al. Causation in decision, belief change, and statistics , 1988 .

[4] Johan van Benthem,et al. Conditional Probability Meets Update Logic , 2003, J. Log. Lang. Inf..

[5] M. de Rijke,et al. Modal Logic , 2001, Cambridge Tracts in Theoretical Computer Science.

[6] Ronald Fagin,et al. Reasoning about knowledge , 1995 .

[7] J. Benthem. One is a Lonely Number: on the logic of communication , 2003 .

[8] Wolfgang Spohn,et al. A general non-probabilistic theory of inductive reasoning , 2013, UAI.

[9] Andrew P. Sage,et al. Uncertainty in Artificial Intelligence , 1987, IEEE Transactions on Systems, Man, and Cybernetics.

[10] Lawrence S. Moss,et al. The Logic of Public Announcements and Common Knowledge and Private Suspicions , 1998, TARK.

[11] Wolfgang Spohn,et al. Ordinal Conditional Functions: A Dynamic Theory of Epistemic States , 1988 .

[12] Dov M. Gabbay,et al. Handbook of logic in artificial intelligence and logic programming (vol. 1) , 1993 .

[13] Peter Gärdenfors,et al. Belief Revision , 1995 .