基于逻辑论证理论的界面化逻辑游戏辅助平台
作者：赛煜1 宁锦来2 刘东立3
单位：1. 济南职业学院计算机学院2. 伦敦国王学院3. 山东省工业和信息化厅机关服务中心
论证理论(argumentation theory)是一种对博弈过程的建模,在过去的几十年内持续吸引相关研究者的兴趣。只要在论证框架中选定一个需要逻辑推理的论述,论证游戏便可以建立一个由一系列的争论路径(dispute)所构成的争论树(dispute tree)。通过检测争论树的是否存在制胜策略(winning strategy),论证游戏可以判断特定的扩展语义是否包含根节点。本项目提供了一个具有友好界面的论证游戏仿真系统,允许用户完成论证游戏的设置并生成争论树,同时检查制胜策略,实现了基于论证框架的可视化逻辑推理。
DOI：
关键词：
Array
所属期刊栏目：
学术研究_计算机应用
分类号：
TP18;TP317
页码：
137-139