首页 | 本学科首页   官方微博 | 高级检索  
     

基于知识Petri网和归结规则的推理方法
引用本文:谭开成,罗继亮,章宏彬,林鑫杰,叶剑虹. 基于知识Petri网和归结规则的推理方法[J]. 控制理论与应用, 2023, 40(1): 172-177
作者姓名:谭开成  罗继亮  章宏彬  林鑫杰  叶剑虹
作者单位:华侨大学信息科学与工程学院,福建厦门361021
基金项目:国家自然科学基金项目(61973130), 福建省自然科学基金项目(2017J01117)资助.
摘    要:本文提出了一种基于知识Petri网和归结规则的推理方法.通过知识Petri网描述命题逻辑知识库,将归结规则映射到知识Petri网上,根据库所和变迁的连接关系,定义了知识Petri网中的归结结构.利用归结结构,给出了基于知识Petri网的归结推理算法和扩展知识库的推理算法,并利用Wumpus实例验证了推理算法.该推理方法是可靠且完备的,能够利用知识Petri网的网络结构降低计算复杂性.

关 键 词:Petri网  归结规则  推理
收稿时间:2021-04-07
修稿时间:2022-04-19

Reasoning method based on knowledge Petri nets and resolution rules
TAN Kai-cheng,LUO Ji-liang,ZHANG Hong-bin,LIN Xin-jie and YE Jian-hong. Reasoning method based on knowledge Petri nets and resolution rules[J]. Control Theory & Applications, 2023, 40(1): 172-177
Authors:TAN Kai-cheng  LUO Ji-liang  ZHANG Hong-bin  LIN Xin-jie  YE Jian-hong
Affiliation:Huaqiao University,Huaqiao University,Huaqiao University,Huaqiao University,Huaqiao University
Abstract:In this paper, a reasoning method based on knowledge Petri nets and resolution rules is proposed. First, aknowledge base in the form of propositional logic is described as a knowledge Petri net. Second, a resolution structure isdefined in a knowledge Petri net according to the input and output relationship of places and transitions. Third, a reasoningalgorithm is presented to perform resolution operations by resolution structures. Further, a reasoning algorithm is givenfor an extended knowledge base. Finally, the Wumpus world problem is taken as an example to illustrate and verify thereasoning algorithm. It is proved that the reasoning method is sound and complete. The computational complexity involvedin reasoning processes can be reduced by utilizing network structures of a knowledge Petri net.
Keywords:Petri nets   resolution rules   reasoning
本文献已被 万方数据 等数据库收录!
点击此处可从《控制理论与应用》浏览原始摘要信息
点击此处可从《控制理论与应用》下载全文
设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号