模糊命题模态逻辑的Tableau方法

• 作者: 刘磊 吕帅 王强
• 来源期刊: 哈尔滨工程大学学报
• 学科: 工学
• 关键词: Tableau方法 模态逻辑 模糊命题模态逻辑 不确定推理 一致性检测 模糊断言集合
• 年，卷（期）: 2017,（6）
• 页码范围: 914-920
• 页数: 7页
• 分类号: TP181
• 字数: 8562字
• 语种: 中文
• DOI: 10.11990/jheu.201603080

摘要

为提高模糊命题模态逻辑(fuzzy propositional modal logic,FPML)的推理能力,本文将经典模态逻辑中的Tableau方法推广到FPML中,提出了基于FPML的Tableau规则并证明了其正确性,给出了模糊断言集合的约简策略;在此基础上给出了FPML中的不一致性和不一致估值的定义.最后给出基于Tableau方法的FPML的一致性检测方法TFPML和模糊断言集合的不一致估值计算方法CID,并证明了其正确性.实例分析表明,本文提出的方法是正确有效的.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	刘磊	吉林大学计算机科学与技术学院	211	1231	18.0	25.0
2	王强	吉林大学计算机科学与技术学院	81	415	12.0	17.0
3	吕帅	吉林大学计算机科学与技术学院	42	204	8.0	13.0