%0 Journal Article
%T 模糊命题模态逻辑的Tableau方法
%A 刘磊
%A 王强
%A 吕帅
%J 哈尔滨工程大学学报
%D 2017
%R 10.11990/jheu.201603080
%X 为提高模糊命题模态逻辑（fuzzy propositional modal logic，FPML）的推理能力，本文将经典模态逻辑中的Tableau方法推广到FPML中，提出了基于FPML的Tableau规则并证明了其正确性，给出了模糊断言集合的约简策略；在此基础上给出了FPML中的不一致性和不一致估值的定义。最后给出基于Tableau方法的FPML的一致性检测方法TFPML和模糊断言集合的不一致估值计算方法CID，并证明了其正确性。实例分析表明，本文提出的方法是正确有效的。
%K Tableau方法
%K 模态逻辑
%K 模糊命题模态逻辑
%K 不确定推理
%K 一致性检测
%K 模糊断言集合
%U http://heuxb.hrbeu.edu.cn/oa/darticle.aspx?type=view&id=201603080