摘要 | 第1-5页 |
Abstract | 第5-7页 |
第一章 引言 | 第7-9页 |
·课题研究背景 | 第7-8页 |
·文章结构 | 第8-9页 |
第二章 知识编译 | 第9-12页 |
·知识编译 | 第9页 |
·知识编译技术的处理对象 | 第9-12页 |
第三章 描述逻辑概述 | 第12-19页 |
·基本的描述语言 | 第12-14页 |
·ALC 语法 | 第13页 |
·ALC 语义 | 第13-14页 |
·描述逻辑应用领域 | 第14-15页 |
·描述逻辑体系结构 | 第15-16页 |
·描述逻辑推理的研究 | 第16-17页 |
·概念的推理任务 | 第16-17页 |
·TBOX | 第17页 |
·ABOX | 第17页 |
·相关推理技术简介 | 第17-19页 |
·析取式(DISJUNCTIVE FORM) | 第18页 |
·LINKLESS NORMAL FORM | 第18-19页 |
第四章 描述逻辑 ALC 推理问题编码与实现 | 第19-30页 |
·概念蕴含 TRIE(CONCEPT IMPLICATE TRIE) | 第19-20页 |
·约减概念蕴含TRIE(REDUCE CONCEPT IMPLICATE TRIE) | 第20-23页 |
·RCI-TRIE 算法 | 第23-25页 |
·TRI 操作 | 第23-24页 |
·RIT 操作 | 第24-25页 |
·推理算法 | 第25-28页 |
·算法复杂性 | 第28页 |
·实验结果及分析 | 第28-30页 |
第五章 结束语 | 第30-31页 |
参考文献 | 第31-33页 |
致谢 | 第33-34页 |
在学期间公开发表论文情况 | 第34页 |