基于逻辑论证理论的界面化逻辑游戏辅助平台

• 作者: 赛煜 宁锦来 刘东立
• 来源期刊: 信息技术与信息化
• 关键词: 论证框架 扩展语义 论证游戏 逻辑推理
• 年，卷（期）: 2021,（1）
• 所属期刊栏目: 计算机应用
• 页码范围: 137-139
• 页数: 3页
• 语种: 中文
• DOI: 10.3969/j.issn.1672-9528.2021.01.041

摘要

论证理论(argumentation theory)是一种对博弈过程的建模,在过去的几十年内持续吸引相关研究者的兴趣.只要在论证框架中选定一个需要逻辑推理的论述,论证游戏便可以建立一个由一系列的争论路径(dispute)所构成的争论树(dispute tree).通过检测争论树的是否存在制胜策略(winning strategy),论证游戏可以判断特定的扩展语义是否包含根节点.本项目提供了一个具有友好界面的论证游戏仿真系统,允许用户完成论证游戏的设置并生成争论树,同时检查制胜策略,实现了基于论证框架的可视化逻辑推理.