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

逻辑系统L＊n中命题的真度理论 被引量：48

原文传递
导出
摘要 利用势为n的均匀概率空间的无穷乘积,在n值广义Lukasiewicz命题逻辑系统L*n中引入命题的真度概念,证明了全体公式的真度值之集在[0,1]上是稠密的,并给出了公式真度的表达通式及真度推理规则;利用真度定义了公式间的相似度,进而导出了全体公式集上的一种伪距离,为n值命题逻辑的近似推理理论提供了一种可能的框架.
作者 李骏 王国俊
机构地区 陕西师范大学数学研究所
出处 《中国科学（E辑）》 CSCD 北大核心 2006年第6期631-643,共13页 Science in China(Series E)
基金 国家自然科学基金(批准号:10331010) 陕西师范大学研究生创新培养基金 兰州理工大学优秀青年基金资助项目
关键词 真度 相似度 近似推理
分类号 TP18 [自动化与计算机技术—控制理论与控制工程]
  • 相关文献

参考文献14

  • 1Zadeh L A.Outline of a new approach tothe analysis of complex systems and decision processes.IEEE Trans Syst ManCybern,1973,1:28―44
  • 2Dubois D,Prade H.Fuzzy sets in approximate reasoning Ⅰ.Fuzzy Sets Syst,1991,40(1):143―202
  • 3Pavelka J.On fuzzy logic I,II,III.Zeitschrf Math Logic and Grundlagen dMath,1979,25(1):45―52,119―134,447―464
  • 4Ying Mingsheng.The fundamental theorem of ultraproduct in Pavelka's Logic.Z Math Logic Grundlagen Math,1992,38:197―201
  • 5Xu Yang,Qin Keyun,Liu Jun,et al.L-valued propositional logic Lvpl.Inf Sci,1999,(114):205―235
  • 6Xu Yang,Liu Jun,Song Zhenming,et al.On semantics of L-valued first order logic Lvfl.Int J General Syst,2000,29(1):53―79
  • 7Wang Guojun.On the logic foundation of fuzzy reasoning.Inf Sci,1999,117(1):47―88
  • 8Hajek P.Metamathematics of Fuzzy Logic.Dordrecht:Kluwer Academic Publishers,1998
  • 9Ying Mingsheng.A logic for approximate reasoning.J Symb Log,1994,59:830―837
  • 10王国俊,钱桂生,党创寅.命题演算系统L~*与谓词演算系统κ~*中统一的近似推理理论[J].中国科学（E辑）,2004,34(10):1110-1122. 被引量：13

二级参考文献24

  • 1Gorz G, Holldobler S. Advances in Artificial Intelligence. Lecture Notes in Artificial Intelligence 1137,New Yrok: Springer-Verlag, 1996
  • 2Lloyd J W. Foundations of Logic Programming. New York: Springer-Verlag, 1987
  • 3Schumann J M. Automated Theorem Proving in Software Engineering. Berlin: Springer-Verlag, 2001
  • 4Chang C L, Lee R C. Symbolic Logic and Mechanical Theorem Proving. New York: Academic Press, 1987
  • 5Antoniou G. Nonmonotonic Reasoning. Cambridge: The MIT Press,1997
  • 6Williamson J, Gabbay D. Special issue on combining probability and logic. J Applied Logic, 2003, 1(1-2): 135-138
  • 7Goguen J A. The logic of inexact concepts. Syntheses, 1968/69, 19(3):325-373
  • 8Pavelka J. On fuzzy logic Ⅰ, Ⅱ,Ⅲ. Z.f. Math. Logik u Grundlagen d Math, 1979, 25(1-3): 45-72,119-134, 447-464
  • 9Wang G J, Leung Y. Integrated semantics and logic metric spaces. Fuzzy Sets and Systems, 2003, 136(1): 71-91
  • 10Engelking R. General Topology. Berlin: Heldermann Verlag, 1989

共引文献284

同被引文献301

引证文献48

二级引证文献147

中国科学（E辑）
2006年 第6期

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

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