基于非修正方法的认识进程及其极限

Epistemic process and its limit based on nonrevision approach

基于一阶逻辑 ,在对假说中的不一致信念不做任何修正的条件下 ,将根据已有的信念能够推出的没有相反信息的结论的集合作为假说的扩充 ,假说的扩充是单调的 ,当且仅当假说在增长过程中没有遇到相反的信息 .如果将假说的无限增长过程理解为一个认识进程 ,则认识进程中假说的扩充收敛于一个确定的极限 .

In this paper, a nonrevision approach to reasoning with inconsistency in the first order logic is provided. The extension of a premise is defined as the set of derived conclusions that have no negative information. It is proved that the extensions of premises are monotonic if and only if no conflicting information are encountered. When the premise increases, its extension will converge to a definite limit.