基于模糊命题模态逻辑的形式推理系统-软件学报.PDF

1000-9825/2005/16(08)1359 ©2005 Journal of Software 软 件 学 报 Vol.16, No.8 ∗ 基于模糊命题模态逻辑的形式推理系统 1+ 2 2 张再跃 , 眭跃飞 , 曹存根 1(江苏科技大学 计算机科学与技术系 智能计算联合实验室,江苏 镇江 212003) 2( 中国科学院 计算机技术研究所 智能信息处理重点实验室,北京 100080) Formal Reasoning System Based on Fuzzy Propositional Modal Logic 1+ 2 2 ZHANG Zai-Yue , SUI Yue-Fei , CAO Cun-G