Knowledge Representation and Reasoning Based on Computability Logic
Sanyang Liu · Journal of Jilin University(Science Edition) · 2009
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.