×

Dynamic logic for belief revision. (English) Zbl 1186.03033

Summary: We show how belief revision can be treated systematically in the format of dynamic epistemic logic when operators of conditional belief are added. The core engine consists of definable update rules for changing plausibility relations between worlds, which have been proposed independently in the dynamic-epistemic literature on preference change. Our analysis yields two new types of modal results. First, we obtain complete logics for concrete mechanisms of belief revision, based on compositional reduction axioms. Next, we show how various abstract postulates for belief revision can be analyzed by standard modal frame correspondences for model-changing operations.

MSC:

03B42 Logics of knowledge and belief (including belief change)
68T27 Logic in artificial intelligence
PDFBibTeX XMLCite
Full Text: DOI

References:

[1] Aucher G., A Combination System for Update Logic and Belief Revision (2003)
[2] Baltag A., Proceedings of the 7th Conference on Theoretical Aspects of Rationality and Knowledge (TARK 98) pp 43–
[3] Baltag A., Proceedings of the 7th Conference on Logic and the Foundations of Game and Decision Theory (LOFT 06) (2006)
[4] Baltag A., Proceedings of the Workshop on Rationality and Knowledge
[5] Barwise J., Journal of Symbolic Logic 64 (2) pp 881– (1999) · Zbl 0930.03040 · doi:10.2307/2586507
[6] Belnap N., Facing the Future (2001)
[7] Boutilier C., Artificial Intelligence 68 pp 87– (1994) · Zbl 0811.68114 · doi:10.1016/0004-3702(94)90096-5
[8] DOI: 10.1007/978-94-009-6259-0_2 · doi:10.1007/978-94-009-6259-0_2
[9] Fagin R., Reasoning about Knowledge (1995)
[10] Fagin R., Advances in Computing Research pp 1– (1986)
[11] Gärdenfors P., Knowledge in Flux (1987)
[12] Gärdenfors P., Handbook of Logic in Artificial Intelligence and Logic Programming 4 (1995) · Zbl 0819.03010
[13] Gerbrandy J., Bisimulations on Planet Kripke (1999)
[14] DOI: 10.3166/jancl.17.213-229 · Zbl 1186.03029 · doi:10.3166/jancl.17.213-229
[15] Kelly K., The Logic of Reliable Inquiry (1996) · Zbl 0910.03023
[16] DOI: 10.3166/jancl.17.231-253 · Zbl 1185.03014 · doi:10.3166/jancl.17.231-253
[17] Lewis D., Counterfactuals (1973)
[18] Lindstrom S., Handbook of Modal Logic (2006)
[19] List C., Synthese 140 pp 207– (2004) · Zbl 1205.03009 · doi:10.1023/B:SYNT.0000029950.50517.59
[20] Liu F., Proceedings of the Workshop on Logics for Resource Bounded Agents
[21] Liu F., Proceedings of the 7th Conference on Logic and the Foundations of Game and Decision Theory (LOFT 06)
[22] Lutz C., Proceedings of the Fifth International Conference on Autonomous Agents andMultiagent Systems (AAMAS06)
[23] Maynard-Reid P., Proceedings of LOFT- 98 (1998)
[24] Miller J., Studia Logica 97 (3) pp 373– (2005) · Zbl 1088.03016 · doi:10.1007/s11225-005-3612-9
[25] Parikh R., Journal of Logic, Language and Information 12 pp 453– (2003) · Zbl 1031.03021 · doi:10.1023/A:1025007018583
[26] Plaza J. A., Proceedins 4th International Symposium on Methodologies for Intelligent Systems (1989)
[27] Rott H., Modality Matters: Twenty-Five Essays in Honour of Krister Segerberg 53 pp 359– (2006)
[28] Segerberg K., Bulletin of the IGPL 3 pp 534– (1995) · Zbl 0844.03015 · doi:10.1093/jigpal/3.4.535
[29] Segerberg K., Notre Dame Journal of Formal Logic 39 pp 287– (1998) · Zbl 0972.03015 · doi:10.1305/ndjfl/1039182247
[30] Segerberg K., Erkenntnis 50 pp 333– (1999) · Zbl 0956.03019 · doi:10.1023/A:1005546526502
[31] Shoham Y., Reasoning About Change: Time and Change from the Standpoint of Artificial Intelligence (1988)
[32] Spohn W., Causation in Decision, Belief Change and Statistics II pp 105– (1988) · doi:10.1007/978-94-009-2865-7_6
[33] van Benthem J., Logic Colloquium, Granada 1987 pp 331–
[34] van Benthem J., Meaning: the Dynamic Turn pp 15– (2003)
[35] van Benthem J., Logic Colloquium ’02 pp 96–
[36] van Benthem J., Mathematical Problems from Applied Logics (2006)
[37] van Benthem J., Ceteris Paribus Preference Logic (2006)
[38] van Benthem J., Philosophia Scientiae 8 (2) pp 163– (2004) · doi:10.4000/philosophiascientiae.571
[39] DOI: 10.3166/jancl.17.157-182 · Zbl 1186.03034 · doi:10.3166/jancl.17.157-182
[40] van Benthem J., Proceedings Advances in Modal Logic · Zbl 0993.03021
[41] van Benthem J., Changing Preferences (1993)
[42] van Benthem J., Information and Computation 204 (11) pp 1620– (2006) · Zbl 1120.03012 · doi:10.1016/j.ic.2006.04.006
[43] van Benthem J., Modality Matters: Twenty-Five Essays in Honour of Krister Segerberg pp 61– (2006)
[44] van Ditmarsch H., Knowledge, Rationality & Action (Synthese) 147 pp 229– (2005)
[45] van Ditmarsch H., Dynamic Epistemic Logic, vol. 337 of Synthese Library (2007) · Zbl 1156.03015 · doi:10.1007/978-1-4020-5839-4
[46] Veltman F., Logics for Conditionals (1985)
[47] DOI: 10.1007/BF00248150 · Zbl 0860.03025 · doi:10.1007/BF00248150
[48] Yamada T., Proceedings 7th International Workshop on Computational Logic in Multi-Agent Systems (CLIMA VII)
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.