Abstract:

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.

Key words: computability logic, knowledgebase system, knowledge representatin, reasoning