Base Belief Change for finitary monotonic logics
Tipo de Publicación:
Conference PaperOrigen:
Current Topics in Artificial Intelligence, Springer, Número5988, p.82-92 (2010)Palabras clave:
base revision; partial meet revision operators; finitary monotonic logic; fuzzy Logic;Resumen:
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.
Proyectos:
