Forgetting complex propositions

DOI10.1093/JIGPAL/JZV049zbMATH Open1405.03039arXiv1507.01111OpenAlexW2964027989MaRDI QIDQ4644607FDOQ4644607

Authors: David Fernández-Duque, Enrique Sarrión-Morrillo, Fernando Soler-Toscano, Ángel Nepomuceno-Fernández, Fernando Raymundo Velázquez-Quesada 

Publication date: 8 January 2019

Published in: Logic Journal of the IGPL (Search for Journal in Brave)

Abstract: This paper uses possible-world semantics to model the changes that may occur in an agent's knowledge as she loses information. This builds on previous work in which the agent may forget the truth-value of an atomic proposition, to a more general case where she may forget the truth-value of a propositional formula. The generalization poses some challenges, since in order to forget whether a complex proposition $pi$ is the case, the agent must also lose information about the propositional atoms that appear in it, and there is no unambiguous way to go about this. We resolve this situation by considering expressions of the form $$, which quantify over all possible (but minimal) ways of forgetting whether $pi$. Propositional atoms are modified non-deterministically, although uniformly, in all possible worlds. We then represent this within action model logic in order to give a sound and complete axiomatization for a logic with knowledge and forgetting. Finally, some variants are discussed, such as when an agent forgets $pi$ (rather than forgets whether $pi$) and when the modification of atomic facts is done non-uniformly throughout the model.

Full work available at URL: https://arxiv.org/abs/1507.01111

Recommendations

• Knowledge forgetting: properties and applications
• Introspective forgetting
• You can't always forget what you want: on the limits of forgetting in answer set programming
• A knowledge level account of forgetting
• Forgetting in multi-agent modal logics

zbMATH Keywords

theory contractiondynamic epistemic logicknowledge representationforgettingaction models

Mathematics Subject Classification ID

Logics of knowledge and belief (including belief change) (03B42)

Cited In (6)

• Belief base: a minimal logic of fine-grained information dynamics
• On a general concept of forgetting
• Mathematical model of plasmon nanolaser resonator accounting for the non-local effect
• Knowledge forgetting: properties and applications
• Rethinking epistemic logic with belief bases
• Introspective forgetting

This page was built for publication: Forgetting complex propositions

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4644607)