共 1 条
逻辑推理中的Petri网应用
被引：2
作者：
林琪
贺松云
机构：
[1] 国防科工委指挥技术学院
来源：
关键词：
Petri网,逻辑,子句,生成矩阵;
D O I：
暂无
中图分类号：
TP393.1, [];
学科分类号：
摘要：
本文讨论利用Ｐｅｔｒｉ网实现逻辑问题的推理，首先介绍了逻辑问题的Ｐｅｔｒｉ网模型描述方法，并举例说明了利用矩阵演算实现推理的算法。Ｐｅｔｒｉ网的研究与利用对开发逻辑程序并行性，提高推理效率很有意义。
引用
收藏
页码：30 / 33
页数：4
相关论文