模 糊命题 模态逻辑 的；+7, +方法.PDFVIP

第 ! 卷第 # 期 哈(尔(滨(工(程(大(学(学(报 */=! =# $%’ 年 # 月 )*+,-./*01.,23- 4-53-66,3-57-386,93:; )+-=$%’ ;+7,’+% 模糊命题模态逻辑 的 方法 !$ 刘磊 !王强 !吕帅 != !%%$ % $= !%%$# 吉林大学 计算机科学与技术学院 吉林 长春 吉林大学 数学学院 吉林 长春 摘( 要 !为提 高模糊命题模 态逻辑 #0+\\;B,*B*93:3*-./A*C.//*53@! EaGb$ 的推理 能力 !本文将 经典模 态逻辑 中的 ].2/6.+ EaGb ! EaGb ].2/6.+ ! 方法推广到 中 提 出了基于 的 规 则并证 明 了其正确性 给 出了模糊断言集合 的约 简策 ’ EaGb % ].2/6.+ EaGb 略 在此基础上给 出了 中的不一致性和不一致估值的定 义 最后给 出基于 方法的 的一致性检 ]EaGb D[F! % ! 测方法 和模糊断言集合 的不一致估值计算方法 并证 明 了其正确性 实例分析表明 本文提 出的方法 是正确有效的% !].2/6.+ ’ ’ ’ ’ ’ 关键词 方法 模 态逻辑 模糊命题模 态逻辑 不确定推理 一致性检 测 模糊断言集合 !#%MNN% OPQ6+=$%#%!%% 网络出版地址 !Q::B OORRR=@-S3=-6:OS@A9OC6:.3/O$!M!N%=+=$%’%!!% M%N?’M%%=Q:A/ 中图分类号 !]a(文献标志码 !T(文章编号 !%%# U’%I!#$%’ $%# U%NI U%’ ;+7,’+%+44(1+*3155%]]0 4(141-).)12+,1/+,,1A)* $ b[7b63 VTWXk3.-5 bY7ZQ+.3 !=D*//656*0D*AB+:6,Z@36-@6.-C ]6@Q-*/*5; )3/3- 7-386,93:; DQ.-5@Q+- !%%$ DQ3-.% $=D*//656*0G.:Q6A.:3@9 )3/3- 7-3L 86,93:; DQ.-5@Q+- !%%$ DQ3-.# 67-.(+*.$[- *,C6,:*3AB,*86:Q6,6.9*-3-5.23/3:;*00+\\;B,*B*93:3*-./A*C.//*53@!EaGb# R6B,*B*96.:.2L