Petri网用于Horn子句的逻辑推论

被引：4

作者：

林闯

机构：

[1] 国家信息中心信息科学与应用研究所北京

来源：

关键词：

不变量; 逻辑推论; 网模型; Petri; Horn; 字母规则; 关联矩阵;

D O I：

10.13328/j.cnki.jos.1993.04.006

中图分类号：

学科分类号：

摘要：

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

引用

页码：32 / 37

页数：6