| 内容提要 | 第1-8页 |
| 第1章 绪论 | 第8-17页 |
| ·研究背景和意义 | 第8-11页 |
| ·相关问题 | 第11-14页 |
| ·描述逻辑和本体 | 第11-12页 |
| ·逻辑规则 | 第12-13页 |
| ·产生式系统 | 第13页 |
| ·规则交换格式RIF | 第13-14页 |
| ·专家发现 | 第14页 |
| ·本文工作及组织结构 | 第14-17页 |
| 第2章 本体和规则结合的理论方法和实际方法 | 第17-40页 |
| ·相关定义 | 第17-20页 |
| ·一阶逻辑 | 第17-18页 |
| ·规则 | 第18-19页 |
| ·结合知识库 | 第19-20页 |
| ·本体和规则结合的理论方法 | 第20-34页 |
| ·松散耦合方式 | 第21-25页 |
| ·紧密耦合方式 | 第25-31页 |
| ·嵌入耦合方法 | 第31-33页 |
| ·本节小结 | 第33-34页 |
| ·本体和规则结合的实际方法 | 第34-38页 |
| ·RDF和规则结合的方法 | 第34-35页 |
| ·OWL与规则结合的方法 | 第35-37页 |
| ·F-logic和规则结合的方法 | 第37-38页 |
| ·本节小结 | 第38页 |
| ·本文的研究目标和思路 | 第38-40页 |
| 第3章 基于缺省描述逻辑和析取逻辑程序的结合方法 | 第40-52页 |
| ·相关定义 | 第40-46页 |
| ·DL SHIQ | 第40-45页 |
| ·术语缺省理论 | 第45-46页 |
| ·DL+log系统 | 第46-48页 |
| ·语法 | 第47页 |
| ·DL+log的非单调语义 | 第47-48页 |
| ·DLdlog系统 | 第48-51页 |
| ·DLdlog的语法 | 第48页 |
| ·DLdlog的语义 | 第48-49页 |
| ·DLdlog的推理 | 第49-50页 |
| ·DLdlog的可判定性和复杂性 | 第50-51页 |
| ·相关工作比较 | 第51页 |
| ·本章小结 | 第51-52页 |
| 第4章 基于直觉模糊描述逻辑和直觉模糊逻辑程序的结合方法 | 第52-73页 |
| ·相关定义 | 第53-57页 |
| ·直觉模糊集 | 第53页 |
| ·直觉模糊描述逻辑IFALC | 第53-57页 |
| ·IFDLflog结合知识库 | 第57-62页 |
| ·真值格 | 第57页 |
| ·IFDLflog的语法 | 第57-59页 |
| ·IFDLflog的语义 | 第59-61页 |
| ·语义属性 | 第61-62页 |
| ·本节小结 | 第62页 |
| ·模糊描述逻辑FALC~* | 第62-66页 |
| ·描述逻辑ALC~* | 第63-64页 |
| ·模糊描述逻辑FALC~* | 第64-65页 |
| ·模糊约束传播规则 | 第65-66页 |
| ·基于FALC~*的灵活规划方法 | 第66-72页 |
| ·规划问题 | 第66-67页 |
| ·基于FALC~*的编码方式 | 第67页 |
| ·灵活规划扩展算法 | 第67-69页 |
| ·算法示例 | 第69-70页 |
| ·实验与分析 | 第70-71页 |
| ·本节小结 | 第71-72页 |
| ·本章小结 | 第72-73页 |
| 第5章 基于描述逻辑和产生式规则系统的结合方法 | 第73-87页 |
| ·相关定义 | 第74-75页 |
| ·RIF-PRD规则格式 | 第75-82页 |
| ·RIF-PRD语法 | 第76-80页 |
| ·RIF-PRD安全性 | 第80-81页 |
| ·RIF-PRD系统的操作语义 | 第81页 |
| ·RIF-PRD存在的问题 | 第81-82页 |
| ·DLR_(PR)框架 | 第82-84页 |
| ·描述逻辑DLR | 第82-83页 |
| ·本体与规则的弱耦合 | 第83-84页 |
| ·DLR_(PR)框架的推理 | 第84-86页 |
| ·产生式扩展算法PRExp | 第84-85页 |
| ·推理复杂性 | 第85页 |
| ·算法实例 | 第85-86页 |
| ·本章小结 | 第86-87页 |
| 第6章 基于Web数据的专家发现系统GEEK | 第87-106页 |
| ·相关工作 | 第88-89页 |
| ·GEEK系统的设计与实现 | 第89-105页 |
| ·专家发现本体模型 | 第90-93页 |
| ·数据采集组件 | 第93-95页 |
| ·资源融合组件 | 第95-99页 |
| ·专家知识推理组件 | 第99-102页 |
| ·人机交互组件 | 第102-105页 |
| ·本章小结 | 第105-106页 |
| 第7章 结论与展望 | 第106-108页 |
| 参考文献 | 第108-116页 |
| 攻读博士学位期间发表的论文及参加的项目 | 第116-118页 |
| 致谢 | 第118-119页 |
| 摘要 | 第119-121页 |
| Abstract | 第121-123页 |