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

摘要

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