基于案例推理的鱼病诊断专家系统及其数据库设计

鉴于传统鱼病诊断专家系统在知识获取上存在的瓶颈问题,该文提出从案例推理的角度研究鱼病诊断问题,对鱼病诊断专家系统进行了重构,进而给出了新的鱼病诊断问题形式化定义。最后作了详细的数据分析和数据库设计。基于案例推理的研究方法为鱼病诊断问题开辟了一条新的途径,对生产实践具有重要意义。     

基于信息熵Petri网模型的知识发现研究

为描述命题和规则的可信度,定义了命题和规则的可信度信息熵。从熵的角度研究产生式规则中的不确定性推理,应用Petri网和可信度信息熵,建立了一类新的Information Entropy Petri网模型(IEPN),介绍了不确定性知识表示和推理步骤。同时分析IEPN推理对知识发现(KDD)的指导意义,并给出了IEPN推理过程及知识发现(KDK)方法。     

基于数据库的燃煤锅炉事故诊断专家系统的设计与实现

采用MS SQL Server7．0设计知识库，Visual Basic 6．0编程实现了燃煤锅炉事故诊断专家系统。本系统知识表示采用了基于概率逻辑的产生式规则形式，并用数据库的方法存储管理知识库。推理机采用规则值的方法，并应用主观Bayes理论建立了不确定性推理模型。实现了一种较为理想的不精确推理。     

120-1空气制动机故障诊断专家系统的研究

针对120-1空气制动机的故障特点,本文利用故障树分析法结合逻辑编码的方式建立知识规则集。在知识表示上采用“框架＋产生式规则”的方式,并用数据库理论完成了知识库表结构的设计,利用正向推理和基于单分支故障树的知识搜索策略设计了系统的推理机制。     

用Java语言开发专家系统

介绍用 Ｊａｖａ语言实现的一个基于产生式规则的小型专家系统。其产生式规则采用简化的 Ｍ．１格式;给出了知识表示和主要数据结构及链表的实现方法,详细说明了正向推理的运行过程,并讨论了反向推理的实现。最后提出了用专家系统实现主动性服务的应用思路．     

基于分布式网络体系结构的鱼病诊断智能系统的实现*

结合鱼病诊断知识和鱼病诊断专家经验,以人工智能理论为基础,采用B/S/S技术开发基于分布式网络体系结构的鱼病诊断智能系统。将鱼病诊断知识库的设计分为问题识别、知识概念化、知识形式化、知识实现和知识测试等五个阶段,并根据鱼病诊断流程和核心算法设计了鱼病诊断推理机制,最后对鱼病诊断的功能模块设计做了详细介绍。该智能系统的建立将有益于科学诊断和防治鱼病。     

网络安全综合监控平台中安全策略的研究

通过分析网络安全综合监控平台中安全策略的特点和要求,给出了安全策略的一般性定义和描述,研究了策略的完整性、正确性、一致性要求,以及策略冲突的处理原则.在基于规则的专家系统推理引擎基础上,为网络安全综合监控平台建立一种基于规则引擎的安全策略处理机制,描述了规则引擎的推理和使用步骤.该机制能够分离安全策略的管理决策逻辑和技术决策逻辑,具有较强的策略冲突解决能力.应用证明了该系统具有较强的鲁棒性和适应性.     

模糊Petri网及其在模糊推理中的应用

该文首先引入模糊Petri网(Fuzzy Petri Net)的定义，给出了一个九元模糊Petri网模型，并且详细介绍了模糊Petri网的激发规则。给出了产生式规则的模糊Petri网表示的三种模型，在此基础上提出了一种基于模糊Petri网的推理方法，最后使用模糊Petri网中知识表示和运行的基本算法解决了汽车质量检验和故障分析这一实际问题。实际应用证明基于模糊Petri网的产生式规则的推理具有知识表达能力强，处理不确定知识正确，推理过程简单直观，具有一定的智能推理能力，具有较强的实用价值。     

Android隐式信息流检测的本体模型

针对传统的信息泄漏检测技术无法有效检测Android应用中存在的隐式信息泄露的问题,提出了一种将控制结构本体模型与语义网规则语言（SWRL）推理规则相结合的Android隐式信息流（ⅡF）推理方法。首先,对控制结构中能够产生隐式信息流的关键要素进行分析和建模,建立控制结构本体模型;其次,通过分析隐式信息泄露的主要原因,给出基于严格控制依赖（SCD）隐式信息流的判定规则并将其转换为SWRL推理规则;最后,将添加的控制结构本体实例与推理规则共同导入到推理引擎Jess中进行推理。实验结果表明：所提方法能够推理出多种不同性质的SCD隐式流,公开样本集的测试准确率达到83.3%,且推理耗时在分支数有限时处于合理区间。所提模型方法可有效辅助传统信息泄露检测提升其准确率。     

NL:松弛时序逻辑自然推理系统

由于时序逻辑的特性所在,经典逻辑的某些规则不能直接用于时序自然推理,虽然N系统给出了一个解决办法——把所有规则或推理分为两类:垂直型和水平型,但这种二维模式又为推理带来了某些困难。本文提出了N_L松弛时序逻辑自然推理系统,它为以上两类推理提供了统一视角,我们可以证明:N_L与N等价;有N的证明则必有长度不超过它的N_L证明。     

一种不确定信息条件下的威胁估计方法

