面向对象的医疗诊断推理机设计

本文针对医疗诊断推理的难点,提出了以自反馈的AM网络为主、以规则推理为辅的面向对象的医疗诊断推理模型。这种模型既具有AM网络的优点,又克服了AM网络容量有限的缺陷。结合面向对象的知识封装,将学习机融于推进机,将推理机融于知识表示,在MDES的设计中,表面出良好的适应性。     

工艺设计知识库的建造与维护

文中根据工艺设计知识的特点,构造了层次化的知识表达、组织与知识库模型,分析了工艺知识库不一致的表现形式,并给出了相应的一致性验证算法,提出了基于广义决策表的知识库完备性检查方法。     

检测病毒与垃圾邮件融合的分层合作过滤方案*

从垃圾邮件产生的原因入手,分析了几种典型的垃圾邮件防护技术,并在此基础上提出了一种检测病毒与垃圾邮件技术融合的分层合作过滤方案,该方案实施在网关,在提高系统安全性的同时大大降低了漏报。     

模糊面向对象数据模型的描述逻辑表示与推理

通过分析描述逻辑与面向对象数据模型之间的关系,研究了基于描述逻辑的模糊面向对象数据(fuzzy object-oriented data,简称FOOD)模型的表示与推理.首先,进一步研究了FOOD模型,提出了FOOD模型的形式化定义和语义定义,以便更好地在FOOD模型与模糊描述逻辑之间建立对应关系;然后,针对FOOD模型的特点和推理需求,介绍了模糊描述逻辑f-ALCIQ.在此基础上,研究了基于f-ALCIQ的FOOD模型的表示与推理,包括:实现了从FOOD模型到f-ALCIQ知识库在结构层和实例层上的转化,即实现了从FOOD模型到f-ALCIQ TBox的转化,以及从FOOD模型相应的数据库实例到f-ALCIQ ABox的转化;进而,基于转化得到的f-ALCIQ知识库,研究了如何利用f-ALCIQ的推理机制对FOOD模型的推理问题(一致性、包含性和冗余性等)进行推理;最后,设计并实现了基于f-ALCIQ的模糊描述逻辑推理机(FRsQ推理机),实现了对FOOD模型和f-ALCIQ模糊概念知识的自动推理.     

Web服务与MAS集成系统的通信机制

提出了一种Web service与多Agetit系统（MAS）集成的通信机制，以描述逻辑作为知识农示语言，使用描述逻辑本体库和推理机。使Agent之间语义表达更精确，推理能力更强，较好地实现了Agent问的服务匹配，在此基础上。发挥Web service在异构平台间实现互操作的优势，用SOAP协议直接对Web service进行绑定，实现了快速准确的通信。     

抗洪抢险专家系统KCExpert的分析与实现

抗洪抢险专家系统KCExpcrt能够实时分析洪水灾情，结合军事运筹学、人工智能技术．通过匹配算法，把不同灾情分派给不同兵种，实现部队在抗洪抢险中最大程度的优化组合。在系统实现过程中，运用专家系统开发工具OKPS，保证知识库和推理机的分离，真正实现抗洪抢险的实时性、可靠性，同时提高系统对突发事件的应急处理能力，尽可能地减少洪灾带来的损失。     

基于本体的推理机研究

语义网技术的兴起促进了本体技术的发展,本体作为语义网的基石,在知识表示与知识推理方面发挥着重要作用。本体表示语言与描述逻辑相结合,为本体推理的合理性和有效性提供了保证。介绍了本体语言、描述逻辑和描述逻辑推理的基本原理,重点介绍了基于SHIQ描述逻辑的推理机Racer的基本功能及其在智能信息检索中的应用。     

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

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

模糊专家系统推理机设计

采用面向对象的方法分析了模糊专家系统推理机,提出了模糊推理机的结构模型.该模型分为匹配器、保存结论部件、驱动解释部件,通过消息传递将各部件有机地结合起来.利用该方法成功地实现了一个高效、简洁及功能易于扩充的模糊推理机.     

压电复合材料设计专家系统的原型设计

建立了一个压电复合材料设计专家系统的原型，原型系统由一个采用了不精确推理和元控制推理技术的推理机，三个材料知识库，两个元知识库以及辅助性功能模块组成，能够模拟材料设计专家，为水声换能器所需的压电复合材料提出设计方案，经过用户使用过程中对其知识库的不断完善，最终可在室运用计算机进行材料设计的实用目的。