微信服务号

微信订阅号

2025-4-25- 17
Home > Archive>Volume 1, Issue 1, 1990 >26-30
PDF HTML XML Export Cite reminder
λ-IMPLYING AND λ-STRONG IMPLYING IN OPERATOR FUZZY LOGIC
Author:
Affiliation:

  • Article
    • | |
  • Metrics
    • |
  • Reference [9]
    • |
  • Related
    • |
  • Cited by [1]
    • | |
  • Comments
    Abstract:

    In this paper, we introduce the concepts of λ-implying, λ-strong implying, λ-weak logical consequence and λ-logical consequence. We prove that λ-resolvent of C1 and C2 is a λ-logical consequence of (C1∧C2) and compleieness theorem of λ-resolution.

    Reference
    [1] Lee R．C．T．＆ Chang C．L．，Some Properties of Fuzzy Logic，Information and Control，5，971．
    [2] Zadeh，L．A．，The Concept of a Linguistic Variable and Its Application to Approximate Rea- soning，I，Ⅱ，Ⅲ，Inf．Sci．8 No．3，4，9，No．1，1975．
    [3] 刘叙华,广义模糊逻辑和锁语义归结原理，计算机学报,3．1980．
    [4] Liu X．H．＆ Xiao H．，Operator Fuzzy Logic and Fuzzy Resolution，Proc．of the l5一th ISMVL，Kingston，CANADA，5，1985．
    [5] 刘叙华、肖红，算子Fuzzy逻辑和λ—归结方法。计算机学报，2，1989．
    [6] Liu X．H．＆ Fang K．Y．，Fuzzy Reasoning on γ-Hom Set，Proc．of the 16—th ISMVL，Blacksburg，U．S．A．，5，1986．
    [7] Liu X．H．，Chang，Carl K．＆Jeff．J．P．Tsai，Fuzzy Reasoning Based on λ-LH-Resolution，roc． of the IEEE lo—th International Computer Software ＆ Application Conference，Chicago，U．S．A．10，1986．
    [8] 刘叙华、杨凤杰.λ-Horn集上的卜单元锁归结。科学通报，No．1，1989．
    [9] 刘叙华，算子Fuzzy逻辑中带有相等关系的Fuzzy推理，中国科学，A辑,Il。1987． [lO] 刘叙华、姜云飞,定理机器证明，科学出版社，1987．
    Related
    Comments
    Comments
    分享到微博
    Submit
Get Citation

刘叙华.算子Fuzzy逻辑中的λ—蕴涵和λ—强蕴涵.软件学报,1990,1(1):26-30

Copy
Share
Article Metrics
  • Abstract:4010
  • PDF: 4974
  • HTML: 0
  • Cited by: 0
History
  • Received:March 25,1989
Links:Institute of Software, CASChina Computer FederationCASNSFC
You are the first2038792Visitors
Copyright: Institute of Software, Chinese Academy of Sciences Beijing ICP No. 05046678-4
Address：4# South Fourth Street, Zhong Guan Cun, Beijing 100190,Postal Code：100190
Phone：010-62562563 Fax：010-62562533 Email：jos@iscas.ac.cn
Technical Support：Beijing Qinyun Technology Development Co., Ltd.

Beijing Public Network Security No. 11040202500063