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]  W. van der Hoek,et al.  Model checking dynamic epistemics in branching time , 2007 .

[2]  P G rdenfors,et al.  Knowledge in flux: modeling the dynamics of epistemic states , 1988 .

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

[4]  A. Baltag,et al.  Dynamic Belief Revision over Multi-Agent Plausibility Models , 2006 .

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

[6]  Richard Spencer-Smith,et al.  Modal Logic , 2007 .

[7]  Jan van Eijck,et al.  Logics of communication and change , 2006, Inf. Comput..

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

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

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

[11]  Peter Gärdenfors,et al.  On the logic of theory change: Partial meet contraction and revision functions , 1985, Journal of Symbolic Logic.

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

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

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

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

[16]  Bernhard Beckert,et al.  Dynamic Logic , 2007, The KeY Approach.

[17]  Eduardo L. Fermé,et al.  Belief Revision , 2007, Inteligencia Artif..

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

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

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

[21]  Hans van Ditmarsch,et al.  Prolegomena to Dynamic Logic for Belief Revision , 2005, Synthese.

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

[23]  R. Reiter,et al.  Forget It ! , 1994 .

[24]  Jelle Gerbrandy,et al.  Dynamic epistemic logic , 1998 .

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

[26]  Gabriel M. Kuper,et al.  Updating Logical Databases , 1986, Adv. Comput. Res..

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

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

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

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

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

[32]  Valentin Goranko,et al.  Nicholas Rescher, Paradoxes: Their Roots, Range, and Resolution; Patrick Blackburn, Maarten de Rijke and Yde Venema, Modal Logic, Cambridge Tracts in Theoretical Computer Science Vol. 53 , 2004, Stud Logica.

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

[34]  Andreas Herzig,et al.  Introspective Forgetting , 2008, Australasian Conference on Artificial Intelligence.

[35]  Ramaswamy Ramanujam,et al.  Distributed Processes and the Logic of Knowledge , 1985, Logic of Programs.

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

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

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