%0 Journal Article
%T 缺省推理与认识进程
%A 李未
%J 计算机科学
%D 1993
%I 
%X 本文概述了一个可以刻画知识的增长、更新以及假说的进化的开放逻辑理论;给出了有关新假设、事实反驳、假说的重构、认识进程及其极限等概念,讨论了它们的性质并证明了与之有关的定理。本文对开放逻辑和Reiter缺省推理理论做了比较研究,并用开放逻辑的概念给出了缺省的一个模型论解释,给出了扩充的构造,并证明了Reiter缺省证明概念的完全性。
%K 缺省推理
%K 认识进程
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=64A12D73428C8B8DBFB978D04DFEB3C1&aid=2CCEB004D32DDFCA0ADF3BC4154A1D08&yid=D418FDC97F7C2EBA&vid=A04140E723CB732E&iid=0B39A22176CE99FB&sid=CA4FD0336C81A37A&eid=9CF7A0430CBB2DFD&journal_id=1002-137X&journal_name=计算机科学&referenced_num=2&reference_num=0