首页 | 官方网站   微博 | 高级检索  
     

基于模糊命题逻辑形式系统FLcom的模糊推理及应用
引用本文:吴晓刚,潘正华.基于模糊命题逻辑形式系统FLcom的模糊推理及应用[J].计算机科学,2015,42(Z11):100-103, 122.
作者姓名:吴晓刚  潘正华
作者单位:兴义民族师范学院信息技术学院 兴义562400,江南大学理学院数理研究所 无锡214122
基金项目:本文受国家自然科学基金(60973156),中央高校基本科研业务费专项资金(JUSRP51317B),兴义民族师范学院计算机网络教学团队教改项目(兴师发[2014]40号)资助
摘    要:FLcom是建立在模糊集FScom基础上的一种区分矛盾否定、对立否定和中介否定的模糊命题逻辑形式系统。在模糊推理中关于否定的认识和处理主要以经典逻辑为基础,为此在FLcom基础上研究了区分3种否定的模糊推理规则的表示,给出了基于FLcom的模糊推理规则的合成算法FLMP和FLMT规则,新算法推广了CRI算法中的蕴涵算子,并给出了模糊推理应用的实例对比。结果表明FLcom在区分不同否定的实际应用中是合理可行的。

关 键 词:模糊命题逻辑形式系统  模糊推理  蕴涵算子

Fuzzy Reasoning and its Application Based on Fuzzy Propositonal Logic
WU Xiao-gang and PAN Zheng-hua.Fuzzy Reasoning and its Application Based on Fuzzy Propositonal Logic[J].Computer Science,2015,42(Z11):100-103, 122.
Authors:WU Xiao-gang and PAN Zheng-hua
Affiliation:School of Information Technology,Xingyi Normal University for Nationalities,Xingyi 562400,China and School of Science,University of Jiangnan,Wuxi 214122,China
Abstract:FLcom is a fuzzy propositional logic system with contradictory negation,opposite negation and medium negationis based on fuzzy set FScom.The major study on the negation of fuzzy inference and processing are based on classical logic.This paper researched the semantic interpretation of fuzzy inference rules which distinguish three kinds of negation:contradictory negation,opposite negation and medium negation.The new algorithm of compositional rules of inference generalizes the implication operator in CRI algorithm.At last we compared the FLMP algorithm with CRI algorithm by using an example.Through the example analysis,the results show that the new algorithm is reasonable and feasible.
Keywords:Fuzzy propositional logic system  Fuzzy reasoning  Implication operator
点击此处可从《计算机科学》浏览原始摘要信息
点击此处可从《计算机科学》下载全文
设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司    京ICP备09084417号-23

京公网安备 11010802026262号