基于归结反演的Petri网推理新方法
NEW METHODS OF LOGIC INFERENCE OF PETRI NET BASED ON RESOLUTION REFUTATION作者机构：伊里诺依大学芝加哥分校电子工程系复旦大学计算机科学系
出 版 物：《计算机学报》 (Chinese Journal of Computers)
年 卷 期：1997年第20卷第3期
页 面：213-222页
核心收录：
学科分类：12[管理学] 1201[管理学-管理科学与工程(可授管理学、工学学位)] 08[工学] 081201[工学-计算机系统结构] 0812[工学-计算机科学与技术（可授工学、理学学位）]
基 金：国家863计划
摘 要：本文首先在命题逻辑的库所／变迁网模型中，提出四种新的证明目标命题成立的推理算法，即求包含目标变迁的Ｔ－不变量并同时求出变迁发生序列的算法，它们都源于归结反演系统中的改进策略．然后修改这些算法，并将它们推广到一阶谓词逻辑的谓词／变迁网模型中．这些算法都具有较高的效率，为逻辑推论的Ｐ／Ｔ网和Ｐｒ／Ｔ网模型的推理提供了新的有效的方法．
维普期刊数据库
同方期刊数据库