%0 Journal Article
%T 允许修改推理规则的开放逻辑
%A 应明生
%J 科学通报
%D 1996
%I 
%X 最近,李未为了刻划知识的增长、更新以及假说的进化建立了一个开放的逻辑理论,特别是得到了认知进程的收敛性定理这样一个深刻的结果。其后,他在文献2]中又将其作为逻辑框架应用于知识基的维护。在知识库中,除了一些事实(相当于句子)作为知识之外,还有其特有的一些推理规则,而且这些推理规则有时也会遇到反驳,需要加以修改和维护。本文试图在开放逻辑中引入推理规则的反驳与修改。值得注意的是,其它一些关于知识基维护的理论,如Alchourrón,Grdenfors与Makinson都没有触及这个问题。
%K 开放逻辑
%K 推理规则
%K 重构
%K 模型论
%K 闭推理规则
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=01BA20E8BA813E1908F3698710BBFEFEE816345F465FEBA5&cid=7C7E63796F062382A606A3A9833B8C05&jid=B40D4BA57FF46E45205A09B4DC283152&aid=260D3D10D80643CE9A0760DF361297B9&yid=8A15F8B0AA0E5323&vid=2001E0D53B7B80EC&iid=708DD6B15D2464E8&sid=714E16F7CF56F343&eid=8115E88DD41C4B46&journal_id=0023-074X&journal_name=科学通报&referenced_num=3&reference_num=2