Forgetting Formulas and Signature Elements in Epistemic States
A. Becker, G. Kern-Isberner, K. Sauerwald, C. Beierle

TL;DR
This paper unifies Delgrande's syntactic forgetting with marginalisation in epistemic states, showing marginalisation as a specific, informative forgetting operator, and highlights fundamental differences between forgetting syntax and belief contraction.
Contribution
It extends Delgrande's axioms of forgetting to epistemic states and demonstrates that marginalisation is the most specific operator satisfying these axioms.
Findings
Marginalisation can be viewed as an extension of Delgrande's forgetting to epistemic states.
Forgetting formulas via Delgrande's approach leads to trivial methods.
Forgetting syntax elements is fundamentally different from belief contraction.
Abstract
Delgrande's knowledge level account of forgetting provides a general approach to forgetting syntax elements from sets of formulas with links to many other forgetting operations, in particular, to Boole's variable elimination. On the other hand, marginalisation of epistemic states is a specific approach to actively reduce signatures in more complex semantic frameworks, also aiming at forgetting atoms that is very well known from probability theory. In this paper, we bring these two perspectives of forgetting together by showing that marginalisation can be considered as an extension of Delgrande's approach to the level of epistemic states. More precisely, we generalize Delgrande's axioms of forgetting to forgetting in epistemic states, and show that marginalisation is the most specific and informative forgetting operator that satisfies these axioms. Moreover, we elaborate suitable…
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsLogic, Reasoning, and Knowledge · Topic Modeling · Epistemology, Ethics, and Metaphysics
