吉林大学学报（理学版）2009，Vol.47Issue(6)：1230-1236,7.
基于可计算性逻辑的知识表示与推理
Knowledge Representation and Reasoning Based on Computability Logic
摘要
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分类
信息技术与安全科学引用本文复制引用
许文艳,刘三阳..基于可计算性逻辑的知识表示与推理[J].吉林大学学报（理学版）,2009,47(6):1230-1236,7.基金项目
国家自然科学基金(批准号: 60574075 （）
60674108). （）
