This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
High-Level Petri Net Model of Logic Program with Negation
June 1994 (vol. 6 no. 3)
pp. 382-395

The formalism of nonmonotonic reasoning has been integrated into logic programming to define semantics for logic program with negation. Because a Petri net provides a uniform model for both the logic of knowledge and the control of inference, the class of high-level Petri nets called predicate/transition nets (PrT-nets) has been employed to study production rule based expert systems and Horn clause logic programs. We show that a PrT-net can implement the nonmonotonicity associated with a logic program with negation as well as the monotonicity of Horn clause logic program. In particular, we define a semantics for a normal logic program and implement it with PrT-net. We demonstrate that in the presence of inconsistency in a normal logic program, the semantics still works well by deducing meaningful answers. The variations and potential applications of the PrT-net are also addressed.

[1] G. Brewka,Nonmonotonic Reasoning: Logical Foundations of Commonsense. Cambridge, UK: Cambridge University Press, 1991.
[2] K. L. Clark, "negation-as-failure," in H. Gallaire and J. Minker, Eds.,Logic and Data Bases. New York: Plenum, 1978, pp. 293-322.
[3] A. Van Gelder, A. Ross, and J. S. Schlipf, "The well-founded semantics for general logic programs," in7th ACM Symp. Principles Database Syst. (PODS), Mar. 1988, pp. 221-230.
[4] A. Van Gelder, "The well-founded semantics for general logic programs,"J. ACM, vol. 38, pp. 620-650, 1991.
[5] M. Gelfond and V. Lifschitz, "The stable model semantics for logic programming," inProc. 5th Int. Conf. Symp. Logic Programming, 1988, pp. 1070-1080.
[6] M. Gelfond and V. Lifschitz, "Logical program with classical negation," inProc. 7th Int. Conf. Symp. Logic Programming, 1990, pp. 579-597.
[7] A. Giordana and L. Saitta, "Modeling production rules by means of predicate transition networks,"Inform. Sci., vol. 35, pp. 1-41, 1985.
[8] R. A. Kowalski, "Predicate logic as a programming language,"Inform. Processing '74, 1974, pp. 569-574.
[9] L. Li and J.-H. You, "Making default inferences from logic programs,"Computational Intell., vol. 7, pp. 142-153, 1991.
[10] J.W. Lloyd,Foundations of Logic Programming, Springer-Verlag, New York, 1987.
[11] J. McCarthy, "Circumscription: A form of nonmonotonic reasoning,"Artificial Intell., vol. 13, pp. 27-39, 1980.
[12] R. Moore, "Semantical considerations on nonmonotonic logic,"Art. Intell., vol. 25, pp. 75-94, 1985.
[13] T. Murata and V. S. Subrahmanian, and T. Wakayama, "A Petri net model for reasoning in the presence of inconsistency,"IEEE Trans. Knowl. Data Eng., vol. 3, pp. 281-292, 1991.
[14] T. Murata and D. Zhang, "A predicate-transition net model for parallel interpretation of logic programs,"IEEE Trans. Software Eng., vol. 14, pp. 481-497, 1988.
[15] G. Peterka and T. Murata, "Proof procedure and answer extraction in Petri net model of logic programs,"IEEE Trans. Software Eng., vol. 15, pp. 209-217, 1989.
[16] T. Przymusinski, "Every logic program has a natural stratification and an iterated least fixed point model," in8th ACM Symp. Principles Database Syst. (PODS), Mar. 1989, pp. 11-21.
[17] W. Reisig, "Petri nets: An introduction," inEATCS Monographs on Theoretical Computer Science. New York: Springer-Verlag, 1985.
[18] R. Reiter, "A logic for default reasoning,"Artificial Intell., vol. 13, pp. 81-132, 1980.
[19] K. A. Ross, "A procedural semantics for well founded negation in logic programs," in8th ACM Symp. Principles Database Syst. (PODS), Mar. 1989, pp. 22-32.
[20] M. H. van Emden and R. A. Kowalski, "The semantics of predicate logic as a programming language,"J. ACM, vol. 23, no. 4, pp. 733- 743, 1976.

Index Terms:
nonmonotonic reasoning; logic programming; Petri nets; expert systems; Horn clauses; high-level Petri net model; normal logic program; negation; nonmonotonic reasoning; logic programming; semantics; uniform model; inference control; predicate/transition nets; PrT-nets; production rule based expert systems; Horn clause logic programs; inconsistency
Citation:
L. Li, "High-Level Petri Net Model of Logic Program with Negation," IEEE Transactions on Knowledge and Data Engineering, vol. 6, no. 3, pp. 382-395, June 1994, doi:10.1109/69.334863
Usage of this product signifies your acceptance of the Terms of Use.