期刊文献+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息

基于证据语义的算子模糊逻辑 被引量：7

原文传递
导出
摘要 70年代知识工程的出现与发展,使得不确定性推理成为人工智能领域的研究热点,从而形成了诸如证据理论、可性度理论、模糊推理理论等研究课题.刘叙华首次研究了算子模糊逻辑(见文献[2]),提出了两种模型,即OFL(算子模糊逻辑)和AOFL(结合算子模糊逻辑).陆汝钤指出了OFL和AOFL在证据语义下的不合理(OFL和AOFL是基于可信度语义的),并提出了基于证据语义的算子模糊逻辑EOFL,MOFL和AOFL,本文将其统称为EOFL.本文将介绍EOFL系统及其在证据语义下的合理性.
作者 程晓春 刘叙华 陆汝钤
机构地区 吉林大学计算机系 中国科学院数学研究所
出处 《科学通报》 EI CAS CSCD 北大核心 1995年第1期86-88,共3页 Chinese Science Bulletin
基金 国家自然科学基金 国家"八六三"计划 国家"攀登计划"资助项目
关键词 算子模糊逻辑 证据 信度 人工智能 模糊推理
分类号 TP18 [自动化与计算机技术—控制理论与控制工程] O141.3 [理学—基础数学]
  • 相关文献

参考文献4

二级参考文献3

  • 1刘叙华，计算机学报，1980年，3卷，2期
  • 2刘叙华，计算机学报，1989年，12卷，2期
  • 3刘叙华，中国科学.A，1987年，11期

共引文献13

同被引文献58

  • 1刘叙华,程晓春.基于信度语义的算子模糊逻辑[J].计算机学报,1995,18(12):881-885. 被引量：8
  • 2刘叙华,孙吉贵.NC－RUE－NRF归结[J].软件学报,1995,6(2):65-68. 被引量：25
  • 3[1]Guinchiglia F,Walsh T.A theory of abstraction[J].Artificial Intelligence,1992,57:323～389.
  • 4[3]Cousot P,Cousot R.
  • 5[4]Marriott K.Sondergaard H.Analysis of constraint logic programs [A].In De Bray S,Hermenegildo M.Logic programming:proceedings of the 1990 north american conference [C].MIT Press,1990,531～547.
  • 6[5]Plaisted D A.Theorem proving with abstraction [J].Artificial Intelligence,1981,16:47～108.
  • 7[6]Chang C L.Resolution plans in theorem proving [A].In Proc 6 th international joint conference on artificial intelligence [C].Tokyo:1979,143～148.
  • 8[7]Chang C L,Slagle J R.Using rewriting rules for connection graphs prove theorems [J].Artificial Intelligence,1979,12:159～180.
  • 9[10]Cheng Xiaochun,Jiang Yunfei,Liu Xuhua.Dialectic operator fuzzy logic [J].Science in China(Series E),1996,39(1):1～10.
  • 10[12]Cheng Xiaochun,Dai Haihong.Operator fuzzy logic based on argumentation [J].Modeling Technologies and Intelligent Systems Track,1998(6～9):215～222.

引证文献7

二级引证文献9

科学通报
1995年 第1期

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

内容加载中请稍等...
;
使用帮助 返回顶部