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

Tableau approach of fuzzy propositional modal logic

作　　者：刘磊[1] 王强[1] 吕帅[1,2] 

机构地区：[1]吉林大学计算机科学与技术学院,吉林长春130012 [2]吉林大学数学学院,吉林长春130012

出　　处：《哈尔滨工程大学学报》2017年第6期914-920,共7页Journal of Harbin Engineering University

基　　金：国家自然科学基金项目(61300049;61402195);教育部高等学校博士学科点专项科研基金项目(20120061120059);吉林省科技发展计划项目(20130206052GX;20140520069JH)

摘　　要：为提高模糊命题模态逻辑(fuzzy propositional modal logic,FPML)的推理能力,本文将经典模态逻辑中的Tableau方法推广到FPML中,提出了基于FPML的Tableau规则并证明了其正确性,给出了模糊断言集合的约简策略;在此基础上给出了FPML中的不一致性和不一致估值的定义。最后给出基于Tableau方法的FPML的一致性检测方法 TFPML和模糊断言集合的不一致估值计算方法 CID,并证明了其正确性。实例分析表明,本文提出的方法是正确有效的。In order to improve the reasoning ability of fuzzy propositional modal logic（ FPML）,we propose a tableau approach to FPML,including a reduction strategy and tableau rules based on FPML. We also propose a method known as tableau approach of fuzzy propositional modal logic（ TFPML） to check the consistency of FPML,and a computing method known as CID to determine the degree of inconsistency of a fuzzy assertion set. The soundness and completeness of these two methods are proven,and their correctness and effectiveness are illustrated.

关 键 词：TABLEAU方法 模态逻辑 模糊命题模态逻辑 不确定推理 一致性检测 模糊断言集合 

分 类 号：TP181[自动化与计算机技术—控制理论与控制工程]