微信服务号

微信订阅号

2025年4月16日 10:26 星期三
首页 > 过刊浏览>1990年第1卷第1期 >26-30
PDF HTML阅读 XML下载 导出引用 引用提醒
算子Fuzzy逻辑中的λ—蕴涵和λ—强蕴涵
作者:

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

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

    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

复制
分享
文章指标
  • 点击次数:
  • 下载次数:
  • HTML阅读次数:
  • 引用次数:
历史
  • 收稿日期:1989-03-25
文章二维码
友情链接:中国科学院软件研究所中国计算机学会中国科学院国家自然科学基金委员会CCF数字图书馆Int'l J of Softw Info计算机系统应用
您是第19829786位访问者
版权所有：中国科学院软件研究所 京ICP备05046678号-3
地址：北京市海淀区中关村南四街4号,邮政编码：100190
电话：010-62562563 传真：010-62562533 Email：jos@iscas.ac.cn
技术支持：北京勤云科技发展有限公司

京公网安备 11040202500063号