Introspective forgetting
type: Item
instance of: scholarly article
title: Introspective forgetting
zbMATH Open document ID: 1180.03018
author: Andreas Herzig
author: Jérôme Lang
author: Pierre Marquis
author: Hans van Ditmarsch
published in: Synthese
publication date: 2009-11-04T00:00:00Z
full work available at URL: https://basepub.dauphine.fr/handle/123456789/12688
review text: The starting point for this investigation is a paper of \textit{J. Lang, P. Liberatore} and \textit{P. Marquis} [``Propositional independence: formula-variable independence and forgetting'', J. Artif. Intell. Res. (JAIR) 18, 391--443 (2003; Zbl 1056.68112)]. There, the notion of `forgetting' an elementary letter in a formula of classical propositional logic was given three different definitions, which were shown to be equivalent. The paper under review explores ways of extending those definitions to languages that are modalized to express belief. It begins by considering standard modal logics with belief as a box operator determined by a Kripke structure, only to conclude that in this context all three kinds of definition lead to counter-intuitive results. The authors then turn to modeling the notion as an event in dynamic epistemic logic. For simplicity, this is done for the case of a single elementary letter forgotten by a single agent, although a generalization to the multi-agent case is sketched and the multi-letter extension is said to be straightforward. Semantics and axiomatics are given in this framework for `introspective forgetting', with soundness and completeness theorems established and the relation to `unawareness forgetting' discussed.
reviewed by: David Makinson
Mathematics Subject Classification ID: 03B42
Mathematics Subject Classification ID: 03B45
Mathematics Subject Classification ID: 68T27
zbMATH DE Number: 5625281
zbMATH Keywords: forgetting
zbMATH Keywords: modal logic
zbMATH Keywords: dynamic epistemic logic
zbMATH Keywords: abstraction
zbMATH Keywords: action logic
zbMATH Keywords: belief change
MaRDI profile type: Publication
OpenAlex ID: W4206497302
cites work: On the logic of theory change: Partial meet contraction and revision functions
cites work: From DEL to EDL: Exploring the Power of Converse Events
cites work: The Logic of Public Announcements, Common Knowledge, and Private Suspicions
cites work: Conditional Doxastic Models: A Qualitative Approach to Dynamic Belief Revision
cites work: Knowledge updates: Semantics and complexity issues
cites work: Modal logic
cites work: Q3069694
cites work: Belief, awareness, and limited reasoning
cites work: Q4845472
cites work: μ-programs, uniform interpolation and bisimulation quantifiers for modal logics ★
cites work: Q3107917
cites work: Q4525781
cites work: Q4411161
cites work: Some comments on history based structures
cites work: Q3680260
cites work: Q4946225
cites work: Logics of communication and change
cites work: Prolegomena to dynamic logic for belief revision
cites work: Simulation and Information: Quantifying over Epistemic Events
cites work: Q4648829
DOI: 10.1007/S11229-009-9554-4
Recommended article: A Knowledge Level Account of Forgetting
Recommended article: Forgetting complex propositions
Recommended article: Knowledge forgetting: properties and applications
Recommended article: Bounds to memory loss
Recommended article: Kinds and Aspects of Forgetting in Common-Sense Knowledge and Belief Management
Recommended article: Forgetting for Defeasible Logic
Recommended article: From forgetting signature elements to forgetting formulas in epistemic states
Recommended article: Dynamic epistemic logic for implicit and explicit beliefs
Recommended article: Forgetting in multi-agent modal logics
description: scientific article; zbMATH DE number 5625281