Artificial argument assistants for defeasible argumentation
Artificial argument assistants for defeasible argumentation
复制标题
用于可废论证的人工论证助手
DOI：
10.1016/s0004-3702(03)00107-3
复制
发表时间：
2003
期刊：
影响因子：
--
通讯作者：
Bart Verheij
中科院分区：
文献类型：
--
作者：
Bart Verheij
本文讨论了实验性的论证辅助工具。与自动推理工具相比，它的目的不是取代推理，而是指导用户产生论点。提出了两个系统，争辩！和基于DefLog的ArguMed。重点放在可行的论证上，同时着眼于法律。作为辩证理论建构的法律适用，理所当然地与作为辩证理论建构的论据助手相对应。这些实验提供了对辩论助手设计的见解，并展示了不同呈现辩论数据的方式的利弊。作为系统基础的论证理论的发展已经在逻辑系统DefLog中达到顶峰，该系统正式地解释了表面上合理的假设。DefLog引入了表示支持和攻击的条件句的创新用法。这允许表达支持和攻击的逮捕令，使其成为一个透明和灵活的可废止的论证系统。
The present paper discusses experimental argument assistance tools. In contrast with automated reasoning tools, the objective is not to replace reasoning, but to guide the user's production of arguments. Two systems are presented, Argue! and ArguMed based on DefLog. The focus is on defeasible argumentation with an eye on the law. Argument assistants for defeasible argumentation naturally correspond to a view of the application of law as dialectical theory construction. The experiments provide insights into the design of argument assistants, and show the pros and cons of different ways of representing argumentative data. The development of the argumentation theories underlying the systems has culminated in the logical system DefLog that formalizes the interpretation of prima facie justified assumptions. DefLog introduces an innovative use of conditionals expressing support and attack. This allows the expression of warrants for support and attack, making it a transparent and flexible system of defeasible argumentation.