petri网用于horn子句的逻辑推论

这篇论文探索了命题逻辑的horn子句的petri网模型,求解逻辑推论petri网模型的t—不变量是求解逻辑推论的核心步骤,本文提供了计算t—不变量的算法,这些算法基于归约的思想,另外,在算法中利用单字母规则、纯字母规则和割裂规则可提高算法的速度和简化算法的复杂性。