Full-Text Search:
Home|Journal Papers|About CNKI|User Service|FAQ|Contact Us|中文
《Journal of Jilin University(Science Edition)》 2009-06
Add to Favorite Get Latest Update

Knowledge Representation and Reasoning Based on Computability Logic

XU Wen-yan,LIU San-yang(Department of Application Mathematics,School of Science,Xidian University,Xi'an 710071,China)  
Based on the sound and complete subset CL4 of computability logic,knowledge representation is discussed by dividing knowledge into elementary and general ones.Based on the features and requirements of knowledgebase systems,a forward and backward-reasoning algorithm is presented.And also based on CL4,a knowledgebase system is constructed,which shows that it makes the knowledgebase system more expressive and more interactive.
【Fund】: 国家自然科学基金(批准号:6057407560674108)
【CateGory Index】: TP182
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