未来复杂战场环境下信息具有高度不确定性,对于不同类型的目标很难客观地估计其威胁等级。针对该问题,采用粒计算的有关理论建立了可实时更新的威胁估计信息系统,基于决策逻辑语言提取出极小化的规则集,它反应了信息系统所包含的专家经验知识。通过分析知识的不确定性,并给出其不确定性表示,提出了相应的知识推理策略,从而可以对复杂情况下的不同类型多目标进行有效的威胁估计。     

一种基于知识约简的Petri网模型简化方法

提出一种基于知识约简的Petri网模型简化方法,利用知识约简中的属性约简方法,去除Petri网对应的产生式规则的冗余规则和冗余条件,简化产生式规则得出关键规则。经过知识约简后的规则库转化为Petri网模型,此时的Petri网模型的结点数目减少,因此在一定程度上降低了网系统的复杂程度。简化后的模型保持原有的信息量,而所含的库所、变迁得到了减少,在其基础上进行的知识推理,更加简单和高效。最后通过一个病例实例说明,此方法简单实用,可以有效减少时间和空间复杂度,提高知识搜索和推理效率。     

DEFAULT LOGICS: A UNIFIED VIEW

Default logic has been introduced for handling reasoning with incomplete knowledge. It has been widely studied, and various definitions have been proposed for it. Most of the variants have been defined by means of fixed points of some operator. We propose here another approach, which is based on a study of the way in which general rules with exceptions, used in a default reasoning process, can contradict one another. We then isolate sets of noncontradicting rules, as large as possible in order to exploit as much information as possible, and construct, for each of these sets of rules, the set of conclusions that can be deduced from it. We show that our framework encompasses most of the existing variants of default logic, allowing those variants to be compared from a knowledge representation point of view. Our approach also enables us to provide an operational definition of extensions in some interesting cases. Proof-theoretical and semantical aspects are investigated.     

Formalization of object-oriented database model with rules

The paper investigates knowledge representation in an object-oriented database management system first within the data model with rules and second in the computational model by using logic. Issues of structure, integrity, and retrieval are focused on. The proposed system provides object-oriented concepts for describing complex structured data, rules for expressing object-dependent constraints and object associations, and, finally, logic for inference and retrieval.     

带限定性数目约束的描述逻辑ALCQ_(DES)

传统描述逻辑ALCQ以经典集合作为集合论基础,不能描述复杂的、模糊的、动态的知识。为此,引入可拓学中的可拓集合代替经典集合,作为描述逻辑ALCQ的集合论基础,提出一种新的带限定性数目约束的可拓描述逻辑ALCQDES。定义ALCQDES的概念、关系、TBox公理、ABox断言的语法形式,根据可拓集合和传统描述逻辑的语义解释方法,给出描述逻辑ALCQDES中的概念≥kR.C和≤kR.C的语义解释。研究描述逻辑ALCQDES的基本推理问题,给出一致性检测算法TableauDES*的≥kR.C和≤kR.C的断言扩充规则。与传统描述逻辑ALCQ和模糊扩展描述逻辑FALCQ相比,通过可拓集合扩展的描述逻辑ALCQDES具有更强的描述知识的能力。     

工程数据库系统中的知识管理

本文提出了工程数据库系统中的知识管理的概念，将建立在符号对象模型基础之上的知识分为三类：工程策略的管理，存取控制和规划的管理，本文着重讨论了复杂对象推理的特点，建立了从符号对象标识符，型继承和语义关系等概念，支持集合和局部不一致数据的处理，能更好地满足工程应用的要求。     

基于CLIPS的卫星任务规划专家系统设计

本文提出了基于CLIPS的卫星任务规划专家系统的设计方法,详细分析了系统的结构和功能,重点讨论了中文产生式系统的BNF范式、基于上下文的推理机制和集合运算符。中文产生式系统的BNF范式基于CLIPS标准BNF范式定义,并依据BNF范式进行规则表示和规则自定义获取;推理机采用上下文限制的规则控制策略,依据不同的上下文加载相关的事实和规则,提高推理机的运行效率;利用规则中的对象逻辑子式进行了集合运算符的设计,并对极值运算符、属性差值运算符和均值运算符等三类集合运算符进行了探讨。该系统解决了卫星任务规划中知识表示和知识获取问题,提高了卫星任务规划推理效率,为卫星任务规划人员提供有效的辅助决策功能。     

模糊逻辑技术在医学诊断中的应用研究

介绍了不确定性推理技术中几种主要方法,并分析了各种方法的优缺点。根据目前医学诊断中存在的问题及不同医学诊断的各自特点,设计了基于模糊逻辑的计算机辅助医学诊断系统,主要介绍了其中采用的动态模糊逻辑和加权模糊逻辑相结合的方法。该方法不仅能够帮助医生初步确诊疾病,而且能够分析出引起某种疾病变化的主要原因,从而帮助医生提高业务水平,提高其诊断的速度,减少误诊率。     

A fuzzy reasoning based diagnosis system for X control charts

This paper describes a new diagnosis system, which is based on fuzzy reasoning to monitor the performance of a discrete manufacturing process and to justify the possible causes. The diagnosis system consists chiefly of a knowledge bank and a reasoning mechanism. The knowledge bank provides knowledge of the membership functions of unnatural symptoms that are described by Nelson's rules on X control charts and knowledge of cause-symptom relations. We develop an approach called maximal similarity method (MSM) for knowledge acquisition to construct the fuzzy cause-symptom relation matrix. Through the knowledge bank, the diagnosis system can first determine the degrees of an observation fitting each unnatural symptom. Then, using the fuzzy cause-symptom relation matrix, we can diagnose the causes of process instability. In conclusion we provide a numerical example to illustrate the system.