ASPIC-END: Structured Argumentation with Explanations and Natural Deduction
ASPIC-END: Structured Argumentation with Explanations and Natural Deduction
复制标题
ASPIC-END：带有解释和自然演绎的结构化论证
DOI：
--
复制
发表时间：
2017
期刊：
影响因子：
--
通讯作者：
M. Cramer
中科院分区：
文献类型：
--
作者：
Jérémie Dauphin;M. Cramer
我们提出了ASPIC-END，它是对结构化论证框架ASPIC+的改进，它可以结合解释和自然演绎风格的论点。我们讨论了一个关于语义悖论(如说谎者悖论)的论证的asic-end的实例化，我们证明了asic-end满足理性假设，类似于aspic+所满足的假设。
We propose ASPIC-END, an adaptation of the structured argumentation framework ASPIC+ which can incorporate explanations and natural deduction style arguments. We discuss an instantiation of ASPIC-END that models argumentation about explanations of semantic paradoxes (e.g. the Liar paradox), and we show that ASPIC-END satisfies rationality postulates akin to those satisfied by ASPIC+.