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