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