算子Fuzzy逻辑中的λ—蕴涵和λ—强蕴涵
作者:

λ-IMPLYING AND λ-STRONG IMPLYING IN OPERATOR FUZZY LOGIC
  • 摘要
  • | |
  • 访问统计
  • |
  • 参考文献 [9]
  • |
  • 相似文献 [20]
  • |
  • 引证文献
  • | |
  • 文章评论
    摘要:

    在本文中,我们引进了算子模糊逻辑中的λ-蕴涵和λ-强蕴涵的概念,λ-逻辑结果和λ-弱逻辑结果的概念。证明了两子句的的λ-归结式是这两个子句的λ-逻辑结果,从而完成了λ-归结的完备性定理的证明。

    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.

    参考文献
    [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.
    网友评论
    网友评论
    分享到微博
    发 布
引用本文

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

复制
分享
文章指标
  • 点击次数:4009
  • 下载次数: 4974
  • HTML阅读次数: 0
  • 引用次数: 0
历史
  • 收稿日期:1989-03-25
文章二维码
您是第19867155位访问者
版权所有:中国科学院软件研究所 京ICP备05046678号-3
地址:北京市海淀区中关村南四街4号,邮政编码:100190
电话:010-62562563 传真:010-62562533 Email:jos@iscas.ac.cn
技术支持:北京勤云科技发展有限公司

京公网安备 11040202500063号