基于标记逻辑的非单调推理（Ⅰ）

被引：6

作者：

周生炳，戴汝为

机构：

[1] 中国科学院自动化研究所人工智能实验室，清华大学计算机系智能系统与技术国家重点实验室

来源：

基金：

国家攀登计划;

关键词：

标记逻辑程序，超协调推理，非单调推理，诱导序列，支持模型;

D O I：

暂无

中图分类号：

TP181 [自动推理、机器学习];

学科分类号：

081104 ; 0812 ; 0835 ; 1405 ;

摘要：

我们把标记逻辑定义在一个特殊双格上，通过比较标记选取结论，从而同时捕捉超协调（容错）推理和非单调推理．本文介绍标记逻辑程序的句法与语义构造，提出诱导序列及其极限的概念，给出极限存在的等价条件，并证明一个重要结果：诱导序列基本定理，它是后续讨论的基础．

引用

页码：641 / 649

页数：9