地震预报专家系统中基于COM的驾驭式解释机制研究

摘要

该文的主要内容是利用过程型程序设计语言Visual C++和逻辑型程序设计语言Visual Prolog协同开发地震预报专家系统,在实现全局推理的基础上对解释方法进行研究与探索.首先,该文论述了解释的概念、解释研究的基本内容及其作用.其次,该文讨论了借助COM技术结合过程型程序设计语言和逻辑型程序设计语言协同开发专家系统的具体方案.该方案可以充分发挥不同类型语言的优势,为人工智能软件的开发提供了一套可行的实现方法.该文所提出的两套方案各自适合于不同的开发需求.再次,该文对驾驭式解释方法作了较为深入的研究,提出了同步解释和驾驭解释的具体实现方案.该解释方法使用户积极主动地参与到专家系统的推理中,使推理结果更加满足用户的需求.最后,该文具体描述了地震预报专家系统全局推理的实现技术和过程,并在全局推理模块中引入通用模糊推理算法.在此基础上系统可对推理前提、选择证据、使用规则进行驾驭,即可供用户同步了解当前推理状况,并可适当调整所控制对象内容,使推理结果更贴近于用户的需求.

目录

摘要

ABSTRACT

第一章 绪论

§1.1解释的重要性和作用

§1.1.1解释研究的基本内容

§1.1.2解释的重要性

§1.1.3解释的作用

§1.2模糊技术与专家系统

§1.3本文的研究内容

§1.3.1本文拟解决的问题

§1.3.2本文的内容安排

第二章 解释的基本理论

§2.1用户模型

§2.1.1用户模型的定义

§2.1.2用户模型的表示方法

§2.2解释信息的确定

§2.2.1领域知识结构

§2.2.2问题求解上下文

§2.3解释的交流方式

§2.3.1媒体选择

§2.4小结

第三章 逻辑型语言和过程型语言中的COM技术

§3.1 COM技术基础

§3.1.1 COM结构

§3.1.2 COM特性

§3.2逻辑型程序调用过程型程序组件

§3.2.1用Visual C++开发动态链接库，以调用COM组件。

§3.2.2主程序调用动态连接库

§3.3过程型程序调用逻辑型程序组件

§3.3.1使用Visual Prolog开发DLL文件

§3.3.2使用Visual C++开发COM层

§3.3.3使用Visual C++开发主程序

§3.4混合编程在人工智能领域中的应用

§3.5小结

第四章 基于COM的解释方法研究

§4.1事后解释

§4.2同步解释

§4.2.1研究背景

§4.2.2实现方法

§4.3驾驭解释

§4.3.1研究背景

§4.3.2实现方案

§4.4小结

第五章 地震预报专家系统中解释的实现

§5.1知识库结构定义

§5.1.1结构知识库

§5.1.2规则知识库

§5.1.3异常证据库

§5.2通用模糊推理算法

§5.2.1模糊匹配算法

§5.2.2通用模糊匹配算法

§5.3全局推理

§5.3.1推理机

§5.3.2解释子系统

§5.4小结

第六章 总结和展望

§6.1本文主要结论

§6.2今后工作展望

参考文献

发表论文、专著、科技成果

致谢