基于模糊命题逻辑形式系统FLcom的模糊推理及应用

计算机科学 ›› 2015, Vol. 42 ›› Issue (Z11): 100-103.

基于模糊命题逻辑形式系统FLcom的模糊推理及应用

吴晓刚,潘正华

兴义民族师范学院信息技术学院兴义562400,江南大学理学院数理研究所无锡214122

出版日期:2018-11-14 发布日期:2018-11-14
基金资助:
本文受国家自然科学基金(60973156),中央高校基本科研业务费专项资金(JUSRP51317B),兴义民族师范学院计算机网络教学团队教改项目(兴师发[2014]40号)资助

Fuzzy Reasoning and its Application Based on Fuzzy Propositonal Logic

WU Xiao-gang and PAN Zheng-hua

Online:2018-11-14 Published:2018-11-14

摘要/Abstract

摘要： FLcom是建立在模糊集FScom基础上的一种区分矛盾否定、对立否定和中介否定的模糊命题逻辑形式系统。在模糊推理中关于否定的认识和处理主要以经典逻辑为基础,为此在FLcom基础上研究了区分3种否定的模糊推理规则的表示,给出了基于FLcom的模糊推理规则的合成算法FLMP和FLMT规则,新算法推广了CRI算法中的蕴涵算子,并给出了模糊推理应用的实例对比。结果表明FLcom在区分不同否定的实际应用中是合理可行的。

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

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.

Key words: Fuzzy propositional logic system,Fuzzy reasoning,Implication operator

吴晓刚,潘正华. 基于模糊命题逻辑形式系统FLcom的模糊推理及应用[J]. 计算机科学, 2015, 42(Z11): 100-103. https://doi.org/

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. https://doi.org/

参考文献

[1] Wagner G.Partial logic with two kinds of negations as a foundation for knowledge-based reasoning[M]∥Gabby D,Wansing H.What Is Negation.Oxford:Oxford University Press,1999:1-35
[2] Wagner G.Web rules need two kinds of negation[C]∥Bry F,Henze N,Maluszynski J,eds.Proc.of the 1st international workshop on Principles and Practice of Semantic Web Rea-soning.Heidelberg:Springer Verlag,LNCS 2901,2003:33-50
[3] Analyti A,Antoniou G,Damasio C,et al.Negation and Negative Information in the W3C Resource Description Framework[J].Annals of Mathematics,Computing & Teleinformatics(AMCT),2004,1(2):25-34
[4] Kaneiwa K.Negations in description logic-contraries,contradictories,and subcontraries[C]∥Dau F,Mugnier M-L, Stumme G,eds.Proceedings of the 13th International Conference on Conceptual Structures(ICCS’05).Kassel,Germany:Kassel University Press,2005:66-79
[5] Ferré S.Negation,Opposition,and Possibility in Logical Concept Analysis[C]∥Ganter B,Kwuida L,eds.Proc.of the fourth International Conference on Formal Concept Analysis,LNAI 3874.Heidelberg:Springer Verlag,2006:130-145
[6] Pan Zheng-hua.Fuzzy Set With Three Kinds of Negations in Fuzzy Knowledge Processing[C]∥Proceedings of The Ninth International Conference on Machine Learning and Cybernatics.Qingdao,China,2010:2730-2735
[7] 潘正华.模糊知识的3种否定及其集合基础[J].计算机学报,2012,35(7):1421-1428
[8] 潘正华.区分3种否定的模糊命题逻辑形式系统及其应用[J].软件学报,2014,5(6):1255-1272
[9] Wang Shan-shan,Pan Zheng-hua,Yang Lei.Fuzzy DecisionMaking Based on Fuzzy Logic with Contradictory Negation,Opposite Negation and Medium Negation[M]∥Lecture Notes in Computer Science.Springer-Verlag Berlin Heidelberg,2012,0:200-208
[10] 王立新.模糊系统与模糊控制[M].北京:清华大学出版社,2003:55-66
[11] Zadeh L A.Outline of a new approach to the analysis of complex systems and decision processes[J].IEEE Trans on Systems,Man and Cybernetics,1973,3:28-44
[12] Wang P Z,Zhang H M.Truth-Valued FIow Inference and It’s Dynamic Analysis[J].Journal of Beijing Normal University,1989(1):1-12
[13] Pelletier F J.Metamathematics of Fuzzy Logic[J].The Bulletin of Symbolic,2000,6(3):342-346
[14] Xiao Xi’an,Zhu Wu-jia.Propositional Calculus System of Medium Logic(III)[J].Journal of Mathematics Research & Exposition,1988,8(4):617-631
[15] 张胜礼,潘正华.中介命题逻辑一种新的无穷值语义模型及意义[J].计算机工程与应用,2010,46(31):45-49
[16] Dung PM,Mancarella P.Production systems need negation as failure[J].IEEE Transactions on Knowledge and Data Engineering,2002,14(2):336-353

Metrics

Viewed

Full text

Abstract

Cited

Shared

Discussed