一种渐进式论辩语义的论证博弈模型

摘要：

在可计算论辩模型中,论辩语义的证明理论解决如何判定给定论辩语义中某个论证的证成状态的问题,这通常需要建构与之对应的论证博弈模型.论证博弈发生在正方和反方的论证交互过程中,正反双方都是通过给出攻击论证来质疑对方的论证和辩护己方的论证,正方只有在论证博弈中获胜才能使其初始论证获得确定的证成状态.文中定义了一种被称为BRD论辩语义的渐进式论辩语义,不同于Dung的抽象论辩语义,它是在结构化论辩框架ASPIC+中嵌入了一种用于计算论证的强度和证成度的循环语义.为了给出该语义的证明理论,建构了与之对应的论证博弈模型.

关键词：结构化论辩框架、渐进式论辩语义、论证博弈

所属期刊栏目：44

分类号：TP18(自动化基础理论)

资助基金：重庆市教委科学技术项目KJ1500103

在线出版日期：2017-05-16（万方平台首次上网日期，不代表论文的发表时间）

页数：共8页

页码：256-262,294