-
题名一种基于主体可信度的联合辩论框架
- 1
-
-
作者
翟浩良
韩道军
李磊
-
机构
中山大学软件研究所
-
出处
《计算机科学》
CSCD
北大核心
2011年第11期179-186,共8页
-
基金
澳门科学技术发展基金(013/2010/A)
中国博士后科学基金(20100480806)资助
-
文摘
辩论框架是计算机利用辩论机制来解决实际问题的基础,如商务谈判、法律纠纷和劳动争议等。传统的辩论框架对辩论机制和论证方法作了具体的形式化描述,但忽略了辩论主体及其对辩论结果影响的描述,而且在辩论过程中一个论点通常需要多个论据的联合论证。针对以上问题,在传统辩论框架的基础上,提出了一种基于主体可信度的联合辩论框架(STUAF)。首先引入了辩论主体的概念,并对观点和论据之间的联合论证进行形式化定义;其次给出了完整的框架结构和语义描述,证明了该辩论框架满足Dung提出的标准辩论框架的基本定理;然后结合辩论树给出了语义计算的算法;最后给出一个具体的应用实例,实例分析表明STUAF及其语义算法是有效的。
-
关键词
辩论
主体可信度
联合论证
辩论框架
-
Keywords
Argument
Subject trustworthiness
Joint demonstration
Argumentation framework
-
分类号
TP301
[自动化与计算机技术—计算机系统结构]
-
-
题名一种基于时态的扩展值辩论框架
- 2
-
-
作者
翟浩良
李磊
赵淦森
-
机构
中山大学软件研究所
-
出处
《计算机工程与科学》
CSCD
北大核心
2010年第5期60-63,96,共5页
-
文摘
时间是用来描述辩论过程以及辩论活动变化的一个重要因素,在辩论框架中加入时间因素是积极的。本文结合Dung的标准辩论框架以及Bench-Capon的基于值的辩论框架,提出了基于时态的扩展值辩论框架。首先分析了Dung的辩论框架以及Bench-Capon的值辩论框架在时态以及辩论值方面描述的局限性及需求,然后结合这些需求提出了基于时态的扩展值辩论框架,给出了完整的框架结构和语义描述,证明了基于时态的扩展值辩论框架满足Dung提出的标准辩论框架的一些基本定理。
-
关键词
时态
辩论
辩论框架
-
Keywords
temporal
argument
argumentation framework
-
分类号
TP181
[自动化与计算机技术—控制理论与控制工程]
-
-
题名基于价值辩论框架的决策支持技术研究
- 3
-
-
作者
符一行
漆学田
姚莉
王炎娟
-
机构
国防科技大学信息系统工程重点实验室
-
出处
《计算机科学》
CSCD
北大核心
2011年第10期205-208,219,共5页
-
基金
国家自然科学基金(70971134)资助
-
文摘
在复杂、开放、不确定的环境中,决策者都面临着对行动方案进行论证与选择的难题。基于辩论的决策支持技术是近年来出现的不同于传统辅助决策理论的新方法,它使用论据辅助决策制定和解释决策的理由。首先总结分析了当前基于价值辩论框架的决策支持模型存在的不足与缺陷,提出了论据分类的思想,然后根据该思想设计了Ar-guDecision辩论决策控制算法,通过实现Smart Doctor医疗辅助决策,系统地验证了算法的可行性与有效性,从而探索出一种结合人类辩论思维方式与逻辑规律、由计算机辅助实现辩论决策过程的决策支持技术。
-
关键词
基于价值辩论框架
决策支持
论据分类
行动方案论据
论证方案论据
-
Keywords
Value-based argumentation framework
Decision support
Argument category
Action-argument
Evaluation-argument
-
分类号
TP18
[自动化与计算机技术—控制理论与控制工程]
-
-
题名基于动态规划的优先语义扩充求解算法
- 4
-
-
作者
熊才权
宗泽华
吴歆韵
-
机构
湖北工业大学计算机学院
-
出处
《计算机应用研究》
CSCD
北大核心
2022年第5期1343-1348,共6页
-
基金
国家自然科学基金资助项目(61075059,61902116)
国家重点研发计划资助项目(2017YFC1405403)
湖北工业大学绿色工业科技引领计划资助项目(CPYF2017008)。
-
文摘
抽象辩论框架中的优先语义是判断争议可接受程度的最重要语义。现有优先扩充求解方法多用标记映射求解,依赖于标记的定义、转换规则、相邻争议的标记。算法每次迭代会产生一个新的抽象辩论框架导致时间、空间复杂度较高。提出一种基于动态规划的优先扩充算法,在动态规划中加入争议可接受性判断,求出辩论框架中极大可容许集得到优先扩充。在基于随机抽象辩论框架与ICCMA提供的数据集进行实验,同Heureka、ArgSemSAT等算法进行对比。结果表明,求解相同数量的优先扩充,算法耗时较少,时间、空间复杂度有所降低。
-
关键词
抽象辩论框架
语义扩充
可容许集
优先扩充
-
Keywords
abstract argumentation framework
semantics extension
admissible set
preferred extension
-
分类号
TP312
[自动化与计算机技术—计算机软件与理论]
-
