Abstract
We model the forgetting of propositional variables in a modal logical context where agents become ignorant and are aware of each others’ or their own resulting ignorance. The resulting logic is sound and complete. It can be compared to variable-forgetting as abstraction from information, wherein agents become unaware of certain variables: by employing elementary results for bisimulation, it follows that beliefs not involving the forgotten atom(s) remain true.
This is a preview of subscription content, log in via an institution to check access.
Similar content being viewed by others
References
Alchourrón C., Gärdenfors P., Makinson D. (1985) On the logic of theory change: Partial meet contraction and revision functions. Journal of Symbolic Logic 50: 510–530
Aucher, G., & Herzig, A. (2007). From DEL to EDL: Exploring the power of converse events. In K. Mellouli (Ed.), ECSQARU. Lecture notes in computer science (Vol. 4724, pp. 199–209). New York: Springer.
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 (TARK 98) (pp. 43–56).
Baltag, A., & Smets, S. (2006). Dynamic belief revision over multi-agent plausibility models. In Proceedings of LOFT 2006 (7th conference on logic and the foundations of game and decision rheory).
Baral C., Zhang Y. (2005) Knowledge updates: Semantics and complexity issues. Artificial Intelligence 164(1–2): 209–243
Blackburn, P., de Rijke, M., & Venema, Y. (2001). Modal logic. Cambridge tracts in theoretical computer science (Vol. 53). Cambridge: Cambridge University Press.
Boole G. (1854) An investigation of the laws of thought. Macmillan Publishers, Basingstoke
Eiter, T., & Wang, K. (2006). Forgetting and conflict resolving in disjunctive logic programming. In Proceedings of AAAI.
Erdem, E., & Ferraris, P. (2007). Forgetting actions in domain descriptions. In Proceedings of the twenty-second AAAI conference on artificial intelligence (pp. 409–414). AAAI Press.
Fagin R., Halpern J. (1988) Belief, awareness, and limited reasoning. Artificial Intelligence 34(1): 39–76
Fagin R., Halpern J., Moses Y., Vardi M. (1995) Reasoning about knowledge. MIT Press, Cambridge, MA
French, T. (2006). Bisimulation quantifiers for modal logic. Ph.D. thesis, University of Western Australia.
Gärdenfors P. (1988) Knowledge in flux: Modeling the dynamics of epistemic states. Bradford Books/MIT Press, Cambridge, MA
Gärdenfors, P. (1992). Belief revision. Cambridge tracts in theoretical computer science (Vol. 29). Cambridge: Cambridge University Press.
Harel, D., Kozen, D., & Tiuryn, J. (2000). Dynamic logic. Foundations of computing series. Cambridge, MA: MIT Press.
Herzig, A., Lang, J., & Marquis, P. (2003). Action representation and partially observable planning using epistemic logic. In Proceedings of IJCAI.
Lang J., Liberatore P., Marquis P. (2003) Propositional independence: Formula-variable independence and forgetting. Journal of Artificial Intelligence Research (JAIR) 18: 391–443
Liberatore P., Schaerf M. (1998) Arbitration (or how to merge knowledge bases). IEEE Transactions on Knowledge and Data Engineering 10(1): 76–90
Lin, F., & Reiter, R. (1994). Forget it! In Proceedings of AAAI fall symposium on relevance, New Orleans (pp. 154–159).
Pacuit E. (2007) Some comments on history-based structures. Journal of Applied Logic 5(4): 613–624
Parikh, R., & Ramanujam, R. (1985). Distributed processing and the logic of knowledge. In Logic of programs. Lecture notes in computer science (Vol. 193, pp. 256–268). New York: Springer. A newer version appeared in Journal of Logic, Language and Information, 12, 453–467 (2003).
Plaza, J. (1989). Logics of public communications. In M. Emrich, M. Pfeifer, M. Hadzikadic, & Z. Ras (Eds.), Proceedings of the 4th international symposium on methodologies for intelligent systems: Poster session program (pp. 201–216). Oak Ridge National Laboratory. ORNL/DSRD-24.
Sack, Y. (2007). Adding temporal logic to dynamic epistemic logic. Ph.D. thesis, Indiana University, Bloomington, USA.
Segerberg, K. (1999). Two traditions in the logic of belief: Bringing them together. In H. Ohlbach, & U. Reyle (Eds.), Logic, language, and reasoning (pp. 135–147). Dordrecht: Kluwer.
van Benthem, J., Gerbrandy, J., & Pacuit, E. (2007). Merging frameworks for interaction: DEL and ETL. In D. Samet (Ed.), Proceedings of TARK 2007 (pp. 72–81).
van Benthem J., van Eijck J., Kooi B. (2006) Logics of communication and change. Information and Computation 204(11): 1620–1662
van Ditmarsch H. (2005) Prolegomena to dynamic logic for belief revision. Synthese (Knowledge, Rationality & Action) 147: 229–275
van Ditmarsch, H., & French, T. (2009). Simulation and information. In J. Broersen, & J.-J. Meyer (Eds.), Proceedings of KRAMAS, Sydney. New York: Springer. (to appear). Also presented at LOFT 2008, Amsterdam.
van Ditmarsch H., Herzig A., Lang J., Marquis P. (2008) Introspective forgetting. In: Wobcke W., Zhang M. (eds) AI 2008: Advances in artificial intelligence. Springer, New York, pp 18–29 LNAI 5360
van Ditmarsch, H., & Kooi, B. (2008). Semantic results for ontic and epistemic change. In G. Bonanno, W. van der Hoek, & M. Wooldridge (Eds.), Logic and the foundations of game and decision theory (LOFT 7). Texts in logic and games 3 (pp. 87–117). Amsterdam: Amsterdam University Press.
van Ditmarsch, H., Ruan, J., & van der Hoek, W. (2007). Model checking dynamic epistemics in branching time. In (Informal) proceedings of FAMAS 2007, Durham, UK.
Visser, A. (1996). Bisimulations, model descriptions and propositional quantifiers. Logic group preprint series 161. Department of Philosophy, Utrecht University.
Wang, K., Sattar, A., & Su, K. (2005). A theory of forgetting in logic programming. In AAAI (pp. 682–688).
Winslett, M. (1991). Updating logical databases. Cambridge tracts in theoretical computer science (No. 9). Cambridge: Cambridge University Press.
Yap, A. (2006). Product update and looking backward. Technical report, University of Amsterdam. ILLC Research Report PP-2006-39.
Zhang, Y., Foo, N., & Wang, K. (2005). Solving logic program conflict through strong and weak forgettings. In Proceedings of IJCAI (pp. 627–634).
Zhang, Y., & Zhou, Y. (2008). Knowledge forgetting: Properties and applications (work in progress under submission).
Zhao, Y., Wang, K., Topor, R., Pan, J., & Giunchiglia, F. (2007). Semantic cooperation and knowledge reuse by using autonomous ontologies. In ISWC/ASWC (pp. 666–679).
Author information
Authors and Affiliations
Corresponding author
Additional information
The work for this publication was mainly carried out while Hans van Ditmarsch was associated to: Institut de Recherche en Informatique, Université Paul Sabatier, France.
Rights and permissions
About this article
Cite this article
van Ditmarsch, H., Herzig, A., Lang, J. et al. Introspective forgetting. Synthese 169, 405–423 (2009). https://doi.org/10.1007/s11229-009-9554-4
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s11229-009-9554-4