An Abstract, Argumentation-Theoretic Approach to Default Reasoning (1997)
| Citations: | 125 - 18 self |
BibTeX
@MISC{Bondarenko97anabstract,,
author = {A. Bondarenko and P. M. Dung and R. A. Kowalski and F. Toni},
title = {An Abstract, Argumentation-Theoretic Approach to Default Reasoning},
year = {1997}
}
Years of Citing Articles
OpenURL
Abstract
We present 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. The framework can be understood as a generalisation of Theorist. The generalisation allows any theory formulated in a monotonic logic to be extended by a defeasible set of assumptions. An assumption can be defeated (or "attacked") if its "contrary" can be proved, possibly with the aid of other conflicting assumptions. We show that, given such a framework, the standard semantics of most logics for default reasoning can be understood as sanctioning a set of assumptions, as an extension of a given theory, if and only if the set of assumptions is conflict-free (in the sense that it does not attack itself) and it attacks every assumption not in the set. We propose a more liberal, argumentation-theoretic semantics, based upon the notion of admissible extension in logic pro...







