Argument systems are based on the idea that one can construct arguments for
propositions; i.e., structured reasons justifying the belief in a proposition.
Using defeasible rules, arguments need not be valid in all circumstances,
therefore, it might be possible to construct an argument for a proposition as
well as its negation. When arguments support conflicting propositions, one of
the arguments must be defeated, which raises the question of \emph{which
(sub-)arguments can be subject to defeat}?
In legal argumentation, meta-rules determine the valid arguments by
considering the last defeasible rule of each argument involved in a conflict.
Since it is easier to evaluate arguments using their last rules, \emph{can a
conflict be resolved by considering only the last defeasible rules of the
arguments involved}?
We propose a new argument system where, instead of deriving a defeat relation
between arguments, \emph{undercutting-arguments} for the defeat of defeasible
rules are constructed. This system allows us, (\textit{i}) to resolve conflicts
(a generalization of rebutting arguments) using only the last rules of the
arguments for inconsistencies, (\textit{ii}) to determine a set of valid
(undefeated) arguments in linear time using an algorithm based on a JTMS,
(\textit{iii}) to establish a relation with Default Logic, and (\textit{iv}) to
prove closure properties such as \emph{cumulativity}. We also propose an
extension of the argument system that enables \emph{reasoning by cases}.

建议了一种使用反驳规则构建抵消参数系统进行冲突解决的方法，并提出了能够进行分析且具有封闭性质的系统扩展。

论解决论证冲突

On resolving conflicts between arguments

A semantic tableau method, called an argumentation tableau, that enables the
derivation of arguments, is proposed. First, the derivation of arguments for
standard propositional and predicate logic is addressed. Next, an extension
that enables reasoning with defeasible rules is presented. Finally, reasoning
by cases using an argumentation tableau is discussed.

本文提出了一种语义分析方法，称为 “论证图”，可以推导出论据，首先阐述了标准命题和谓词逻辑的论据推导方法，其次介绍了一种扩展技术，可以推导具有缺陷的规则，并探讨了使用论证图进行案例推理的论据推导方法。