抽象辩论框架和基于假设的辩论框架的比较和应用介绍

摘要

抽象辩论框架和基于假设的辩论框架是最有名、最基础的辩论两种辩论框架,本文介绍了这两个框架及其关系,对比了其不同之处,介绍了用来计算可接受信念和理想信念的AB-辩论推导(admissible beliefs dispute derivation)及IB-辩论推导(ideal beliefs dispute derivation),并给出具体实例.另外,介绍了一个建立在基于假设的辩论框架之上的辩论系统CaSAPI 3.0,此系统提出了基于ABF的结构化的AB-辩论推导树.这两种框架以及改进的框架会对后来的研究者构建论据和建立辩论系统产生指导性的作用.