基于知识Petri网和归结规则的推理方法

摘要：

本文提出了一种基于知识Petri网和归结规则的推理方法.通过知识Petri网描述命题逻辑知识库,将归结规则映射到知识Petri网上,根据库所和变迁的连接关系,定义了知识Petri网中的归结结构.利用归结结构,给出了基于知识Petri网的归结推理算法和扩展知识库的推理算法,并利用Wumpus实例验证了推理算法.该推理方法是可靠且完备的,能够利用知识Petri网的网络结构降低计算复杂性.

关键词：Petri网、归结规则、推理

所属期刊栏目：40

分类号：TP301.6;TP181;O141

资助基金：国家自然科学基金;福建省自然科学基金项目

在线出版日期：2023-04-12（万方平台首次上网日期，不代表论文的发表时间）

页数：共6页

页码：172-177