[full paper] |
Guido Governatori, Michael J. Maher
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.
Keywords: Nonmonotonic Reasoning, Knowledge Representation, Deduction
Citation: Guido Governatori, Michael J. Maher: An Argumentation-Theoretic Characterization of Defeasible Logic. In W.Horn (ed.): ECAI2000, Proceedings of the 14th European Conference on Artificial Intelligence, IOS Press, Amsterdam, 2000, pp.469-473.