基于petri网知识表示方法的研究

《基于petri网知识表示方法的研究》由会员上传分享，免费在线阅读，更多相关内容在学术论文-天天文库。

1、独创性声明本人声明，所呈交的论文是本人在导师指导下进行的研究工作及取得的研究成果。尽我所知，除了文中特别加以标注和致谢的地方外，论文中不包含其他人已经发表或撰写过的研究成果，也不包含为获得武汉理工大学或其它教育机构的学位或证书而使用过的材料。与我一同工作的同志对本研究所做的任何贡献均已在论文中作了明确的说明并表示了谢意。学位论文使用授权书本人完全了解武汉理工大学有关保留、使用学位论文的规定，即学校有权保留并向国家有关部门或机构送交论文的复印件和电子版，允许论文被查阅和借阅。本人授权武汉理工大学可以将本学位论文的全部内容编入有关数据库进行检索，可以采用

2、影印、缩印或其他复制手段保存或汇编本学位论文。同时授权经武汉理工大学认可的国家有关机构或论文数据库使用或收录本学位论文，并向社会公众提供信息服务。(保密的研究生签名：El期：／一加f弓，S摘要知识表示是知识工程的核心课题之一，主要研究用什么样的方法解决问题所需的知识存储在计算机中，并便于计算机处理。大量的研究和实践证明，知识表示方法的优劣不仅对对知识的获取和学习机制也有一定的影响，而且对知识处理的效率和应用范围影响很大，合理和有效的知识表示方法往往成为知识系统成败的关键。Petri网具有直观的模型描述、严密的数学理论基础和有效的模型分析方法，是研究具

3、有并行、异步、不确定和分布式特征系统的强有力工具。基于Petri网的知识表示方法可将知识表示和推理融于一体，实现描述性知识和过程性知识的推理，其优越之处在于结构和知识表达图形化、推理搜索快速化和推理过程数学化。论文结合国内外Petri网理论的发展成果，对基于Petri网的知识表示方法中的模型与推理算法、知识库校验、模糊与不确定知识表达和推理机制以及自学习能力等关键问题进行了深入的分析和研究。该理论和方法进一步丰富了人工智能理论体系，对人工智能技术的发展具有重要的推动作用。论文的主要工作和研究成果如下：1、给出了基于知识Pctri网的知识表示模型与推理

4、算法。传统的基于Petd网的知识表示方法是利用基本Petri网进行知识表示和推理。论文分析了基本Petri网在知识表示时存在的冲突和冲撞等问题，给出了更加适合知识表示和推理的知识Petri网的知识表示模型，推理算法充分利用了Petd网的并行能力，完全采用矩阵运算实现，简单高效。2、给出了基于Petri网的知识库校验方法。基于产生式的知识库校验方法难以完成规则与规则之间的不一致性校验，论文给出了基于Petri网的冗余规则、矛盾规则、循环规则和不完备规则的校验方法，并用一个校验实例验证了该方法的正确性。3、提出了基于加权模糊Petri网的模糊、不确定知识

5、表达模型及其推理机制。模糊Petri网具备复杂系统的模糊、不确定知识表达与推理能力，然而它没有考虑不同因对结论的影响程度。针对模糊Petri网知识表达的这一不足，论文给出了更为精确、合理和有效的加权模糊Petri网模型。传统的模糊Petri网推理算法主要采取图形的推理方法，效率低且不便于计算机实现。论文给出了模型的形式化推理算法，推理效率高且十分便于计算机实现。4、研究了模糊Petri网的自学习能力及其在专家系统中的应用。缺乏自学习能力是模糊Petri网的一个不足。人工神经网络具有很强的自学习和自适应能力。论文将神经网络的自学习算法引入模糊Petri

6、网中，使模糊Petri网具备自学习能力。最后将其应用到故障诊断的实例之中，验证了其良好的效果。关键词：Petri网，模糊Petri网，知识表示，知识推理，人工神经网络IIABSTRACTAsoneofthecoreissuesofknowledgemainlyresearchtosolveproblemswithengineering，knowledgerepresentationiseffectivemethodandconvenientforcomputerprocessing．Alotofresearchandpracticehaveprove

7、dthatknowledgerepresentationnotonlyhasacertainimpactonknowledgeacquisitionandlearningmechaIlism．butalsohasgreatimpactontheefficiencyandtheapplicationrangeoftheknowledgeprocessing．ReasonableandeffectiveknowledgerepresentationmethodiSthekeytothesuccessofknowledgesystem．P缸11etshas

8、intuitionisticmodel，rigorousmathematicaltheoryandeffec