%0 Journal Article
%T Petri网用于Horn子句的逻辑推论
%A 林闯
%J -
%D 1993
%X 这篇论文探索了命题逻辑的Horn子句的Petri网模型,求解逻辑推论Petri网模型的T—不变量是求解逻辑推论的核心步骤,本文提供了计算T—不变量的算法,这些算法基于归约的思想,另外,在算法中利用单字母规则、纯字母规则和割裂规则可提高算法的速度和简化算法的复杂性
%U http://www.jos.org.cn/jos/ch/reader/view_abstract.aspx?file_no=19930406&flag=1