缺省推理与认识进程

被引：2

作者：

李未

机构：

[1] 北京航空航天大学计算机科学与工程系北京

来源：

计算机科学 | 1993年 / 02期

关键词：

认识进程; 极限; 缺省推理; 非单调性; 定义; 定理; 序列; 概念; 思维形式;

D O I：

暂无

中图分类号：

学科分类号：

摘要：

本文概述了一个可以刻画知识的增长、更新以及假说的进化的开放逻辑理论;给出了有关新假设、事实反驳、假说的重构、认识进程及其极限等概念,讨论了它们的性质并证明了与之有关的定理。本文对开放逻辑和Reiter缺省推理理论做了比较研究,并用开放逻辑的概念给出了缺省的一个模型论解释,给出了扩充的构造,并证明了Reiter缺省证明概念的完全性。

引用

页码：1 / 9

页数：9