基于Petri网的DS推理理论.pdfVIP

第21卷第4期 长沙交通学院学报 v。i21No4 uNIVERsITY I)ec2005 coMMuNIcATIONs 2005年12月 JouRNAL呻cHANGsⅡA 04 文章编号：1000～9779{2005)04—0068 基于Petri网的D—S推理理论 乐晓波，苏阿辉 (长沙理工大学计算机与通信工程学院，湖南长沙410076) 摘要：将Petri网和D—s证据理论相结合。提出了PD—s推理理论。该理论将Ped网易 于简洁直观地模拟事件系统性和D—s证据理论的模糊推理融合在一起，通过不确定性函数 cER表示事件的库所的确定性。实际应用证明，PD—s理论具有知识表达能力强、处理不确 定性知识正确、推理过程直观等特点。具有较高的实际应用价值。 关键词：模糊推理；知识表达；cER；库所 中固分类号j唧】15 文献标识码：A Pet“网可以较好地描述系统的结构，表示系统中的并行、同步、冲突及因果依赖等关系，并能够以 网图的形式简洁直观地模拟事件系统，分析系统的动态性能，因而Petri网在网络协议、软件工程、人工 智能、数据管理、故障诊断等领域得到了广泛的应用，参见文献[1，2]。但是普通Pet“阿很难应用于模 糊知识表示和推理的一般问题中，而D—s证据理论刚好能弥补这个缺陷。Ds证据理论从不确定性 的证据出发，运用不确定性的规则，推出具有一定确定性且台理的结论，参见文献[3，4]。基于D—s证 据理论的不确定性推理共有5个步骤：1)一个具体的不确定性推理模型；2)证据的不确定性；3)规则 的不确定性；4)结论的类概率函数；5)不确定推理的传递算法。 1 D—s证据理论和Petri网的简介 1．1 D—s证据理论的基本概念 个子集的集合。 概率分配函数M：20一[o，1]，且满足M(西)=o，∑M(A)=1。 A[D 信任函数Bel：20一[o，1]，且对于所有的AcD，Bel(A)=∑M(B)。 BC^ 似然函数pl：2。一[o，1]，且对于所有的AcD，pl(A)=1一Bel(一A)。 o，M(A)=K 4。n^5“ “z“七2’ 1．2 Petri网的基本理论 文中所涉及到的Petri网的基本定义、有关术语与符号参见文献[5]。 net，简称网net)的充要条件是： 定义1三元组N=(s，T；F)称为有向网(directed 1)Sn丁=D； 2)sUT≠D； 3)FES×TU丁×S； 08—30 收稿日期：2005 作者简介：乐烧波(1957一)，男，长沙理工大学教授 第4期 乐晓波。苏阿辉：基于Petri网的D—s推理理论 69 4)加(F)U∞d(F)=sUT。 其中，幽优(F)=IzI relation)。条件 1)说明库所和变迁是两类不同的元素，每个库所可以代表某种资源，而变迁用以表示资源的消耗和流动 情况；条件4)表示网中不存在孤立的s元素或T元素。 前集和后集。由此还可进一步引人z的外延概念，即z=zUz，它表示所有与z有关的元素集合。 定义3对于s，s7∈s，若’s’=s’^j“=‘s，则s和s’互为补库所。 定义4 1)K：s—INU{m}称为Ⅳ的容量函数；