| 二值命题逻辑中的伪距离不等式与近似推理 |
| |
| 引用本文： | 王廷明,;王爱青.二值命题逻辑中的伪距离不等式与近似推理[J].青岛建筑工程学院学报,2009(3):137-140. |
| |
| 作者姓名： | 王廷明 ;王爱青 |
| |
| 作者单位： | [1]青岛大学师范学院,青岛266071; [2]青岛理工大学理学院,青岛266033 |
| |
| 摘 要： | 伪距离是二值命题逻辑系统的近似推理研究中的一个基本逻辑度量,而伪距离不等式是研究近似推理问题的一种基本工具.以公式真度为基础,通过真度不等式以及公式到有限理论结论集伪距离的真度表示,给出了二值命题逻辑中与有限理论相关的伪距离的一系列不等式,讨论了伪距离不等式在近似推理中的应用,为二值命题逻辑系统的近似推理研究提供数值化工具和方法.
|
| 关 键 词： | 二值命题逻辑 真度 有限理论 伪距离 近似推理 |
Pseudo Metric Inequalities and Approximate Reasoning in Two-Valued Propositional Logic |
| |
| Affiliation: | WANG Ting-ming, WANG Ai-qing (1. Teachers College, Qingdao University, Qingdao 266071,China; 2. School of Science, Qingdao Technological University, Qingdao 266033, China) |
| |
| Abstract: | In the approximate reasoning research, pseudo metric is the basic logical measurement in two-valued propositional logic system. And the pseudo metric inequalities is also a fundamental method in the research of approximate reasoning problems. According to the pseudo metric inequalities and the truth degree expression of the pseudo metric from formula to finite theory conclusion set, we obtain a series of pseudo metric inequalities in two-valued propositional logic which are relative to the finite theory. Meanwhile we also discuss the applications of the inequalities in approximate reasoning which can become the numerical identification of approximate reasoning research in two-valued propositional logic. |
| |
| Keywords: | two-valued propositional logic truth degree finite theory pseudo metric approximate reasoning |
| 本文献已被 维普 等数据库收录！ |
|
