[论文解读] Non-monotonic Reasoning in Deductive Argumentation
本文研究非单调推理与演绎论证之间的相互作用，表明即使使用经典逻辑等单调基逻辑，通过可废止规则和攻击关系也能支持非单调行为。研究证明，非单调性并非源于基逻辑本身，而是源于论证评估与反论证动态，其中默认逻辑和条件逻辑为建模论证系统中的可废止知识提供了有效框架。
Argumentation is a non-monotonic process. This reflects the fact that argumentation involves uncertain information, and so new information can cause a change in the conclusions drawn. However, the base logic does not need to be non-monotonic. Indeed, most proposals for structured argumentation use a monotonic base logic (e.g. some form of modus ponens with a rule-based language, or classical logic). Nonetheless, there are issues in capturing defeasible reasoning in argumentation including choice of base logic and modelling of defeasible knowledge. And there are insights and tools to be harnessed for research in non-monontonic logics. We consider some of these issues in this paper.
研究动机与目标
- 阐明非单调推理与演绎论证之间的关系，特别是在处理不完整或不一致信息的AI系统背景下的作用。
- 研究尽管使用经典逻辑或简单逻辑等单调基逻辑，非单调行为如何在演绎论证中产生。
- 考察非单调逻辑形式化方法（如默认逻辑和条件逻辑）如何被用于在结构化论证框架中建模可废止知识。
- 解决如何形式化可废止规则（例如“鸟类会飞”）的挑战，以反映现实世界中的不确定性、例外情况以及对“正常”或“多数”概念的不同解释。
提出的方法
- 在基逻辑（如经典逻辑或简单逻辑）上定义演绎论证框架，其中论证为⟨Φ, α⟩对，满足Φ ⊢ᵢ α。
- 应用带有异常谓词的可废止规则以建模例外情况，使得当推断出异常时，论证可被攻击或撤回。
- 引入默认逻辑作为形式化默认推理的机制，通过具有一致性与理由条件的默认规则，实现非单调推理。
- 使用条件逻辑表示可废止条件句（例如“若为鸟类，则通常会飞”），通过专门的语义避免反证推理等有问题的推论。
- 通过多种解释方式（如“大多数鸟类会飞”、“通常”或“典型”）建模可废止知识，以反映不同的现实世界推理情境。
- 使用具有攻击关系（如反驳、削弱）的论证框架，建模新信息如何在基逻辑单调的前提下撤回先前接受的结论。
实验结果
研究问题
- RQ1当底层基逻辑为单调时，非单调推理如何在演绎论证中产生？
- RQ2可废止规则在论证系统中如何促成非单调行为？它们又该如何被形式化？
- RQ3默认逻辑和条件逻辑如何与演绎论证结合，以支持可废止推理？
- RQ4对“可废止”不同解释（如“通常”、“大多数”、“典型”）如何影响论证系统中的形式化与推理？
- RQ5论证框架中单调的论证构建与非单调的评估之间有何区别？
主要发现
- 在演绎论证中，非单调性并非源于基逻辑，而是源于论证扩展的评估过程，即新增论证或反论证可使先前接受的结论失效。
- 即使使用经典逻辑等单调基逻辑，只要结合可废止规则与异常谓词，仍可支持非单调推理，使新证据出现时能够撤回原有推论。
- 默认逻辑通过允许可被冲突信息阻断的默认推论，为可废止推理提供正式机制，从而系统性地建模例外情况。
- 条件逻辑为表示可废止条件句（如“若为鸟类，则通常会飞”）提供灵活框架，其语义设计可避免反证推理等不当推论。
- 可废止规则可有多种解释方式（如“大多数”、“通常”或“典型”），不同解释需不同形式化方式，描述逻辑或概率逻辑可为此提供有力建模支持。
- 论证与反论证的构建过程是单调的（添加知识不会移除已有论证），但对某一扩展中哪些论证可接受的评估则是非单调的，这反映了现实世界推理的动态特征。
更好的研究，从现在开始
从阅读论文到最终审阅，大幅缩短您的研究时间。
无需绑定信用卡
本解读由 AI 生成，并经人工编辑审核。