Default assumptions and selection functions: A generic framework for non-monotonic logics

Abstract

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. © Springer-Verlag 2013.