Introspective Forgetting

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.

[1]  Andreas Herzig,et al.  Action representation and partially observable planning using epistemic logic , 2003, IJCAI.

[2]  Peter Gärdenfors,et al.  Knowledge in Flux: Modeling the Dynamics of Epistemic States , 2008 .

[3]  Johan van Benthem,et al.  Merging Frameworks for Interaction , 2009, J. Philos. Log..

[4]  Tim French,et al.  Bisimulation quantifiers for modal logics , 2006 .

[5]  George Boole,et al.  An Investigation of the Laws of Thought: Frontmatter , 2009 .

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

[7]  C. E. Alchourrón,et al.  On the logic of theory change: Partial meet contraction and revision functions , 1985 .

[8]  Ramaswamy Ramanujam,et al.  A Knowledge Based Semantics of Messages , 2003, J. Log. Lang. Inf..

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

[10]  Abdul Sattar,et al.  A Theory of Forgetting in Logic Programming , 2005, AAAI.

[11]  Krister Segerberg,et al.  Two Traditions in the Logic of Belief: Bringing them Together , 1999 .

[12]  Kewen Wang,et al.  Forgetting and Conflict Resolving in Disjunctive Logic Programming , 2006, AAAI.

[13]  Yan Zhang,et al.  Knowledge forgetting: Properties and applications , 2009, Artif. Intell..

[14]  Marianne Winslett,et al.  Updating Logical Databases (Cambridge Tracts in Theoretical Computer Science) , 2004 .

[15]  W. Hoek,et al.  Dynamic Epistemic Logic , 2007 .

[16]  A. Visser.  Bisimulations, model descriptions and propositional quantifiers , 1996 .

[17]  Guillaume Aucher,et al.  Perspectives on belief and change , 2008 .

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

[19]  Michael Wooldridge,et al.  Logic and the Foundations of Game and Decision Theory - LOFT , 2009 .

[20]  Yan Zhang,et al.  Knowledge updates: Semantics and complexity issues , 2005, Artif. Intell..

[21]  Jerzy Tiuryn,et al.  Logics of Programs , 1991, Handbook of Theoretical Computer Science, Volume B: Formal Models and Sematics.

[22]  Joshua Sack,et al.  Adding temporal logic to dynamic epistemic logic , 2007 .

[23]  Peter Gärdenfors,et al.  Belief Revision: Contents , 1992 .

[24]  Ronald Fagin,et al.  Belief, Awareness, and Limited Reasoning. , 1987, Artif. Intell..

[25]  Zili Zhang,et al.  A generalized joint inference approach for citation matching , 2008 .

[26]  Johan van Benthem,et al.  Merging frameworks for interaction: DEL and ETL , 2007, TARK '07.

[27]  Ramaswamy Ramanujam,et al.  Proving Fairness of Schedulers , 1985, Logic of Programs.

[28]  Yde Venema,et al.  Dynamic Logic by David Harel, Dexter Kozen and Jerzy Tiuryn. The MIT Press, Cambridge, Massachusetts. Hardback: ISBN 0–262–08289–6, $50, xv + 459 pages , 2002, Theory and Practice of Logic Programming.

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

[30]  Jerzy Tiuryn,et al.  Dynamic logic , 2001, SIGA.

[31]  Uwe Reyle,et al.  Logic, Language and Reasoning , 1999 .

[32]  H. V. Ditmarsch.  Prolegomena to Dynamic Logic for Belief Revision , 2005 .

[33]  Marianne Winslett,et al.  Updating logical databases , 1990, Cambridge tracts in theoretical computer science.

[34]  Jan A. Plaza,et al.  Logics of public communications , 2007, Synthese.

[35]  Hans van Ditmarsch,et al.  Semantic results for ontic and epistemic change , 2006, ArXiv.

[36]  Fausto Giunchiglia,et al.  Semantic Cooperation and Knowledge Reuse by Using Autonomous Ontologies , 2007, ISWC/ASWC.

[37]  Eric Pacuit,et al.  Some comments on history based structures , 2007, J. Appl. Log..

[38]  Andreas Herzig,et al.  From DEL to EDL : Exploring the Power of Converse Events , 2007, ECSQARU.

[39]  J. Benthem,et al.  Logics of communication and change , 2006 .

[40]  Norman Y. Foo,et al.  Solving Logic Program Conflict through Strong and Weak Forgettings , 2005, IJCAI.

[41]  Marco Schaerf,et al.  Arbitration (or How to Merge Knowledge Bases) , 1998, IEEE Trans. Knowl. Data Eng..

[42]  Esra Erdem,et al.  Forgetting Actions in Domain Descriptions , 2007, AAAI.