面向对象数字电路知识库系统的研究

面对学习者对数字电路问题的辅导要求，研究了面向对象的数字电路知识库系统。该系统以问题自动求解模块的工作为核心，在提供正确解题过程、诊断学习者解题行为、对学习者的解题错误给出恰当辅导、问题的类别信息提取等方面取得了满意的效果。     

粉煤灰混凝土专家系统的实现

本文简要介绍了上海粉煤灰混凝土专家系统的功能，并结合实例阐述了系统的各组成部分及其实现方法，以及系统软件的设计特点。     

分布式防空C~3I智能辅助决策模型

文章针对战场环境的动态性、不确定性和不可预测性,依据分布式防空C3I系统结构,对决策需求进行了分析,以战区级为背景,提出了智能辅助决策模型。     

FMS故障诊断知识库管理与检验系统研究和开发

本文讨论了ＦＭＳ故障诊断知识库管理及检验系统设计与实现，重点讨论了知识库检验的具体步骤，用数据库实现知识库管理的优越性和作者在开发数据库过程中总结了来的共享数据问题。     

表示和处理缺省知识的模糊推理系统的研究

本文应用ｍａｘ－⊙复合运算下，基于模糊关系Ｒｂ的推理方法，提出了能够表示和处理缺省知识的模糊推理方法、算法，并用Ｔｕｒｂｏ－ｐｒｏｌｏｇ语言，设计并实现了表示和处理缺省知识的模糊推理系统。     

实用知识获取系统PKAS的知识维护

ＰＫＡＳ是一个实用化知识获取系统，它设置了背影知识库支持知识获取。ＫＢＭ是ＰＫＡＳ的背影知识库维护子系统。在ＫＢＭ的支持下，用ＰＫＡＳ获取的规则预测油井类型精度率达到７９％。也给出ＰＫＡＳ系统中背影知识的形式。     

知识库维护技术的研究

针对采用人工方法维护知识库存在的弊端，对知识库在一致性和完整性方面存在的问题进行了分析，给出了循环规则，冲突规则，等价规则，子规则，遗漏规则，不可达子句和死子句的定义及其检查方法。     

基于因果链的知识库建造

涂象初等建立了一种集合搜索技术,其效率比传统的逐点搜索有所提高,是解决搜索问题的一种新途径。在许多应用中,集合搜索实质上是一个具有布尔代数元的IF－THEN结构序列,即     

定性空间推理的研究与进展

定性空间推理是人工智能学科处理常识性空间知识的一种方法[l],其推理任务包括图:推导知识库中的隐含知识;针对给定的部分知识或特定的上下文回答询问;维护一致性;获取新知识特别是认知图;定性场景描述的可视化。     

氧化铝生产故障诊断与处理专家系统

在现有DBMS中引入ES方法构造专家数据库系统（DES）有明显的优势 氧化铝生产工艺流程复杂，故障处理涉及大量生产数据和专家经验，建立相应的专家数据库系统很有必要 本文介绍了氧化铝生产故障诊断与处理专家系统的结构，知识库构造和推理机的实现。