| Horn-Extended DL的Tableau算法研究 |
| |
| 引用本文： | 肖岚,郑力,肖建,黄毅.Horn-Extended DL的Tableau算法研究[J].计算机应用,2009,29(3):681-685. |
| |
| 作者姓名： | 肖岚 郑力 肖建 黄毅 |
| |
| 作者单位： | 清华大学,工业工程系,北京,100084 |
| |
| 基金项目： | 国家高技术研究发展计划(863计划) |
| |
| 摘 要： | 描述逻辑和逻辑程序是两种非常重要的知识表达形式，分别具有不同的表达能力。为了保证结合描述逻辑和逻辑程序的可判定性，Motik给出了一种DL-safe规则。在Motik工作的基础上，提出了对描述逻辑进行Horn子句拓展的Horn-Extended DL，并给出了Horn-Extended DL的Tableau算法，最后通过一个算例验证了算法的正确性和效率。
|
| 关 键 词： | 描述逻辑 逻辑程序 模型理论语义 Horn子句 Tableau算法 |
| 收稿时间： | 2008-09-09 |
| 修稿时间： | 2008-10-23 |
Research on Tableau algorithm for Horn-Extended DL |
| |
| XIAO Lan,ZHENG Li,XIAO Jian,HUANG Yi.Research on Tableau algorithm for Horn-Extended DL[J].journal of Computer Applications,2009,29(3):681-685. |
| |
| Authors: | XIAO Lan ZHENG Li XIAO Jian HUANG Yi |
| |
| Affiliation: | Department of Industrial Engineering;Tsinghua University;Beijing 100084;China |
| |
| Abstract: | |
| |
| Keywords: | |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
| 点击此处可从《计算机应用》浏览原始摘要信息 |
|
点击此处可从《计算机应用》下载全文 |
|
