An argumentation-theoretic characterization of defeasible logic
Guido Governatori, Michael J. Maher · 2000
. Defeasible logic is an efficient non-monotonic logic that is defined only proof-theoretically. It has potential application in some legal domains. We present here an argumentation semantics for defeasible logic that will be useful in these applications. Our development differs at several points from existing argumentation frameworks since there are several features of defeasible logic that have not been addressed in the literature. 1 Introduction Defeasible logic is a practical non-monotonic logic. This logic, and similar logics, have been proposed as the appropriate language for executable regulations [3], contracts [20], and business rules [11]. There are several implementations of defeasible logic, each of which is capable of handling 100,000's of rules [4]. Although defeasible logic can be described informally in terms of arguments, the logic has been formalized in a proof-theoretic setting in which arguments play no role. In this paper we will provide an argumentation-theoret...