期刊文献+

Lukasiewicz三值命题逻辑中命题的真度理论 被引量:17

Theory of Truth Degree in Lukasiewicz 3-valued Propositional Loggic
在线阅读 下载PDF
导出
摘要 利用势为 3的均匀概率空间的无穷乘积在 L ukasiewicz三值命题逻辑中引入了公式的真度概念 ,证明了全体公式的真度值之集在 [0 ,1 ]上是稠密的 ,并给出真度的表达式 ;利用真度定义公式间的相似度 ,进而导出全体公式集上的一种伪距离 ,为三值命题的近似推理理论提供一种可能的框架。 Base on the infinite product of evenly distributed probability space, this paper introduced the theory of truth degrees in Lukasiewicz 3-valued propositional logic. It is proved that the set of (truth) degrees of Propositions is dense in [0,1], and expressions of 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 a possible framework for approximate reasoning is proposed.
出处 《模糊系统与数学》 CSCD 2004年第4期39-45,共7页 Fuzzy Systems and Mathematics
基金 兰州理工大学优秀青年基金资助项目
关键词 真度 相似度 近似推理 Truth Degree Similarity Degree Approximate Reasoning
  • 相关文献

参考文献14

  • 1Zadeh L A. Outline of a new approach to the analysis of complex systems and decision processes[J]. IEEE Trans. Systems, Man and Cybernet, 1973,1: 28 ~ 44.
  • 2Dubois D,Prade H. Fuzzy sets in approximate reasoning[J]. Fuzzy Sets and Systems,1991,40(1) :143~202.
  • 3Pavelka J. On fuzzy logic(Ⅰ,Ⅱ,Ⅲ)[J]. Zeitschr f Math Logic und Grundlaagen d Math,1979,25(1):45~52;119~ 134;447~464.
  • 4Ying M S. The fundamental theorem of ultraproduct in Pavelka's logic[J]. Z. Math. Logic Grundlagen Math. ,1992,38:197~201.
  • 5Novak V. On the syntactic-semantical completeness of first-order-fuzzy logic(Ⅰ,Ⅱ)[J]. Kybernetika,1990,26:47~66;134~154.
  • 6Novak V. The alternative mathematical model of Linguistic Semantics and pragmatics[J]. New York:Plenum, 1992.
  • 7Xu Y,et al. L-valued propositional logic Lupl[J]. Information Sciences,1999 ,114 : 205~ 235.
  • 8Xu Y,et al. On semantics of L-valued first order logic Lufft[J]. Int. J. General Systems,2000,29(1):53~79.
  • 9Hajek P. Metamathematics of fuzzy logic[M]. Dordrecht:Kluwer Academic Publishers,1998.
  • 10Ying M S.A logic for approximate reasoning[J]. J.Symbolic,1 994,58:830~837.

二级参考文献4

共引文献282

同被引文献76

引证文献17

二级引证文献42

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

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