Title :
A Petri net semantics for logic programs with negation
Author :
Shimura, Teruhiro ; Lobo, Jorge ; Murata, Tadao
Author_Institution :
Dept. of Electr. Eng. & Comput. Sci., Illinois Univ., Chicago, IL, USA
Abstract :
An extended Petri net is used to model function-free logic programs with negation, i.e. normal logic programs. In this model, because of the presence of inhibitor arcs, the arbitrary application of firing rules may cause a contradictory situation. The authors suggest two directions to avoid contradictions, greedy and secure application of firing rules. Secure application is a direct translation of the well-founded semantics in the net model. Furthermore, the authors show that an unfounded set corresponds to a siphon in Petri net theory when one deletes the transitions disabled by the secure application of firing rules, and that the property of siphons simplifies the computation of well-founded semantics for logic programs
Keywords :
Petri nets; formal specification; logic programming; programming theory; Petri net semantics; contradictions; firing rules; function-free logic programs; greedy application; inhibitor arcs; negation; secure application; siphon; unfounded set; Application software; Artificial intelligence; Database languages; Inhibitors; Logic; Logic programming; Parallel architectures; Petri nets; Polynomials; Proposals; Specification languages;
Conference_Titel :
Software Engineering and Knowledge Engineering, 1992. Proceedings., Fourth International Conference on
Conference_Location :
Capri
Print_ISBN :
0-8186-2830-8
DOI :
10.1109/SEKE.1992.227976