Merging DEL and ETL. (English) Zbl 1216.03031
Summary: This paper surveys the interface between the two major logical trends that describe agents’ intelligent interaction over time: dynamic epistemic logic (DEL) and epistemic temporal logic (ETL). The initial attempt to “merge” DEL and ETL was made by J. van Benthem, J. Gerbrandy and E. Pacuit [“Merging frameworks for interaction: DEL and ETL”, manuscript (2007)], followed up by [J. van Benthem, J. Gerbrandy, T. Hoshi and E. Pacuit, J. Philos. Log. 38, No. 5, 491–526 (2009; Zbl 1185.03019)] and [T. Hoshi, Epistemic dynamics and protocol information. Ph.D. thesis, Stanford University (2009)]. The merged framework provides a systematic comparison between these two logical systems and studies new logics of intelligent interaction. This paper presents the main results and the recent developments at the interface between DEL and ETL.
Keywords:
intelligent interaction; reasoning about knowledge; dynamic epistemic logic; epistemic temporal logicCitations:
Zbl 1185.03019References:
| [1] | Aumann R. (1976) Agreeing to disagree. The Annals of Statistics 4(6): 1236–1239 · Zbl 0379.62003 · doi:10.1214/aos/1176343654 |
| [2] | Balbiani, P., Baltag, A., van Ditmarsch, H., Herzig, A., Hoshi, T., & de Lima (2008). ’knowable’ as ’known after an announcement’. Review of Symbolic Logic. · Zbl 1208.03019 |
| [3] | Baltag, A., Moss, L., & Solecki, S. (1998). The logic of public announcements, common knowledge and private suspicions. In I. Gilboa (Ed.), Proceedings of the 7th Conference on Theoretical Aspects of Rationality and Knowledge (pp. 43–56). · Zbl 1386.03019 |
| [4] | Baltag, A., & Smets, S. (2006). Dynamic belief revision over multi-agent plausibility models. In G. Bonanno, W. van der Hoek, & M. Wooldridge (Eds.), Logic and the Foundations of Game and Decision Theory: Proceedings of LOFT’06, Texts in Logic and Games. (pp. 11–24). Netherlands: Amsterdam University Press. |
| [5] | Bonanno G. (2007) Axiomatic characterization of the AGM theory of belief revision in a temporal logic. Artificial Intelligence 171(2–3): 144–160 · Zbl 1168.03317 · doi:10.1016/j.artint.2006.12.001 |
| [6] | Dégremont, C. (2009). Logics of information and interaction. Ph.D. thesis. Amsterdam: ILLC. |
| [7] | Dégremont, C., & Roy, O. (2009). Agreement theorems in dynamic-epistemic logic. In Logic, Rationality, and Interaction, Lecture Notes in Computer Science (vol. 5834, pp. 105–118). Berlin: Springer. · Zbl 1196.03018 |
| [8] | Fagin R., Halpern J. Y. (1988) Belief, awareness and limited reasoning. Artificial Intelligence 34: 39–76 · Zbl 0634.03013 · doi:10.1016/0004-3702(87)90003-8 |
| [9] | Fagin R., Halpern J., Moses Y., Vardi M. (1995) Reasoning about knowledge. Synthese library. MIT Press, Boston · Zbl 0839.68095 |
| [10] | Friedman N., Halpern J. (1997) Modeling belief in dynamic systems, part I: Foundations. Artificial Intelligence 95(2): 257–316 · Zbl 0894.68146 · doi:10.1016/S0004-3702(97)00040-4 |
| [11] | Gerbrandy, J. (1999). Bisimulations on planet kripke. Ph.D. thesis, ILLC. |
| [12] | Gerbrandy J., Groeneveld W. (1997) Reasoning about information change. Journal of Logic, Language, and Information 6: 147–169 · Zbl 0873.03029 · doi:10.1023/A:1008222603071 |
| [13] | Gierasimczuk N. (2009) Bridging learning theory and dynamic epistemic logic. Synthese 169(2): 371–384 · Zbl 1183.03012 · doi:10.1007/s11229-009-9549-1 |
| [14] | Halpern J., van der Meyden R., Vardi M. (2004) Complete axiomatizations for reasoning about knowledge and time. SIAM Journal of Computing 33(2): 674–703 · Zbl 1059.68127 · doi:10.1137/S0097539797320906 |
| [15] | Halpern J., Vardi M. (1989) The complexity of reasoning about knowledge and time. Journal of Computer and System Sciences 38: 195–237 · Zbl 0672.03015 · doi:10.1016/0022-0000(89)90039-1 |
| [16] | Hodkinson I., Reynolds M. (2006) Temporal logic. In: Blackburn P., van Benthem J., Wolter F. (eds) Handbook of modal logic. Elsevier, Amsterdam |
| [17] | Hoshi, T. (2009a). Epistemic dynamics and protocol information. Ph.D. thesis, Stanford University, Stanford, CA. Published in ILLC Dissertation Series. · Zbl 1243.12002 |
| [18] | Hoshi T. (2009b) Public announcement logic with protocol constraints. In: Kurzen L., Velázquez-Quesada F. R. (eds) Logics for dynamics of information and preferences. ILLC, Amsterdam, pp 181–214 |
| [19] | Hoshi, T., & Pacuit, E. (2009). A dynamic logic of knowledge and access. unpublished manuscript. · Zbl 1231.03015 |
| [20] | Hoshi T., Yap A. (2009) Dynamic epistemic logic with branching temporal structures. Synthese 169(2): 259–281 · Zbl 1184.03009 · doi:10.1007/s11229-009-9552-6 |
| [21] | Kooi, B., & Pacuit, E. Logics of rational interaction. In O. Roy, P. Girard, & M. Marion (Eds.), Dynamic epistemology: Contemporary perspectives. (to appear). · Zbl 1259.03011 |
| [22] | Parikh, R., & Ramanujam, R. (1985). Distributed processes and the logic of knowledge. InLogic of Programs, Lecture Notes in Computer Science (vol. 193, pp. 256–268). Berlin: Springer. · Zbl 0565.68025 |
| [23] | Parikh R., Ramanujam R. (2003) A knowledge based semantics of messages. Journal of Logic, Language, and Information 12: 453–467 · Zbl 1031.03021 · doi:10.1023/A:1025007018583 |
| [24] | Plaza, J. (1989). Logics of public announcements. In Proceedings of the 4th International Symposium on Methodologies for Intelligent Systems: Poster Session Program (pp. 201–216). |
| [25] | Renne, B., Sack, J., Yap, A. (2009). Dynamic epistemic temporal logic. In X. He, J. Horty, E. Pacuit (Eds.) Logic, Rationality, and Interaction, Second International Workshop, LORI 2009, Chongqing, China, October 8–11, 2009, Proceedings, Lecture Notes in Computer Science (Vol. 5834/2009, pp. 263–277). Berlin/Heidelberg: Springer. · Zbl 1196.03024 |
| [26] | van Benthem, J. (2002). One is lonely number: On the logic of communication. Technical Report PP-2002-27, University of Amsterdam. |
| [27] | van Benthem, J. (2006). One is a lonely number: On the logic of communication. Technical Report PP-2002-27, University of Amsterdam. · Zbl 1108.03011 |
| [28] | van Benthem J. (2007) Dynamic logic for belief revision. Journal of Applied Non-Classical Logics 17(2): 129–155 · Zbl 1186.03033 · doi:10.3166/jancl.17.129-155 |
| [29] | van Benthem, J., & Dégremont, C. (2008). Multi-agent belief dynamics: Building bridges between dynamic and temporal doxastic logics. Technical Report PP-2008-17, Institution for Logic, Language & Computation. · Zbl 1287.03042 |
| [30] | van Benthem, J., Gerbrandy, J., & Pacuit, E. (2007). Merging frameworks for interaction: DEL and ETL. · Zbl 1185.03019 |
| [31] | van Benthem J., Gerbrandy J., Hoshi T., Pacuit E. (2009). Merging frameworks for interaction. Journal of Philosophical Logic 38(5): 491–526 To appear. · Zbl 1185.03019 · doi:10.1007/s10992-008-9099-x |
| [32] | van Benthem J., Liu F. (2004) Diversity of logical agents in games. Philosophia Scientiae 8(2): 163–178 |
| [33] | van Benthem, J., Pacuit, E. (2006). The tree of knowledge in action: Towards a common perspective. In G. Governatori, I. Hodkinson, Y. Venema (Eds.) Proceedings of Advances in Modal Logic, Vol. 6. London: King’s College Press. · Zbl 1148.03009 |
| [34] | van Benthem J., van Eijck J., Kooi B.J. (2006). Logics of communication and change. Information and Computation 204(11):1620–1662. · Zbl 1120.03012 · doi:10.1016/j.ic.2006.04.006 |
| [35] | van Ditmarsch H., Ruan J., Verbrugge L. (2007) Sum and product in dynamic epistemic logic. Journal of Logic and Computation 18(4): 563–588 · Zbl 1150.03005 · doi:10.1093/logcom/exm081 |
| [36] | van Ditmarsch H., van der Hoek W., Kooi B. (2007) Dynamic epistemic logic, synthese library, Vol. 337. Springer, Berlin · Zbl 1156.03320 |
| [37] | Yap A. (2007) Dynamic epistemic logic and temporal modality. University of Victoria, Greater Victoria · Zbl 1260.03028 |
| [38] | Yu J. (2009) Formulaic events and local product models in dynamic epistemic logic. In: Kurzen L., Velázquez-Quesada F. R. (eds) Logics for dynamics of information and preferences. ILLC, Amsterdam, pp 280–303 |
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.
