期刊文献+

基于信度语义的算子模糊逻辑 被引量:8

THE OPERATOR FUZZY LOGICS BASED ON BELIEF CONSIDERATIONS
下载PDF
导出
摘要 本文在算子集与值域不同的算子格上,基于信度语义定义了一种归结推理更自然、具有结合性的算子模糊逻辑BAOFL及一种语义有层次性的、非单调的算子模糊逻辑NMOFL. Built on the operator lattice with the operator set differring from the interpretation domain and based on the semantic considerations of belief, this paper presents an associative Operator Fuzzy Logic BAOFL with more natural fuzzy resolution, and a nonmonotonic Operator Fuzzy Logic NMOFL with hierarchy semantics.
出处 《计算机学报》 EI CSCD 北大核心 1995年第12期881-885,共5页 Chinese Journal of Computers
基金 国家自然科学基金 国家科委863高科技基金
关键词 可信度 算子 模糊逻辑 非单调逻辑 人工智能 Belief, operator fuzzy logic, nonmonotonic logic
  • 相关文献

参考文献4

  • 1陆汝钤,人工智能.下,1995年
  • 2刘叙华,中国科学.A,1994年,24卷,6期,637页
  • 3刘叙华,基于归结方法的自动推理,1994年
  • 4刘叙华,Proc 15th ISMVL,1985年

同被引文献65

  • 1程晓春,刘叙华,陆汝钤.基于证据语义的算子模糊逻辑[J].科学通报,1995,40(1):86-88. 被引量:7
  • 2邓安生.Boole算子Fuzzy逻辑中的广义归结原理[J].科学通报,1996,41(3):274-276. 被引量:3
  • 3赵克勤,宣爱理.集对论——一种新的不确定性理论方法与应用[J].系统工程,1996,14(1):18-23. 被引量:394
  • 4[1]Guinchiglia F,Walsh T.A theory of abstraction[J].Artificial Intelligence,1992,57:323~389.
  • 5[3]Cousot P,Cousot R.
  • 6[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.
  • 7[5]Plaisted D A.Theorem proving with abstraction [J].Artificial Intelligence,1981,16:47~108.
  • 8[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.
  • 9[7]Chang C L,Slagle J R.Using rewriting rules for connection graphs prove theorems [J].Artificial Intelligence,1979,12:159~180.
  • 10[10]Cheng Xiaochun,Jiang Yunfei,Liu Xuhua.Dialectic operator fuzzy logic [J].Science in China(Series E),1996,39(1):1~10.

引证文献8

二级引证文献7

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

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