计算机科学 ›› 2014, Vol. 41 ›› Issue (7): 148-152.doi: 10.11896/j.issn.1002-137X.2014.07.030
耿霞,张继军,李蔚妍
GENG Xia,ZHANG Ji-jun and LI Wei-yan
摘要: 针对已有一阶谓词逻辑推理方法中存在的推理效率低等问题,研究一种基于谓词/变迁系统的图形推理法。定义了描述谓词间与/或关系的谓词-与/或图,借助谓词-与/或图表示谓词/变迁系统,提出一种实现反向推理的目标制导的图形推理法。该方法推理效率高,较已有的推理方法具有一定的优越性。
[1] 袁崇义.Petri网原理与应用[M].北京:电子工业出版社,2005 [2] Peterka G,Murata T.Proof procedure and answer extraction in Petri net model of logic programs[J].IEEE Transactions on Software Engineering,1989,5(2):209-217 [3] Murata T,Zhang D.A predicate-transition net model for parallel interpretation of logic programs[J].IEEE Transactions on Software Engineering,1988,4(4):481-497 [4] 林闯,吴建平.利用不动点求解子句逻辑推演的Petri网模型[J].软件学报,1999,0(4):359-365 [5] 方欢,吴哲辉,崔焕庆.基于Horn子句集的Pr/T网可达树的方案求解[J].系统仿真学报,2005,7(增刊1):163-165 [6] 方欢,印玉兰,徐誉尹.利用谓词/变迁网证明的一阶谓词逻辑命题[J].计算机工程,2006,2(23):191-198 [7] 耿霞,吴哲辉,张继军.谓词/变迁系统对一阶谓词公式的建模[J].系统仿真学报,2007,9(增刊1):9-15 [8] Lin C,Chandhury A,Whinston A B,et al.Logical inference of Horn clauses in Petri net models[J].IEEE Transactionson Knowledge and Data Engineering,1993,5(3):416-425 [9] 林闯.Petri网用于Horn子句的逻辑推论[J].软件学报,1993,4(4):32-37 [10] 周奕,吴时霖.基于归结反演的Petri网推理新方法[J].计算机学报,1997,0(3):213-222 [11] Lin C,Chanson S T,Murata T.Petri Net Models and Efficient T-Invariant Analysis for Logical Inference of Clauses[C]∥1996IEEE International Conference on Systmes,Man and Cybernetics.Beijing,China,October 1996:3174-3179 [12] 林闯,王鼎兴.使用Petri网T-不变量求解子句的逻辑推论[J].计算机学报,1996,9(10):762-767 [13] 左孝凌,李为鑑,刘永才.离散数学[M].上海:上海科学技术文献出版社,1982 [14] 蒋昌俊.Petri网的动态不变性[J].中国科学(E辑),1997,7(5):567-573 [15] 梁伟晟,李磊.基于与或逻辑的界面关系模型表示方法[J].计算机科学,2008,5(4):203-204,0 [16] Murata T,Subrabmanian V S,Wakayama T.A Petri net model for reasoning in the presence of inconsistency[J].IEEE Trans on Knowledge and data Engineering,1991,3(3):281-292 |
No related articles found! |
|