一种面向对象推理模型的研究与应用

摘要

该文设计并实现了一个混凝土碱集料反应安全性专家系统(CAARES),系统主要包括了混凝土工程辅助设计、碱集料反应评估、文献检索等内容.在设计过程中,该文在面向对象程序设计语言环境下构造了一个以产生式规则为主体、将谓词与过程的表达和推理相结合的通用推理模型(AIEXPERT).AIEXPERT模型以面向对象知识表示方法为基础,将命题对象、谓词对象和过程对象作为规则的基本组成元素,提供了良好的知识表示接口,能灵活表示多种复杂的领域知识.模型内部封装了知识库、推理机等专家系统核心部件,其推理机制结合了规则推理和过程演算,能将定性分析和定量计算很好的结合起来.CAARES将此模型用于系统主要功能模块的设计,较好地解决了系统中所涉及到的诊断、设计、预测等类型的问题.实践表明,该模型能提高专家系统的开发效率.

目录

文摘

英文文摘

笫一章绪论

1.1专家系统的基本原理

1.1.1专家系统简介

1.1.2专家系统的基本结构和特征

1.2专家系统辅助开发工具简介

1.2.1辅助开发工具分类

1.2.2几种常见开发工具介绍

1.3本文的工作

第二章CAARES系统的设计和实现

2.1领域背景知识

2.2碱集料反应专家系统的研究状况

2.3 CAARES的总体结构和设计思想

2.3.1 CAARES总体结构

2.3.2 CAARES设计思想

2.3.3各子系统功能

2.4系统实现技术

2.4.1推理模型的设计和使用

2.4.2主要模块功能和实现方法

第三章AIEXPERT模型的设计

3.1模型的提出

3.1.1现有工具技术的分析

3.1.2模型的设计目标

3.2模型总体结构

3.3模型知识表示

3.3.1知识表示简介

3.3.2面向对象知识表示方法的引入

3.3.3模型知识库定义

3.3.4模型知识类的定义

3.3.5模型知识表示的实现

3.4模型推理机制

3.4.1基于规则的推理控制策略

3.4.2模型推理机结构

3.4.3模型的推理机制

3.4.4模型推理机制的实现

3.4.5解释机制及其实现

3.5知识获取和维护

3.5.1知识获取

3.5.2知识库维护

第四章AIEXPERT模型的应用

4.1模型的使用方法

4.2构造实例

4.2.1例1：集料碱活性测定

4.2.2例2：碱集料反应(AAR)抑制

4.2.3例3：工程破坏原因诊断

第五章总结与展望

5.1总体工作概括

5.2改进的方向

致谢

结束语

参考文献