基于知识Petri网和归结规则的推理方法
谭开成
罗继亮
章宏彬
林鑫杰
叶剑虹
华侨大学信息科学与工程学院,福建厦门361021
摘要：本文提出了一种基于知识Petri网和归结规则的推理方法.通过知识Petri网描述命题逻辑知识库,将归结规则映射到知识Petri网上,根据库所和变迁的连接关系,定义了知识Petri网中的归结结构.利用归结结构,给出了基于知识Petri网的归结推理算法和扩展知识库的推理算法,并利用Wumpus实例验证了推理算法.该推理方法是可靠且完备的,能够利用知识Petri网的网络结构降低计算复杂性.
关键词：Petri网归结规则推理
资助基金：国家自然科学基金(61973130)福建省自然科学基金项目(2017J01117)
论文发表日期：2023-01-28
在线出版日期：2025-08-15（本平台首次上网日期，不代表文献的发表时间）
页数：6( 172-177 )
英文信息