TitleBase Belief Change for Finitary Monotonic Logics
Publication TypeConference Paper
Year of Publication2009
AuthorsPardo P, Dellunde P, Godo L
Conference Name13th Conference of the Spanish Association for Artificial Intelligence, CAEPIA 2009
Conference LocationSevilla
Date Published09/11/2009

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 different behavior.