| 引用本文: | 谭开成,罗继亮,章宏彬,林鑫杰,叶剑虹.基于知识Petri网和归结规则的推理方法[J].控制理论与应用,2023,40(1):172~177.[点击复制] |
| TAN Kai-cheng,LUO Ji-liang,ZHANG Hong-bin,LIN Xin-jie,YE Jian-hong.Reasoning method based on knowledge Petri nets and resolution rules[J].Control Theory and Technology,2023,40(1):172~177.[点击复制] |
|
| 基于知识Petri网和归结规则的推理方法 |
| Reasoning method based on knowledge Petri nets and resolution rules |
| 摘要点击 1501 全文点击 443 投稿时间：2021-04-07 修订日期：2022-04-19 |
| 查看全文 查看/发表评论 下载PDF阅读器 |
| DOI编号 10.7641/CTA.2021.10283 |
| 2023,40(1):172-177 |
| 中文关键词 Petri网 归结规则 推理 |
| 英文关键词 Petri nets resolution rules reasoning |
| 基金项目 国家自然科学基金项目(61973130), 福建省自然科学基金项目(2017J01117)资助. |
|
| 中文摘要 |
| 本文提出了一种基于知识Petri网和归结规则的推理方法. 通过知识Petri网描述命题逻辑知识库, 将归结规
则映射到知识Petri网上, 根据库所和变迁的连接关系, 定义了知识Petri网中的归结结构. 利用归结结构, 给出了基于
知识Petri网的归结推理算法和扩展知识库的推理算法, 并利用Wumpus实例验证了推理算法. 该推理方法是可靠且
完备的, 能够利用知识Petri网的网络结构降低计算复杂性. |
| 英文摘要 |
| In this paper, a reasoning method based on knowledge Petri nets and resolution rules is proposed. First, a
knowledge base in the form of propositional logic is described as a knowledge Petri net. Second, a resolution structure is
defined in a knowledge Petri net according to the input and output relationship of places and transitions. Third, a reasoning
algorithm is presented to perform resolution operations by resolution structures. Further, a reasoning algorithm is given
for an extended knowledge base. Finally, the Wumpus world problem is taken as an example to illustrate and verify the
reasoning algorithm. It is proved that the reasoning method is sound and complete. The computational complexity involved
in reasoning processes can be reduced by utilizing network structures of a knowledge Petri net. |
|
|
|
|
|