控制理论与应用

作者：谭开成,罗继亮,章宏彬,林鑫杰,叶剑虹

单位：华侨大学,华侨大学,华侨大学,华侨大学,华侨大学

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

基金：国家自然科学基金项目(61973130), 福建省自然科学基金项目(2017J01117)资助.

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

来源：2023年第1期

《控制理论与应用》期刊编辑部

查看控制理论与应用杂志2023年第1期