|
|||||
|
|
| 基于标记逻辑的非单调推理（Ⅰ） | |
| 引用本文： | 周生炳,戴汝为.基于标记逻辑的非单调推理（Ⅰ）[J].计算机学报,1995(9). |
| 作者姓名： | 周生炳 戴汝为 |
| 作者单位： | 中国科学院自动化研究所人工智能实验室,清华大学计算机系智能系统与技术国家重点实验室 |
| 基金项目： | 国家863高科技基金,国家攀登计划基金 |
| 摘 要： | 我们把标记逻辑定义在一个特殊双格上,通过比较标记选取结论,从而同时捕捉超协调（容错）推理和非单调推理．本文介绍标记逻辑程序的句法与语义构造,提出诱导序列及其极限的概念,给出极限存在的等价条件,并证明一个重要结果：诱导序列基本定理,它是后续讨论的基础． |
| 关 键 词： | 标记逻辑程序 超协调推理 非单调推理 诱导序列 支持模型 |
| 本文献已被 CNKI 等数据库收录！ | |