Full-Text Search:
Home|About CNKI|User Service|中文
Add to Favorite Get Latest Update

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.
Download(CAJ format) Download(PDF format)
CAJViewer7.0 supports all the CNKI file formats; AdobeReader only supports the PDF format.
©CNKI All Rights Reserved