摘要
在二值命题逻辑系统中引入程度化概念和方法是进行近似推理的基础.笔者以公式真度为基础,给出了二值命题逻辑中与有限理论的结论集相关的伪距离真度表示式;证明了近似推理中两类误差不大于ε的结论的等价性;讨论了有限理论的误差不大于ε结论在逻辑运算下的基本性质.
In this paper, we obtain the truth degree expression of the pseudo-metric in two-valued propositional logic, which is based on the truth degree. From the process of approximate reasoning, theequivalence of not greater than s-value in two kinds of errors has also been proved. Meanwhile, using the finite theory, we discuss the principal properties of the error conclusions which are not greater than s under the Boolean calculation.
出处
《青岛理工大学学报》
CAS
2008年第3期87-90,共4页
Journal of Qingdao University of Technology
关键词
二值命题逻辑
真度
有限理论
伪距离
近似推理
two-valued propositional logic
truth degree
finite theory
pseudo-metric
approximate reasoning
