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

基于OBDD的描述逻辑推理算法研究

摘要第1-4页
Abstract第4-8页
第一章 绪论第8-13页
   ·研究背景第8-9页
   ·问题的提出第9-10页
   ·本文的工作第10-11页
   ·论文的组织结构第11-13页
第二章 相关知识介绍第13-25页
   ·描述逻辑第13-18页
     ·描述逻辑综述第13-14页
     ·描述逻辑语言表示第14-16页
     ·描述逻辑推理算法第16-18页
   ·本体推理工具第18-20页
   ·有序二叉决策图(OBDD)第20-23页
     ·OBDD 的定义及原理第20-21页
     ·OBDD 的相关算法第21-23页
     ·OBDD 的应用第23页
   ·小结第23-25页
第三章 基于OBDD 的SHOIQ 判定算法第25-32页
   ·算法的基本思想第25页
   ·算法过程第25-31页
     ·预处理第25-27页
     ·构造多米诺模型第27-28页
     ·多米诺模型构造转化为对应OBDD 构造第28-29页
     ·实例分析第29-31页
   ·小结第31-32页
第四章 基于OBDD-Tableau 的ΑLCΙО判定算法第32-43页
   ·算法的基本思想第32-33页
   ·算法过程第33-42页
     ·知识库的预处理第33页
     ·分层处理第33-35页
     ·构造OBDD-Tableau第35-40页
     ·实例分析第40-42页
   ·小结第42-43页
第五章 算法的实现与分析第43-54页
   ·系统设计与实现第43-47页
     ·实现平台及相关介绍第43-44页
     ·系统框架第44-47页
   ·系统演示第47-49页
     ·DLR_SHOIQ 推理系统演示第47-48页
     ·DLR_ALCIO_(OBDD-Tab leau)推理系统演示第48-49页
   ·算法分析第49-53页
   ·小结第53-54页
第六章 结束语第54-56页
   ·主要研究工作第54页
   ·研究展望第54-56页
参考文献第56-60页
致谢第60-61页
作者在攻读硕士期间主要研究成果第61页

论文共61页,点击 下载论文
上一篇:混合值不完备决策信息系统的粗糙分类方法研究
下一篇:基于嵌入式ARM-Linux和ZigBee的自动煮糖控制系统的设计