论证中的说服负担

本文为对话中的说服负担提供一种形式化模型，特别是在法律程序中。该模型展示了说服负担的分配如何能在辩证语境中诱导出单一结果，而在无此种分配时，冲突论证的状态将保持未决。我们的方法基于两阶段标注。第一阶段标注确定哪些论证被接受、拒绝或未决，而不论负担分配如何。第二阶段标注根据说服负担修订第一阶段未决论证的辩证状态。该标注最终被扩展以获得完整标注。我们的模型结合了在关于说服负担的辩论中出现的两个观念：说服负担决定论证间冲突的解决方案的观念，以及其满足依赖于相关论证的辩证状态的观念。我们的方法也处理了说服负担的倒置，即对一个论证的说服负担不延伸至其子论证的情况。