一种基于Petri网思想的知识库的动态维护方法

本文研究了基于规则的专家系统知识库的维护问题，在添加一条新规则后，知识库可能出现矛盾规则，循环规则，冗余规则，从属规则等。文中详细给出了基于Ｐｅｔｒｉ网思想的对知识库进行维护的算法，进而决定是否添加该规则，从而保证了知识库的一致性，为专家系统进行正确推理，提高推理速度打下了坚实的基础。     

基于Petri网的知识库维护方法的研究

Ｐｅｔｒｉ网作为建立系统模型，性能分析，模拟，系统调度，控制等方面的工具已在计算机各方面得到了很好的应用。本文主要探讨了Ｐｅｔｒｉ网在知识库维护方面的应用，包括知识库的正确性、一致性及完备性的检查。对大型知识库的建立及其维护具有重要意义。     

基于面向对象Petri网的知识库模型

根据Petri网能够对知识的细节进行抽象的特点及对知识库系统应用的需求,利用VC 对Petri网进行了类的封装,建立了基于面向对象Petri网的知识库模型,实现了对知识库的动态维护,并增加了单步推理和反向执行的功能,同时也改进了规则维护算法。     

用于一致性检查的知识库Petri网模型

知识库是一致性是决定专家系统效率及求解正确性的关键因素。本文以Ｐｅｔｒｉ网为工具对知识库进行模拟分析，把知识库一致性的检查化简为线性代数问题，把这一方法应用于分布式知识库系统，首次得到了检查其一致性的形式方法。本文最后给出了一致性检查的充分必要条件，为建立（分布式）知识库的自动维护系统打下了基础。     

基于Petri网的统一知识表示模型

本文讨论知识表示的Ｐｅｔｒｉ网模型。将多种知识分类表示，对于开发具有较宽领域知识的系统具有重要意义。本文从统一的观点出发，在给出了Ｐｅｔｒｉ网的代数规范说明后，将三种主要的知识表示方法分别与Ｐｅｔｒｉ网模型之间建立映射系统，这三种知识表示方法为：逻辑表示法，语义网络和产生式系统。     

基于库所指标的Petri网分解方法

一、引言 Petri网是系统模拟和分析的有效工具。对于一个规模较大的网系统,由于变迁和库所数目的增多,其分析显得比较麻烦。针对这个问题,国内外的许多学者作了大量的工作,他们提出了网化简、网运算,定义了化简子网、逐次化简以及针对特殊子网、特殊结构的化简方法。文[6]和文[7]分别给出了网系统的“和分解”和“并分解”方法,并讨论了通过这两种分解方法得到的子网同原网在结构性质方面的对应关系。本文通过指定库所集的指标函数,给出一种基于库所指标集的Petri网分解方法,通过分解得到结构简单的子网系统:|t|≤1且|t|≤1,原系统的状态和语言与子系统之间存在着一种投影关系,通过子网间的同步合成可得到原系统的状态和行为,对用Petri网分析大规模系统提供了一种有效的方法。由于篇幅所限,本文没有介绍Petri网的基本概念和术     

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

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

基于案例推理系统的Petri网模型

在基于案例推理中，一个重要的问题就是如何在案例存储空间进行推演，本文中，我们提出了一个基于案例推理系统的Ｐｅｔｒｉ网模型，而且使用网论中的线性技术来解决基于案例的推演。     

一种基于Petri网的特定手语词汇识别方法

本文尝试使用Petri网进行简单的手语词汇识别。首先采用模板匹配方法检测到一系列简单的手势,如手掌张开直立、握拳、伸出大小拇指。其中,每个简单手势的发生对应于Petri网中的一个变迁。待识别的手语词汇是由一串特定的手势序列构成的,如手掌张开直立一握争伸出大小拇指。通过Petri网记录手势的动态变化,并在每次新变迁发生时检测目标库所的标志增加情况,从而实现特定手语词汇的识别。     

随机时间Petri网综述

