基于Petri网的规则系统的验证.pdfVIP

2010年7月 广西轻工业 第7期(总第140期) GUANGXIJOURNALOFLIGHTINDUSTRY计算机与信息技术 基于Petri网的规则系统的验证 李明涛 (桂林理工大学机械与控制工程学院，广西桂林54l004) 【摘 要】 针对一个专家系统规则中典型的结构性错误，即冗余、不一致、不完备、循环，文中提出一种使用Petri网来对 规则进行验证的方法。首先，把规则正常化为Horn子句。接着，对这些正常化了的规则重新排序。然后，把这些排序好的规则转化 成petri网以及相应的关联矩阵。最后，实现基于关联矩阵的规则验证。它由四个阶段组成：规则正常化，规则排序，规则向Petri网 的转化和规则验证。 【关键词】Petri网；专家系统；规则系统；规则验证 【中图分类号】TP301【文献标识码】A 【文章编号】1003—2673(2010)07—58—02 1 引言 基于逻辑上p_1=一pVq的等同性，可以推出任何类型规则 专家系统是由各个领域专家的知识(论证，规定和推论的 的规格化，建立如下规则规格化的标准。规格化的结果是任何类 方式)构成的计算机系统。其核心是由各领域专家那里得到的 型的规则都可以规格化为用Horn子句形式来表示的规则。 论证和规定所构成的规则。拥有专家系统的用户可以在系统上 查询信息，就如同真的跟行业专家咨询一样。一般来说，行业专 家收集知识和专家意见的过程带有逐步性和直觉性，因此，一 作为一组规则。 个规则必然是逐步建立以及多次优化。此外，一个专家系统通 常是由众多专家商讨共同建立的，必然会有相互冲突的地方。 AP。可以被规格化为PPPi八PI+l八．AP。的形式作为一组规则， 因此，在一个有很多规则的规则系统内有一些结构性错误也就 或者是P。VP2V…VPi一。一Pi，j≤i≤k的形式作为一组规则。 不足为奇。 2利用Petri网进行规则建模 PI-l的规则。 规格化4：基于规格化2，形如P。VP：V…V 本文中的方法与利用图论原理验证规则不同，它是使用规 Pj一。一Pi(每个 则排序与关联矩阵。当在一个规则系统使用Petri网时，用变化 来表示规则，同时变化的输入和输出分别表示规则的条件和结 P；的规则。 论。有标志的就表示着相应的条件，结论是真。—个变化可用 得出以上规格化的原因是，任何类型的规则都可以被规格 被激活的相应规则是满足规则条件的。多个规则也可以被同时 化为如下三类Horn子句形式的规则： 激活，然而一次只能用一个。这和的定义是相似的，即在Petri 类型1：Pl八P2八…八Pj，广+Pj； 网中可以同时激活多个变化但一次仅有一个在用。变化的使用 类型2：P广+Pl，pi．p2，……，P广+P，．I； 将会把标志送到变化的输出中，这也和规则使用相类似，即规 类型3：Pl—+Pj，Pf+Pi，，……，Pj—I—+Pi； 则的使用表示条件成立。 2．2规则排序 2．1规则规格化 在把规则转化为Petri网以及其相应的关联矩阵之前，必 任一规则都可以像逻辑含义一样指定为如下的类型或者 须先把有序的规则放置到规则系统中保存起来，以便于在规则 是它们的组合； 验证部分使用。规则排序的概念基于三个标准，它们是：转化所 产生的关联矩阵中，其内所有列中的所有肯定条目位于所有否 置八最天：：j入只一l_￡入只+l天：-’天斥 定条目的上边；同时在矩阵内的所有行中，所有肯定条目位于 只入只入=入己一lj￡V弓+1◇_一0