%0 Journal Article
%T 利用不动点求解子句逻辑推演的petri网模型
%A 林闯？
%A 吴建平？
%J 软件学报
%P 359-365
%D 1999
%X 文章研究了子句逻辑推演的petri网模型表示和不动点求解方法.基于四值逻辑和冲突变迁的概念,可用horn子句的petri网模型方法来构造非horn子句的petri网模型.逻辑推演的基本方法之一就是寻找逻辑赋值的不动点.该文显示了一种基于petri网模型的子句逻辑不动点求解算法,比现有算法更为有效.
%K 逻辑推演
%K 子句
%K petri网
%K 不动点
%K 四值逻辑.
%U http://www.jos.org.cn/ch/reader/view_abstract.aspx?file_no=19990405&flag=1