Full-Text Search:
Home|Journal Papers|About CNKI|User Service|FAQ|Contact Us|中文
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.
【Fund】: 国家自然科学基金资助项目!( 6970 3 0 1 0 ;69983 0 0 2 )
【CateGory Index】: TP301
Download(CAJ format) Download(PDF format)
CAJViewer7.0 supports all the CNKI file formats; AdobeReader only supports the PDF format.
©2006 Tsinghua Tongfang Knowledge Network Technology Co., Ltd.(Beijing)(TTKN) All rights reserved