一种基于主体可信度的联合辩论框架

辩论框架是计算机利用辩论机制来解决实际问题的基础，如商务谈判、法律纠纷和劳动争议等。传统的辩论框架对辩论机制和论证方法作了具体的形式化描述，但忽略了辩论主体及其对辩论结果影响的描述，而且在辩论过程中一个论点通常需要多个论据的联合论证。针对以上问题，在传统辩论框架的基础上，提出了一种基于主体可信度的联合辩论框架(stuaf)。首先引入了辩论主体的概念，并对观点和论据之间的联合论证进行形式化定义;其次给出了完整的框架结构和语义描述，证明了该辩论框架满足dunk提出的标准辩论框架的基本定理;然后结合辩论树给出了语义计算的算法;最后给出一个具体的应用实例，实例分析表明si'uaf及其语义算法是有效的。