基于一阶模态逻辑的模糊推理.pdfVIP

ISSN 1000·9825，CODEN RUXUEW E—mail：jos@iscas．ac．cn JournalofSoftware，Vo1．19，No．12，December2008，PP．3170—3178 http：／w／wwj．os．org．cn DOI：10．3724／SP．J．1001．2008．03170 Tb1／Fax：+86．10 @2008byJournalofSofwtare．Allrightsreserved． 基于一阶模态逻辑的模糊推理 张晓如H，张再跃，眭跃飞，黄智生 (江苏科技大学 计算机科学与工程学院 智能信息处理联合实验室，江苏 镇江 212003) (中国科学院 计算技术研究所 智能信息处理重点实验室，北京 100190) (DepartmentofArtificialIntelligence，VrijeUniversityofAmsterdam，Netherla