TY - JOUR T1 - Default Assumptions and Selection Functions: A Generic Framework for Non-monotonic Logics JF - Proceedings of MICAI2013, Lecture Notes in Artificial Intelligence Y1 - 2013 A1 - Van De Putte, Frederik AB -

We investigate a generalization of so-called default-assumption consequence relations, obtained by replacing the consequence relation of classical logic with an arbitrary supraclassical, compact Tarski-logic, and using arbitrary selection functions on sets of sets of defaults. Both generalizations are inspired by various approaches in non-monotonic logic and belief revision. We establish some meta-theoretic properties of the resulting systems. In addition, we compare them with two other frameworks from the literature on non-monotonic logic, viz. adaptive logics and selection semantics.

VL - 8264 SP - 54-67 ER -