基于标记逻辑的非单调推理(I) |
| |
引用本文: | 周生炳,戴汝为.基于标记逻辑的非单调推理(I)[J].计算机学报,1995,18(9):641-649. |
| |
作者姓名: | 周生炳 戴汝为 |
| |
摘 要: | 我们把标记逻辑定义在一个特殊双格上,通过比较标记选取结论,从而同时捕捉超协调(容错)推理和非单调推理,本文介绍标记逻辑程序的句法与语义构造,提出诱导序列及其极限的概念,给出极限存在的等价条件,并证明一个重要结果,诱导序列基本定理,它是后续讨论的基础。
|
关 键 词: | 超协调推理 非单调推理 标记逻辑 |
本文献已被 维普 等数据库收录! |
|