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

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