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

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. We generalize the approach of Katsuno and Mendelzon (KM) for characterizing AGM base revision from propositional logic to the setting of (multiple) base revision in arbitrary monotonic logics. Our core result is a representation theorem using the assignment of total - yet not transitive - "preference" relations to belief bases. We also provide a characterization of all logics for which our result can be strengthened to preorder assignments (as in KM's original work).


page 1

page 2

page 3

page 4


Semantic Characterizations of General Belief Base Revision

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

Dynamic Preference Logic meets Iterated Belief Change: Representation Results and Postulates Characterization

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

A New Approach for Revising Logic Programs

Belief revision has been studied mainly with respect to background logic...

On the Link between Partial Meet, Kernel, and Infra Contraction and its Application to Horn Logic

Standard belief change assumes an underlying logic containing full class...

Some logics of belief and disbelief

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

Optimal Belief Revision

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

Relevance Sensitive Non-Monotonic Inference on Belief Sequences

We present a method for relevance sensitive non-monotonic inference from...

Please sign up or login with your details

Forgot password? Click here to reset