《演绎联合支持用于理性无限制反驳》技术报告

在 ASPIC 式结构化论证中，一个论证可通过攻击结论来反驳另一论证。已提出两种形式化反驳的方式：在限制反驳中，被攻击的结论必须是由可废规则得出的；而在无限制反驳中，只要该严格规则的前件中至少有一个本身是可废的，结论也可由严格规则得出。选择结构化论证框架各种可能定义的一种系统性方法是研究哪些定义满足哪些理性公设，例如闭包公设是否成立，即所接受结论在严格规则下是否封闭。无限制反驳的提议虽有若干益处，但面临闭包公设仅对根基语义成立、而在应用其他论证语义时失效的问题；而限制反驳则始终满足闭包公设。本文我们提出，ASPIC 式论证不仅可追踪论证间的攻击关系，还可追踪演绎联合支持关系——即一组论证与由该组经严格规则构造出的论证间的关系。通过在确定外延时考虑此演绎联合支持关系，无限制反驳在所有基于可容性的语义下均满足闭包公设。我们通过扁平化方法定义演绎联合支持的语义。