首页--工业技术论文--自动化技术、计算机技术论文--自动化基础理论论文--人工智能理论论文--自动推理、机器学习论文

基于知识编译技术的描述逻辑推理问题研究

摘要第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页

论文共34页,点击 下载论文
上一篇:联合启发式求解优先约束问题
下一篇:基于FPGA的数字控制器硬件实现方法研究