| 基于可计算性逻辑的知识表示与推理 |
| |
| 引用本文： | 许文艳,刘三阳.基于可计算性逻辑的知识表示与推理[J].吉林大学学报(理学版),2009,47(6):1230-1236. |
| |
| 作者姓名： | 许文艳 刘三阳 |
| |
| 作者单位： | 西安电子科技大学 理学院应用数学系, 西安 710071 |
| |
| 摘 要： | 以可计算性逻辑的完备子集CL4为基础进行知识表示, 将知识分为简单知识与一般知识. 通过分析知识库系统的特点和需求, 给出了采用正反向混合推理方法的推理机设计, 并举例说明以CL4为基础的知识库系统, 具有能够表达和查询更细致的知识、 便于用户和系统交互的优点.
|
| 关 键 词： | 可计算性逻辑 知识库系统 知识表示 推理机 |
| 收稿时间： | 2008-12-10 |
Knowledge Representation and Reasoning Based on Computability Logic |
| |
| XU Wen-yan,LIU San-yang.Knowledge Representation and Reasoning Based on Computability Logic[J].Journal of Jilin University: Sci Ed,2009,47(6):1230-1236. |
| |
| Authors: | XU Wen-yan LIU San-yang |
| |
| Institution: | Department of Application Mathematics, School of Science, Xidian University, Xi’an 710071, China |
| |
| 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. |
| |
| Keywords: | computability logic knowledgebase system knowledge representatin reasoning |
| 本文献已被 万方数据 等数据库收录！ |
| 点击此处可从《吉林大学学报(理学版)》浏览原始摘要信息 |
| 点击此处可从《吉林大学学报(理学版)》下载免费的PDF全文 |
