节点文献
二值命题逻辑中基于条件真度的近似推理
Approximate reasoning based on conditional truth degree of formulas in classical propositional logic
【摘要】 以公式真度为基础,给出了二值命题逻辑中基于条件真度的逻辑度量的真度表示式,提出了两类在信息Γ下的误差不大于ε结论模式,证明了两类结论模式的等价性,并讨论了基于条件真度和真度的近似推理及其关系问题。
【Abstract】 This paper proposes the truth degree expression of the pseudo-metric in two-valued propositional logic,which are based on the truth degree.From the process of approximate reasoning,the equivalence of not greater than ε-value in two kinds of errors has also been proved.Meanwhile,using the finite theory,discuss the principal properties of the error’s conclusions which are not greater than ε under the Boolean calculation.
【关键词】 二值命题逻辑;
真度;
条件真度;
有限理论;
伪距离;
近似推理;
【Key words】 classical propositional logic; truth degree; conditional truth degree; finite theory; pseudo-metric; approximate reasoning;
【Key words】 classical propositional logic; truth degree; conditional truth degree; finite theory; pseudo-metric; approximate reasoning;
- 【文献出处】 计算机工程与应用 ,Computer Engineering and Applications , 编辑部邮箱 ,2009年09期
- 【分类号】O141.1
- 【被引频次】2
- 【下载频次】81