缺省模态逻辑 |
| |
引用本文: | 范荣强.缺省模态逻辑[J].广东民族学院学报,1993(4):49-65. |
| |
作者姓名: | 范荣强 |
| |
摘 要: | 本文在Reiter 1980年提出的缺省逻辑的基础上,将缺省条件视为获取知识的背景知识与所得到的知识同等地加以考虑,提出了一种缺省模态逻辑。它是一种非单调逻辑,并且具有在Reiter的系统中所不能保证的两个重要性质:扩充的存在性和非单调性,然后通过知识从其背景中分离出来的方法,给出了一个缺省理论扩充的概念,它是Reiter的扩充概念的一种推广。
|
关 键 词: | 知识表示 非单调推理 缺省逻辑 缺省模态逻辑 背景知道 缺省理论 |
本文献已被 维普 等数据库收录! |
|