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