允许修改推理规则的开放逻辑

最近,李未为了刻划知识的增长、更新以及假说的进化建立了一个开放的逻辑理论,特别是得到了认知进程的收敛性定理这样一个深刻的结果。其后,他在文献[2]中又将其作为逻辑框架应用于知识基的维护。在知识库中,除了一些事实(相当于句子)作为知识之外,还有其特有的一些推理规则,而且这些推理规则有时也会遇到反驳,需要加以修改和维护。本文试图在开放逻辑中引入推理规则的反驳与修改。值得注意的是,其它一些关于知识基维护的理论,如Alchourrón,Grdenfors与Makinson都没有触及这个问题。