基于可计算性逻辑的知识表示与推理

J4 ›› 2009, Vol. 47 ›› Issue (6): 1230-1236.

基于可计算性逻辑的知识表示与推理

许文艳, 刘三阳

西安电子科技大学理学院应用数学系, 西安 710071

收稿日期:2008-12-10 出版日期:2009-11-26 发布日期:2010-01-07
通讯作者: 许文艳 E-mail:xwykiki@126.com.

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

Received:2008-12-10 Online:2009-11-26 Published:2010-01-07
Contact: XU Wenyan E-mail:xwykiki@126.com.

摘要/Abstract

摘要：

以可计算性逻辑的完备子集CL4为基础进行知识表示, 将知识分为简单知识与一般知识. 通过分析知识库系统的特点和需求, 给出了采用正反向混合推理方法的推理机设计, 并举例说明以CL4为基础的知识库系统, 具有能够表达和查询更细致的知识、便于用户和系统交互的优点.

关键词: 可计算性逻辑, 知识库系统, 知识表示, 推理机

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

中图分类号:

TP182

许文艳, 刘三阳. 基于可计算性逻辑的知识表示与推理[J]. J4, 2009, 47(6): 1230-1236.

XU Wenyan, LIU Sanyang. Knowledge Representation and Reasoning Based onComputability Logic[J]. J4, 2009, 47(6): 1230-1236.