随机时间Petri网作为一种灵活有力的建模机制,被广泛应用于计算机和通信系统的性能与可靠性评价。综述了随机时间Petri网各主要予类的发展历程与研究现状。首先介绍了随机时间Petrl网的一些基本概念,然后回顾了广义随机Petri网,简要总结了处理状态空间爆炸问题的主要途径,讨论了非马尔科夫随机Petri网及其分析技术,最后详细分析了流体随机Petri网。     

基于运维服务的知识库系统模型的研究

文章结合现代信息系统运堆模式,提出通过构建本体知识库来有效地辅助运维服务,将知识库系统应用到IT服务领域,并对该知识库系统进行详细建模.最终通过知识的积累、共享和自我更新,切实提高运雏服务效率.     

故障诊断专家系统知识库编辑和维护系统

设计了一种适用于故障诊断专家系统知识库编辑和维护系统。该系统从设备结构出发,将深知识和浅知识统一为一种形式,分别建立关于系统的部件、状态、属性、关系等字典,利用这些字典分别建立系统的结构知识库和推理知识库。还对系统的实现和功能进行了说明。     

配料专家系统知识库编辑和维护系统的设计

以烧结法氧化铝生料浆配料系统为机理,设计了一套适用于一般配料系统的知识库编辑和维护系统。系统以具体生产过程为基础,将浅知识和深知识相结合为一种表现形式,以产生式知识采表示,并对该系统的知识特点进行了阐述,然后从知识的特点出发分别建立了有关配料参数、状态、关系等字典,最后对系统的管理和维护功能和实现进行了说明。实际使用效果证明了该系统的可靠性。     

流体随机Petri网与混合Petri网的比较分析

流体随机Petri网和混合Petri网作为传统Petri网的拓展,可以建模离散成分和连续成分并存的混合系统,也可用于解决离散模型的状态空间爆炸问题.由于这两种建模机制远未发展成熟,分析比较它们的异同点有助于机制本身的进一步发展完善,有助于为特定的应用选择合适的建模方法.本文讨论了流体随机Petri网和混合Petri网的定义、连续标识、分析方法、以及相互转换的可能性.结论是这两种建模机制是互补的,各自适合于特定的应用场合.     

无界公平Petri网的进程表达式

Ｐｅｔｒｉ网的进程表达式是以该网系统的基本子进程集为字母的一个正规表达式．它用有限形式给出了网系统的所有（无限多个）进程的集合．作者于１９９５年给出了对任意给定的有界Ｐｅｔｒｉ网求其进程表达式的一个算法．这个算法对无界Ｐｅｔｒｉ网是不适用的,其原因在于子进程同构的概念在无界网系统中没有意义．对此,作者通过定义进程段行为等价的概念,导出了无界Ｐｅｔｒｉ网的进程表达式的一般形式,并借助无界公平网的特征     

Petri网的组合积网及性能分析

Petri网是一种系统描述和分析的工具 .Petri网组合是由小系统的性质获得大系统性质的一种有效的分析方法 .本文提出了 Petri网的组合积运算 ,包括 Petri网的 型组合积运算和 型组合积运算、Petri网的并积运算 ,讨论了保持网的结构性质的条件 ,为复杂大系统的分析提供了新途径     

A Logical Framework for Knowledge Base Maintenance

1IntroductionAmongalltheoreticalworksonknowledgebasemaintenance,Doyle's"TruthMaintenanceSystem"[1]andAlchourr6n,GdrdenforsandMakinson's"LogicofThe-oryChange"[2]playthemostimportantrole.'Inthe"TruthMaintenanceSystem",everylawcontainedinaknowledgebase,orabaseforshort,isspecifiedby"in"and"out"status,whichindicatethededuciblerelationsbetweenthelawsofthebase.Whenalawofthebaseisrejectedbytheusers3arevisedversionofthebasecanbeobtainedbymechanicallychangingthe"in"and"out"statusofthelaws.Thismech…