ヒukasiewicz三值命题逻辑中公式的可靠真度理论  

Theory of Reliable Truth Degree in ヒukasiewicz 3-valued Logic System

作　　者：关晓红[1] 李骏[2] 

机构地区：[1]河南师范大学数学学院,河南新乡453007 [2]兰州理工大学理学院,甘肃兰州730050

出　　处：《河南科技大学学报（自然科学版）》2009年第2期74-77,共4页Journal of Henan University of Science And Technology:Natural Science

基　　金：国家自然科学基金项目(10771129);河南省教育厅自然科学研究计划项目(2007110016)

摘　　要：基于均匀概率空间的无穷乘积在ヒukasiewicz三值命题逻辑中引入了公式的可靠真度概念,证明了全体公式的可靠真度值之集在[0,1]中没有孤立点;利用可靠真度定义了可靠相似度和伪距离,进而建立了逻辑度量空间,证明了该空间中没有孤立点,为进一步在三值命题逻辑中展开近似推理奠定了基础。Based on the infinite product of evenly distributed probability space,this paper introduced the theory of reliable truth degree in ヒukasiewicz 3-valued propositional logic system.It is proved that the set of reliable truth degree of all formulas has no isolated point in [0,1].The conceptions of reliable similarity degree and pseudo-metric on two formulas are defined by means of the concept of reliable truth degree of propositions.Moreover,the reliable logic metric space is built.It is proved that this space has no isolated point.Then it can provide a possible framework for approximate reasoning theory.

关 键 词：可靠真度 可靠相似度 伪距离 近似推理 

分 类 号：O141.1[理学—数学]