Full-Text Search:
Home|Journal Papers|About CNKI|User Service|FAQ|Contact Us|中文
《JOURNAL OF NORTHEAST NORMAL UNIVERSITY (NATURAL SCIENCE EDITION)》 2000-03
Add to Favorite Get Latest Update

A nonrevision method for reasoning with inconsistency in the first order logic

GUAN Wei zhou, DENG An sheng (Department of Computer Science, Northeast Normal University, Changchun 130024, China)  
In this paper, a method for resasoning with inconsistency in the first order logic is presented. The conclusions will be given up if conflicting information are available. Its most distictive featrue is that any given premise has exact one extension, which is consistent, cumulative and deductively closed.
【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