期刊文献+

n值Lkasiewicz命题逻辑中命题的α-真度理论 被引量:12

Theory of α-Truth Degrees in n-valued Lukasiewicz Propositional Logic
在线阅读 下载PDF
导出
摘要 基于均匀概率空间的无穷乘积,在n值Lukasiewicz逻辑系统中引入命题的α-真度理论,给出了一般真度推理规则;利用命题的α-真度定义了命题间的α-相似度,进而导出命题集上的一种伪距离,使得在n值命题逻辑系统中展开近似推理成为可能。 By means of the infinite product of evenly distributed probability spaces,this paper introduces me meory of α-truth degrees in n-valued Lukasiewicz logical system,also,general reference rules endowed with -truth degrees are obtained.Moreover,a pseudo-metric on the set of propositions is defined by means of the concept of truth degrees of propositions and this make it possible to develop approximate reasoning in n-valued propositional logic.
作者 李骏 王国俊
出处 《计算机工程与应用》 CSCD 北大核心 2006年第31期16-18,232,共4页 Computer Engineering and Applications
基金 国家自然科学基金资助项目(10331010) 陕西师范大学研究生培养创新基金资助项目 兰州理工大学优秀青年基金资助项目
关键词 α-真度 真度 相似度 伪距离 α-truth degree truth degree similarity degree pseudo-metric
作者简介 李骏(1972-),男,博士研究生,研究方向为不确定性推理,非经典数理逻辑;E—mail:lijun@stu.snnu.edu.cn王国俊(1935-),男,教授,博士生导师,研究方向为不确定性推理,非经典数理逻辑。
  • 相关文献

参考文献19

  • 1SCHUMANN J M.Automated theorem proving in software engineering[M].Berling:Springer-Verlag,2001.
  • 2陆汝钤,应明生.知识推理的一个模型[J].中国科学(E辑),1998,28(4):363-369. 被引量:9
  • 3LLOYD J W.Foundations of logic programming[M].New York:Springer-Verlag,1987.
  • 4ROSSER J B,TURQUETTE A R.Many-valued logics[M].Amsterdam:North-Holland,1952.
  • 5PAVALK J.On fuzzy logic:Ⅰ,Ⅱ,Ⅲ[J].Z Math Logik Grundlagen Math,1979,25:45-52; 119-134;447-464.
  • 6NOVAK V.The alternative mathematical model of linguistic semantics and pragmatics[M].New York:Plenum,1992.
  • 7YING Ming-sheng.The fundamental theorem of ultraproduct in Pavelka's logic[J].Z Math Logic Grundlagen Math,1992,38:197-201.
  • 8XU Yang,QING Ke-yun.L-valued propositional logic Lvpl[J].Information Sciences,1999,114:205-235.
  • 9XU Yang,QING Ke-yun,LIU Jun,et al.On semantics of L-valued first order logic Lvfl[J].Int J General Systems,2000,29(1):53-79.
  • 10WANG Guo-jun.On the logic foundation of fuzzy reasoning[J].Information Sciences,1999,117(1):47-88.

二级参考文献64

  • 1王国俊,钱桂生,党创寅.命题演算系统L~*与谓词演算系统κ~*中统一的近似推理理论[J].中国科学(E辑),2004,34(10):1110-1122. 被引量:13
  • 2王国俊,第四届全国计算机应用联合学术会议论文集,1997年,1108页
  • 3王国俊,J Fuzzy Math,1997年,5卷,1期,229页
  • 4王国俊,陕西师大学报,1997年,25卷,1期,1页
  • 5王国俊,陕西师大学报,1997年,25卷,3期,1页
  • 6王国俊,Lecture Notes in Fuzzy Mathematics and Computer Science,1997年
  • 7张文修,不确定性推理原理,1997年
  • 8陈永义,模糊控制技术及应用实例,1993年
  • 9Ying M S,Z Math Logik Grundlagen Math,1992年,38卷,197页
  • 10Ying M S,Z Math Logik Grundlagen Math,1992年,38卷,521页

共引文献421

同被引文献65

引证文献12

二级引证文献46

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

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