• 智能计算 •

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

1. 兴义民族师范学院信息技术学院 兴义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 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.

 [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
 No related articles found!
Viewed
Full text

Abstract

Cited

Shared
Discussed