摘要
公式真度是反映其真确度的基本数值特征,由此给出的伪距离是命题逻辑系统程度化研究的基本逻辑度量.以基本真度为基础,给出二值命题逻辑系统中公式基于前提信息的Γ-真度概念,由此定义公式的Γ-相似度和Γ-伪距离;并给出Γ-伪距离的真度表示式,以此为基础讨论了理论的基于前提信息Γ的误差不大于ε的结论在逻辑运算下的基本性质,为研究基于前提信息的近似推理问题提供数值化工具和方法.
The truth degree is the main numerical character in formulas. And hence, the pseudo metric based on the formulas＇ truth degree becomes the basic logic metric in the study of propositional logic system. In view of the above truth degree,this paper presents the Г-truth degree in two-valued propositional logic based on the premise information. Meanwhile the definitions of Г-similarity and Г-pseudo metric are also achieved along with the truth degree expression of the Г-pseudo metric. According to these conclusions, this paper discusses the principal properties of the error conclusions which are not greater than ε under the Boolean calculation. So it provides this approximate reasoning of the premise information with some numerical tools and methods.
出处
《青岛理工大学学报》
CAS
2008年第4期114-116,132,共4页
Journal of Qingdao University of Technology
关键词
二值命题逻辑
前提信息
Г-真度
Г-相似度
Г-伪距离
two-valued propositional logic
premise information
Г-truth degree
Г-similarity
Г-pseudo metric
