Semantic Characterizations of General Belief Base Revision

by   Faiq Miftakhul Falakh, et al.

The AGM postulates by Alchourrón, Gärdenfors, and Makinson continue to represent a cornerstone in research related to belief change. Katsuno and Mendelzon (K M) adopted the AGM postulates for changing belief bases and characterized AGM belief base revision in propositional logic over finite signatures. We generalize K M's approach to the setting of (multiple) base revision in arbitrary Tarskian logics, covering all logics with a classical model-theoretic semantics and hence a wide variety of logics used in knowledge representation and beyond. Our generic formulation applies to various notions of "base" (such as belief sets, arbitrary or finite sets of sentences, or single sentences). The core result is a representation theorem showing a two-way correspondence between AGM base revision operators and certain "assignments": functions mapping belief bases to total - yet not transitive - "preference" relations between interpretations. Alongside, we present a companion result for the case when the AGM postulate of syntax-independence is abandoned. We also provide a characterization of all logics for which our result can be strengthened to assignments producing transitive preference relations (as in K M's original work), giving rise to two more representation theorems for such logics, according to syntax dependence vs. independence.


page 1

page 2

page 3

page 4


A General Katsuno-Mendelzon-Style Characterization of AGM Belief Base Revision for Arbitrary Monotonic Logics

The AGM postulates by Alchourrón, Gärdenfors, and Makinson continue to r...

Bringing Belief Base Change into Dynamic Epistemic Logic

AGM's belief revision is one of the main paradigms in the study of belie...

Choice Revision

Choice revision is a sort of non-prioritized multiple belief revision, i...

Optimal Belief Revision

We propose a new approach to belief revision that provides a way to chan...

Some logics of belief and disbelief

The introduction of explicit notions of rejection, or disbelief, into lo...

Logics of Dependence and Independence: The Local Variants

Modern logics of dependence and independence are based on team semantics...

Distributing Knowledge into Simple Bases

Understanding the behavior of belief change operators for fragments of c...

Please sign up or login with your details

Forgot password? Click here to reset