开放的限制理论

AN OPEN CIRCUMSCRIPTION THEORY

本文基于开放逻辑理论，建立了一阶谓词限制理论的知识增长、更新及理论进化的开放的限制理论，给出了谓词限制理论中新假设、事实反驳及伪事实反驳、Ｃ－重构、Ｃ－认识进程及其极限的定义，讨论了它们的性质并证明了有关的定理，进而描述了限制理论的动态特征——Ｃ－认识进程，证明了其极限定理，并比较了它与一般认识进程及限制理论的关系．

Based on open logic,an open first-order predicate circumscription theory is developed to describe knowledge increment, updating and evolution of the theory.Some concepts such as new premise,rejection by facts,C-reconstructions,and C-epistemic process and its limit are defined.The properties of these concepts are studied and the related theorems are proved The C-epistemic process is built to describe the dynamic characteristics of the circumscription,and its limit theorem is proved.Finally the comparison with related work is presented.