| 归结原理在不精确推理中的应用 |
| |
| 引用本文： | 李凡. 归结原理在不精确推理中的应用[J]. 华中科技大学学报(自然科学版), 1992, 0(1) |
| |
| 作者姓名： | 李凡 |
| |
| 作者单位： | 华中理工大学计算机科学与工程系 |
| |
| 基金项目： | 国家自然科学基金资助项目 |
| |
| 摘 要： | 归结原理是定理机器证明中的一种基本技术.在知识工程的研究中,需要处理不确定和不精确的知识,本文讨论了采用可能性理论表示不确定命题和谓词的方法,以及如何应用归结原理来进行不精确的推理.
|
| 关 键 词： | 不确定命题 必要性度量 可能性度量 归结原理 反演法 |
The Application of the Resolution Principle in Inexact Reasoning |
| |
| Li Fan. The Application of the Resolution Principle in Inexact Reasoning[J]. JOURNAL OF HUAZHONG UNIVERSITY OF SCIENCE AND TECHNOLOGY.NATURE SCIENCE, 1992, 0(1) |
| |
| Authors: | Li Fan |
| |
| Abstract: | In the study of knowledge engineering, it is very important to represent and handle uncertain and imprecise knowledge. The resolution principle is known to be a basic tool for theorem proving. The application of the resolution principle in imprecise reasoning in knowledge engineering, including the use of the necessity measure and possibility measure of the possibility theory for representing uncertain proposition and predicate, is discussed. Imprecise reasoning on quantified uncertain proposition and predicate by the resolution principle is also dealt with. |
| |
| Keywords: | necessity measure possibility measure uncertain proposition resolution principle refutation |
| 本文献已被 CNKI 等数据库收录！ |
