Dynamic Epistemic Logic for Implicit and Explicit Beliefs
- 557 Downloads
Epistemic logic with its possible worlds semantic model is a powerful framework that allows us to represent an agent’s information not only about propositional facts, but also about her own information. Nevertheless, agents represented in this framework are logically omniscient: their information is closed under logical consequence. This property, useful in some applications, is an unrealistic idealisation in some others. Many proposals to solve this problem focus on weakening the properties of the agent’s information, but some authors have argued that solutions of this kind are not completely adequate because they do not look at the heart of the matter: the actions that allow the agent to reach such omniscient state. Recent works have explored how acts of observation, inference, consideration and forgetting affect an agent’s implicit and explicit knowledge; the present work focuses on acts that affect an agent’s implicit and explicit beliefs. It starts by proposing a framework in which these two notions can be represented, and then it looks into their dynamics, first by reviewing the existing notion of belief revision, and then by introducing a rich framework for representing diverse forms of inference that involve both knowledge and beliefs.
KeywordsEpistemic logic Dynamic epistemic logic Knowledge Beliefs Belief revision Inference
The author thanks the organisers and the audiences of the Workshop on Theories of Information Dynamics and Interaction and their Application to Dialogue (TIDIAD’09) and the Third Workshop on Logics for Resource-Bounded Agents (LRBA-3) as well as the anonymous referees of those workshops and of this special issue; their comments and observations have greatly improved this paper. Special thanks go to the editors of this special issue for all their work and effort. The author also thanks Johan van Benthem for the illuminating ideas that started this project, and Hans van Ditmarsch for pointing out some flaws in old versions and for the many suggestions that have helped to make this work better.
- Ågotnes, T., & Alechina, N. (eds.). (2009). Special issue on logics for resource bounded agents. Journal of Logic, Language and Information, 18(1).Google Scholar
- Aliseda A (2006) Abductive reasoning. Logical investigations into discovery and explanation, synthese library series (vol. 330). Berlin: Springer.Google Scholar
- Baltag, A., Moss, L. S., & Solecki, S. (1999). The logic of public announcements, common knowledge and private suspicions. Tech. Rep. SEN-R9922, CWI, Amsterdam.Google Scholar
- Baltag, A., & Smets, S. (2008). A qualitative theory of dynamic interactive belief revision. In G. Bonanno, W. van der Hoek, & M. Wooldridge (Eds.), Logic and the foundations of game and decision theory (LOFT7), texts in logic and games (Vol. 3, pp. 13–60). The Netherlands: Amsterdam University Press Amsterdam.Google Scholar
- Blackburn, P., de Rijke, M., & Venema, Y. (2001) Modal logic. No. 53 in Cambridge tracts in theoretical computer science. New York, USA: Cambridge University Press.Google Scholar
- Drapkin, J. J., & Perlis, D. (1986). Step-logics: An alternative approach to limited reasoning. In Proceedings of the European conference on artificial intelligence (pp. 160–163), Brighton, England.Google Scholar
- Duc, H. N. (1995). Logical omniscience vs. logical ignorance. on a dilemma of epistemic logic. In C. A. Pinto-Ferreira, N. J. Mamede (Eds.), EPIA 1995, Lecture Notes in Computer Science (vol. 990, pp 237–248). Heilderberg: Springer.Google Scholar
- Duc, H. N. (2001). Resource-bounded reasoning about knowledge. PhD thesis, Institut für Informatik, Universität Leipzig, Leipzig, Germany.Google Scholar
- Gärdenfors, P. (Ed.). (1992). Belief revision. No. 29 in Cambridge tracts in theoretical computer science. Cambridge: Cambridge University Press.Google Scholar
- Gärdenfors, P., & Makinson, D. (1988). Revisions of knowledge systems using epistemic entrenchment. In M. Y. Vardi (Ed.), TARK II (pp. 83–95), Morgan Kaufmann.Google Scholar
- Gärdenfors, P., & Rott, H. (1994). Belief revision. Handbook of logic in artificial intelligence and logic programming, vol Volume 4: Epistemic and temporal logics (pp. 35–132). Oxford & New York: Oxford University Press.Google Scholar
- Gerbrandy, J, (1999), Bisimulations on planet kripke. PhD thesis, Institute for Logic, Language and Computation (ILLC), Universiteit van Amsterdam (UvA), Amsterdam, The Netherlands, ILLC Dissertation Series DS-1999-01.Google Scholar
- Grossi, D., & Velázquez-Quesada, F. R. (2009). Twelve angry men: A study on the fine-grain of announcements. In He et al. pp 147–160. doi: 10.1007/978-3-642-04893-7_12.
- Halpern, J. Y. (ed.). (1986). Proceedings of the 1st conference on theoretical aspects of reasoning about knowledge, Monterey, CA/ San Francisco, CA: Morgan Kaufmann.Google Scholar
- Harel, D., Kozen, D., & Tiuryn, J. (2000). Dynamic logic. Cambridge, MA: MIT Press.Google Scholar
- He, X., Horty, J. F., & Pacuit, E. (eds.). (2009). Proceedings of the logic, rationality, and interaction, second international workshop (LORI 2009), Chongqing, China, October 8–11, 2009. Lecture Notes in Computer Science (vol. 5834). Berlin: Springer. doi: 10.1007/978-3-642-04893-7.
- Hintikka, J. (1962). Knowledge and belief: An introduction to the logic of the two notions. Ithaca, NY: Cornell University Press.Google Scholar
- Holliday, W. H., & Icard, T. F. (2010). Moorean phenomena in epistemic logic. In L. Beklemishev, V. Goranko, & V. Shehtman (Eds.), Advances in modal logic (pp. 178–199), College Publications.Google Scholar
- Konolige, K. (1984). Belief and incompleteness. Tech. Rep. 319, SRI International.Google Scholar
- Lakemeyer, G. (1986). Steps towards a first-order logic of explicit and implicit belief. In Halpern (1986) (pp. 325–340).Google Scholar
- Lamarre, P. (1991). S4 as the conditional logic of nonmonotonicity. In J. F. Allen, R. Fikes, & E. Sandewall (Eds.), KR 91 (pp. 357–367). Cambridge, MA: Morgan Kaufmann.Google Scholar
- Levesque, H. J. (1984). A logic of implicit and explicit belief. In Proceedings of the AAAI-84 (pp. 198–202), Austin, TX.Google Scholar
- Lewis, D. (1973). Counterfactuals. Cambridge, MA: Blackwell.Google Scholar
- Plaza, J. A. (1989). Logics of public communications. In M. L. Emrich, M. S. Pfeifer, M. Hadzikadic, & Z. W. Ras (Eds.), Proceedings of the 4th international symposium on methodologies for intelligent systems, Oak Ridge National Laboratory (ORNL/DSRD-24) (pp. 201–216), Tennessee, USA.Google Scholar
- Rott, H. (2001). Change, choice and inference: A study of belief revision and nonmonotonic reasoning. No. 42 in Oxford Logic Guides, Oxford Science Publications.Google Scholar
- Segerberg, K. (2001). The basic dynamic doxastic logic of AGM. In Williams and Rott (2001) (pp. 57–84).Google Scholar
- van Benthem, J. (2008). Merging observation and access in dynamic logic. Journal of Logic Studies, 1(1), 1–17.Google Scholar
- van Ditmarsch, H., Herzig, A., Lang, J., & Marquis, P. (2009). Introspective forgetting. Synthese (Knowledge, Rationality and Action), 169(2), 405–423. doi: 10.1007/s11229-009-9554-4.
- van Ditmarsch, H., van der Hoek, W., & Kooi, B. (2007). Dynamic epistemic logic, synthese library series (vol. 337). Berlin: Springer.Google Scholar
- van Ditmarsch, H. P., & French, T. (2009). Awareness and forgetting of facts and agents. In Web intelligence/IAT workshops (pp. 478–483), IEEE. doi: 10.1109/WI-IAT.2009.330.
- van Eijck, J., & Wang, Y. (2008). Propositional dynamic logic as a logic of belief revision. In W. Hodges, R. J. G. B. de Queiroz (Eds.), WoLLIC, Lecture Notes in Computer Science (vol. 5110, pp. 136–148). Berlin: Springer. doi: 10.1007/978-3-540-69937-8_13.
- Vardi, M. Y. (1986). On epistemic logic and logical omniscience. In Halpern (1986) (pp. 293–305).Google Scholar
- Velázquez-Quesada, F. R. (2009a). Dynamic logics for explicit and implicit information. In He et al. (2009) (pp 325–326). doi: 10.1007/978-3-642-04893-7_31.
- Velázquez-Quesada, F. R. (2009b). Inference and update. Synthese (Knowledge, Rationality and Action), 169(2), 283–300. doi: 10.1007/s11229-009-9556-2.
- Velázquez-Quesada, F. R. (2011). Small steps in dynamics of information. PhD thesis, Institute for Logic, Language and Computation (ILLC), Universiteit van Amsterdam (UvA), Amsterdam, The Netherlands, ILLC Dissertation series DS-2011-02.Google Scholar
- Veltman, F. (1985). Logics for conditionals. PhD thesis, Universiteit van Amsterdam.Google Scholar
- Williams, M. A., & Rott, H. (eds.). (2001). Frontiers in belief revision, no. 22 in applied logic series. Dordrecht: Kluwer.Google Scholar