finitary monotonic logic

Base Belief Change for finitary monotonic logics

Publication Type:

Conference Paper

Authors:

Pere Pardo; Pilar Dellunde; Lluís Godo

Source:

Current Topics in Artificial Intelligence, Springer, Number 5988, p.82-92 (2010)

Keywords:

base revision; partial meet revision operators; finitary monotonic logic; fuzzy Logic;

Abstract:

We slightly improve on characterization results already in
the literature for base revision. We show that in order to axiomatically
characterize revision operators in a logic the only conditions this logic
is required to satisfy are: finitarity and monotonicity. A characterization
of limiting cases of revision operators, full meet and maxichoice, is also
offered. In the second part of the paper, as a particular case, we focus
on the class of graded fuzzy logics and distinguish two types of bases,
naturally arising in that context, exhibiting di?erent behavior.

Syndicate content