Introspective forgetting

Van-Ditmarsch, Hans; Herzig, Andreas; Lang, Jérôme; Marquis, Pierre

doi:10.1007/s11229-009-9554-4

Cited by 29 publications

(8 citation statements)

References 17 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…7 Raising awareness without disclosing truth By switching to partial valuations, raising awareness of a proposition p acts on models by extending the valuation function in such a way that p and ␣p become equally plausible for the agents. This implies that in our semantics, unlike previous work on awareness where raising awareness also unveiled truth values [9,14,15,18,22], raising awareness does not disclose truth. This was illustrated in Figure 12 in which agent b becomes aware of p without knowing the truth value of p, and agent a does not change her mind.…”

Section: Raising Private Awarenessmentioning

confidence: 74%

“…Reverse modalities and operations have been studied throughout the history of logic: the AGM model for belief revision considers expansion as well as contraction [1], temporal logics are defined in function of future and past modalities [36,37] and in other work on awareness both raising and forgetting modalities have been introduced [9,14,15,18]. Besides the theoretical motivation, there is also a practical motivation to study forgetting coming from multi-agent systems.…”

Section: Forgetting Awarenessmentioning

confidence: 99%

See 1 more Smart Citation

Raising awareness without disclosing truth

Berg

Atencia²,

Euzenat³

2022

Ann Math Artif Intell

View full text Add to dashboard Cite

Agents use their own vocabularies to reason and talk about the world. Public signature awareness is satisfied if agents are aware of the vocabularies, or signatures, used by all agents they may, eventually, interact with. Multi-agent modal logics and in particular Dynamic Epistemic Logic rely on public signature awareness for modeling information flow in multi-agent systems. However, this assumption is not desirable for dynamic and open multi-agent systems because (1) it prevents agents to use unique signatures other agents are unaware of, (2) it prevents agents to openly extend their signatures when encountering new information, and (3) it requires that all future knowledge and beliefs of agents are bounded by the current state.We propose a new semantics for awareness that enables us to drop public signature awareness. This semantics is based on partial valuation functions and weakly reflexive relations. Dynamics for raising public and private awareness are then defined in such a way as to differentiate between becoming aware of a proposition and learning its truth value. With this, we show that knowledge and beliefs are not affected through the raising operations.

show abstract

Section: Raising Private Awarenessmentioning

confidence: 74%

Section: Forgetting Awarenessmentioning

confidence: 99%

Raising awareness without disclosing truth

Berg

Atencia²,

Euzenat³

2022

Ann Math Artif Intell

View full text Add to dashboard Cite

show abstract

“…This kind of enforcement is probably the most studied throughout the literature on abstract argumentation, since the work of [9], as it has 11 The last type of action connects with a recent thoughtful study of the notion of forgetting an argument in the context of AFs [12]. Interestingly, we can capture within IAFs the distinction, made in [33], between forgetting-as-becoming-unaware (moving an argument from A F ∪ A ? to U \ (A F ∪ A ?…”

Section: Towards a General Theorymentioning

confidence: 97%

Qualitative uncertainty and dynamics of argumentation through dynamic logic

Yuste-Ginel

Herzig

2023

Journal of Logic and Computation

Self Cite

View full text Add to dashboard Cite

Dynamics and uncertainty are essential features of real-life argumentation, and many recent studies have focused on integrating both aspects into Dung’s well-known abstract argumentation frameworks (AFs). This paper proposes a combination of the two lines of research through a well-behaved logical tool: dynamic logic of propositional assignments (DL-PA). Our results show that the main reasoning tasks of virtually all existing formalisms qualitatively representing uncertainty about AFs are encodable in DL-PA. Moreover, the same tool is also useful for capturing dynamic structures, such as control AFs, as well as for developing more refined forms of argumentative communication under uncertainty.

show abstract

“…The hiding of knowledge from the intruder is closely related to forgetting the knowledge. Different ways of forgetting from the epistemic point of view have been discussed by van Ditmarsch et al [16]. They proposed a sound and complete logical system of propositional variable forgetting.…”

Section: Statement Cmentioning

confidence: 99%