论文标题
一种用于论证构建的语义图表法
A Semantic Tableau Method for Argument Construction
论文作者
论文摘要
提出了一种语义图表方法，称为论证表，该法被提出了论证的推导。首先，解决了标准命题和谓词逻辑的参数的推导。接下来，提出了具有不稳定规则的推理的扩展名。最后，讨论了使用论证表的案件推理。
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.
