| 容错推理的逻辑基础 |
| |
| 引用本文： | 林作铨. 容错推理的逻辑基础[J]. 汕头大学学报(自然科学版), 1992, 7(2): 1-8 |
| |
| 作者姓名： | 林作铨 |
| |
| 基金项目： | 李嘉诚基金，国家高技术八六三计划资助项目 |
| |
| 摘 要： | 容错推理允许容纳错误知识而能作出合理推论,形式化常识推理可以描述为各种容错知识情形下推理的问题,容错知识的一般基础是含矛盾与含未知知识情形。我们基于极大相容性概念,定义极大相容子理论作为形式化容错推理的一种特殊途径;进一步,我们基于优先语义,给出一种容错逻辑的一般途径。
|
| 关 键 词： | 相容性 优先语义 容错推理 常识推理 人工智能 |
A Logical Framework for Fault—Tolerant Reasoning |
| |
| Lin Zuoquan. A Logical Framework for Fault—Tolerant Reasoning[J]. Journal of Shantou University(Natural Science Edition), 1992, 7(2): 1-8 |
| |
| Authors: | Lin Zuoquan |
| |
| Affiliation: | Lin Zuoquan |
| |
| Abstract: | Fault-talerant reasoning admits various fault-tolerant knowledge and makes the plausible inference therefrom. Formalized commonsense reasoning can be described as reasoning with the help of fault-tolerant knowledge. The genreal base for fault-tolerant knowledge is the presence both of contradiction and of unknown knowledge. Based on the concept of the maximal consistency, we define the maximally consistent subtheories as a special approach to formalized fault-tolerant reasoning. Futhermore, based on the preferential semantics, we present a general logical basis for faulttolerant reasoning. |
| |
| Keywords: | consistency preferential semantics fault-tolerant reasoning commonsense reasoning |
| 本文献已被 CNKI 维普 等数据库收录！ |
|
