Epistemic process and its limit based on nonrevision approach
ZHANG Li ying 1, DENG An sheng 2 (1.College of Transportaion, Jilin University of Technology, Changchun 130025, China; 2.Department of Computer Science, Northeast Normal University, Changchun 130024, China)
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.