利用不动点求解子句逻辑推演的Petri网模型

被引：5

作者：

林闯

吴建平

机构：

[1] 国家信息中心经济与技术研究所

[2] 清华大学计算机科学与技术系

来源：

关键词：

逻辑推演，子句，Petri网，不动点，四值逻辑;

D O I：

10.13328/j.cnki.jos.1999.04.005

中图分类号：

TP301 [理论、方法];

学科分类号：

081202 ;

摘要：

文章研究了子句逻辑推演的Ｐｅｔｒｉ网模型表示和不动点求解方法．基于四值逻辑和冲突变迁的概念，可用Ｈｏｒｎ子句的Ｐｅｔｒｉ网模型方法来构造非Ｈｏｒｎ子句的Ｐｅｔｒｉ网模型．逻辑推演的基本方法之一就是寻找逻辑赋值的不动点．该文显示了一种基于Ｐｅｔｒｉ网模型的子句逻辑不动点求解算法，比现有算法更为有效．

引用

页码：24 / 30

页数：7