Belief contraction consists in retracting an agent's existing beliefs in a static environment, while belief erasure occurs in a changing environment where the erased beliefs are not anymore true after the environment has changed.
This article deals with the study of erasure within the framework of propositional logic. It extends Katsuno and Mendel- zon's approach with additional ...
Sep 1, 2022 · Our goal is to provide new contraction operators and new erasure operators that operate in various fragments of propositional logic (including, ...
We study the logical properties of reasonable refinement of two model-based contraction operators and two model-based erasure operators.
It extends Katsuno and Mendelzon's approach with additional postulates capturing the minimality of change and proposes two representation theorems for erasure ...
Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers. Sign up for an account to ...
People also ask
What is an example of a contradiction in propositional logic?
What is fallacy in propositional logic?
What is the denial of a statement called in propositional logic?
What is deduction in propositional logic?
Belief revision consists in incorporating a new belief, changing as few as possible of the original beliefs while preserving consistency. Within the symbolic ...
Missing: Erasure | Show results with:Erasure
We study the logical properties of reasonable refinement of two model-based contraction operators and two model-based erasure operators. Our approach is not ...
We plan to continue our study in exploring systematically other belief change operations, in particular belief erasure, which is to con- traction as update ...
Belief change within the framework of fragments of propositional logic is one of the main and recent challenges in the knowledge representation research area.