| 【中文题名】 | 基于Web Services的产生式专家系统和推理机研究 |
| 【英文题名】 | Research on Production Expert System and Reasoning Machine Based on Web Services |
| 【学科专业】 | 电路与系统 |
| 【论文级别】 | 硕士论文 |
| 【投稿时间】 | 2005-8-29 |
| 【中关键词】 | Web,Services,XML,推理树,知识库维护,Internet |
| 【英关键词】 | Web Services,XML,Reasoning tree,Knowledge-base maintenance,Internet, |
| 【分类导航】 | 工业技术>自动化技术、计算机技术>自动化基础理论>人工智能理论>> |
| 【论文摘要】 | 专家系统是人工智能的一个重要分支,它通过领域专家们大脑中的专业知识运用推理机来解决领域内的困难和问题。它的核心在于知识库和推理机。
本文围绕专家系统进行了深入研究,所得的成果主要包括:
1)知识库维护方面,为了保证知识库自身的有效性及规则间的一致性,提高推理机推理的速度以及推理结果的正确性,提出了一套成功的知识库维护方案并给出了知识库中冗余规则、矛盾规则、循环规则和孤立规则的检查方法。
2)设计了一种新的推理树结构,它根据正向推理机推理的过程,采用分层分类别存储规则,极大地减少了推理机每次推理与规则匹配的数目,从而提高推理机的效率。文章详细描述了新推理树结构的更新算法(包括插入和删除规则的算法)以及在此基础上的推理算法。
3)论述了Web Services技术及其在Internet应用的优势,文章结合Web Services的异构平台互通的能力,设计了一个跨平台的、具有良好扩展性的基于web的分布式决策专家系统框架,并以与我们最接近的学生系别选择作为一个简单的应用来展示其功能。系统通过组件封装推理机、知识库管理和维护等业务逻辑处理模块,具有良好的扩展性、伸缩性、... |
| 【论文题纲】 |
|
摘要 |
2-3 |
|
ABSTRACT |
3-7 |
|
第一章 绪论 |
7-20 |
|
1.1 课题背景及意义 |
7-8 |
|
1.2 相关技术背景与发展概况 |
8-14 |
|
1.2.1 专家系统的定义 |
8-9 |
|
1.2.2 专家系统产生与发展 |
9-10 |
|
1.2.3 专家系统的一般结构 |
10-12 |
|
1.2.4 专家系统的基本特征 |
12-13 |
|
1.2.5 专家系统在Internet上的应用 |
13-14 |
|
1.3 WEB SERVICES技术 |
14-17 |
|
1.3.1 Web Service概括 |
14 |
|
1.3.2 Web Service的体系架构 |
14-17 |
|
1.3.3 Web Service应用在Internet上的优势 |
17 |
|
1.4 课题研究的主要内容及其重点、难点 |
17-20 |
|
1.4.1 研究的重点与难点 |
17-18 |
|
1.4.2 研究的可行性 |
18-19 |
|
1.4.3 本文的主要内容 |
19-20 |
|
第二章 专家知识 |
20-27 |
|
2.1 专家知识 |
20-21 |
|
2.2 专家知识的表示 |
21-26 |
|
2.2.1 谓词逻辑表示法 |
21-22 |
|
2.2.2 产生式表示法 |
22-24 |
|
2.2.3 语义网络表示法 |
24-25 |
|
2.2.4 框架表示法 |
25-26 |
|
2.3 专家知识的管理 |
26-27 |
|
第三章 系统总体设计 |
27-34 |
|
3.1 系统概述和业务逻辑 |
27-28 |
|
3.2 系统体系结构和工作原理 |
28-30 |
|
3.3 系统的配置 |
30-31 |
|
3.3.1 开发环境配置 |
30 |
|
3.3.2 数据库系统选择 |
30-31 |
|
3.3.3 系统运行环境 |
31 |
|
3.4 系统功能模块 |
31-33 |
|
3.5 系统特点 |
33-34 |
|
第四章 知识库的维护 |
34-40 |
|
4.1 知识库结构 |
34-35 |
|
4.2 冲突、冗余、循环规则的检查 |
35-38 |
|
4.2.1 冗余规则及其检查方法 |
36-37 |
|
4.2.2 循环规则集的检查 |
37-38 |
|
4.2.3 检查冲突(冗余)规则 |
38 |
|
4.3 添加、修改和删除规则 |
38-39 |
|
4.4 其他 |
39-40 |
|
第五章 推理机设计 |
40-55 |
|
5.1 推理机制的选择 |
40-42 |
|
5.1.1 正向推理 |
40-41 |
|
5.1.2 反向推理 |
41 |
|
5.1.3 混合推理 |
41-42 |
|
5.2 推理树结构设计 |
42-50 |
|
5.2.1 树结构描述 |
43-46 |
|
5.2.2 数据结构的XML表示 |
46-47 |
|
5.2.3 插入算法 |
47-49 |
|
5.2.4 删除算法 |
49 |
|
5.2.5 此推理树结构的适用范围 |
49-50 |
|
5.3 推理算法 |
50-52 |
|
5.3.1 启发式搜索策略 |
52 |
|
5.3.2 冲突消解策略 |
52 |
|
5.4 解释器 |
52-55 |
|
第六章 系统实现关键技术 |
55-73 |
|
6.1 WEB服务 |
55-59 |
|
6.1.1 定义服务接口 |
55-58 |
|
6.1.2 实现接口 |
58-59 |
|
6.2 组件接口 |
59-65 |
|
6.2.1 知识库管理和维护组件 |
59-61 |
|
6.2.2 推理组件 |
61-65 |
|
6.3 系统关键性能优化 |
65-66 |
|
6.3.1 数据库连接池 |
65 |
|
6.3.2 线程池 |
65-66 |
|
6.4 系统主要功能界面 |
66-71 |
|
6.5 负载均衡器 |
71-72 |
|
6.6 系统的安全性 |
72-73 |
|
6.6.1 安全机制 |
72 |
|
6.6.2 编程中的安全措施 |
72-73 |
|
结束语 |
73-75 |
|
参考文献 |
75-79 |
|
致谢 |
79-80 |
|
攻读硕士学位期间发表的学术论文 |
80-81 |
|
湖南师范大学学位论文原创性声明 |
81 |
|
| 【DOI】 | LunWen.ID:2.2008.387394 |
