首页 | 本学科首页   官方微博 | 高级检索  
     

一种渐进式论辩语义的论证博弈模型
引用本文:魏斌. 一种渐进式论辩语义的论证博弈模型[J]. 计算机科学, 2017, 44(4): 256-262, 294
作者姓名:魏斌
作者单位:西南政法大学 重庆401120
基金项目:本文受重庆市教委科学技术项目(KJ1500103)资助
摘    要:在可计算论辩模型中,论辩语义的证明理论解决如何判定给定论辩语义中某个论证的证成状态的问题,这通常需要建构与之对应的论证博弈模型。论证博弈发生在正方和反方的论证交互过程中,正反双方都是通过给出攻击论证来质疑对方的论证和辩护己方的论证,正方只有在论证博弈中获胜才能使其初始论证获得确定的证成状态。文中定义了一种被称为BRD-论辩语义的渐进式论辩语义,不同于Dung的抽象论辩语义,它是在结构化论辩框架ASPIC+中嵌入了一种用于计算论证的强度和证成度的循环语义。为了给出该语义的证明理论,建构了与之对应的论证博弈模型。

关 键 词:结构化论辩框架  渐进式论辩语义  论证博弈
收稿时间:2016-11-22
修稿时间:2017-03-15

Argument Game Model for Gradual Argumentation Semantic
WEI Bin. Argument Game Model for Gradual Argumentation Semantic[J]. Computer Science, 2017, 44(4): 256-262, 294
Authors:WEI Bin
Affiliation:Southwest University of Political Science and Law,Chongqing 401120,China
Abstract:
Keywords:Structured argumentation framework  Gradual argumentation semantics  Argument game
点击此处可从《计算机科学》下载全文
设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号