An Abstract, Argumentation-Theoretic Approach to Default Reasoning

An abstract framework for default reasoning, which includes Theorist, default logic, logic programming, autoepistemic logic, non-monotonic modal logics, and certain instances of circumscription as special cases, is presented and a more liberal, argumentation-theoretic semantics is proposed, based upon the notion of admissible extension in logic programming.