| Horn子句逻辑程序的Petri网模型 |
| |
| 引用本文： | 徐志农. Horn子句逻辑程序的Petri网模型[J]. 暨南大学学报(自然科学与医学版), 1990, 0(3) |
| |
| 作者姓名： | 徐志农 |
| |
| 作者单位： | 暨南大学计算机科学系 |
| |
| 基金项目： | 暨南大学青年科学基金资助课题 |
| |
| 摘 要： | Horn 子句逻辑程序 H 可以逻辑等价地转化为 Petri 网模型 M,在 M 中从初始标识 N_0到目标变迁/g(?)形成的发射序列对应着求解 H 的调用序列,在 M 中存在变迁不变式 X≥(?),并且 X(tg)≠0是 H 有解的充要条件。
|
| 关 键 词： | 逻辑程序设计 Horn子句 Petri网 人工智能 逻辑学 |
A Petri Net Model for Horn Clause Logic Programs |
| |
| Xu Zhinong. A Petri Net Model for Horn Clause Logic Programs[J]. Journal of Jinan University(Natural Science & Medicine Edition), 1990, 0(3) |
| |
| Authors: | Xu Zhinong |
| |
| Affiliation: | Dept of Computer Science |
| |
| Abstract: | In this paper,the rules to translate a logic program into its Petri net model and the methods based on Petri nets to study logic programs are presented. There are three main results.First,a logic program can be equivalently translated into its Petri net model.Second,if a firing sequence starts with the initial marking and ends with the firing of a goal transition in the Petri net model,then its reverse calling sequence exists in the logic program. Finally,a logic program can be solved iff its Petri net model has a nonnegative T-invariant which includes the goal transition in its support. |
| |
| Keywords: | Logic Programming Horn clauses Petri nets AI Logic |
| 本文献已被 CNKI 等数据库收录！ |
|
