Skip to main content
Log in

Stable semantics for disjunctive programs

  • Special Issue
  • Published:
New Generation Computing Aims and scope Submit manuscript

Abstract

We introduce the stable model semantics fordisjunctive logic programs and deductive databases, which generalizes the stable model semantics, defined earlier for normal (i.e., non-disjunctive) programs. Depending on whether only total (2-valued) or all partial (3-valued) models are used we obtain thedisjunctive stable semantics or thepartial disjunctive stable semantics, respectively. The proposed semantics are shown to have the following properties:

  • • For normal programs, the disjunctive (respectively, partial disjunctive) stable semantics coincides with thestable (respectively,partial stable) semantics.

  • • For normal programs, the partial disjunctive stable semantics also coincides with thewell-founded semantics.

  • • For locally stratified disjunctive programs both (total and partial) disjunctive stable semantics coincide with theperfect model semantics.

  • • The partial disjunctive stable semantics can be generalized to the class ofall disjunctive logic programs.

  • • Both (total and partial) disjunctive stable semantics can be naturally extended to a broader class of disjunctive programs that permit the use ofclassical negation.

  • • After translation of the programP into a suitable autoepistemic theory\( \hat P \) the disjunctive (respectively, partial disjunctive) stable semantics ofP coincides with the autoepistemic (respectively, 3-valued autoepistemic) semantics of\( \hat P \) .

This is a preview of subscription content, log in via an institution to check access.

Access this article

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others

References

  1. Apt, K., Blair, H and Walker, A., “Towards a Theory of Declarative Knowledge,” inFoundations of Deductive Databases and Logic Programming (J. Minker, ed.), Morgan Kaufmann, Los Altos, CA, pp. 89–142, 1988.

    Google Scholar 

  2. Bidoit, N. and Froidevaux, C., “General Logical Databases and Programs: Default Logic Semantics and Stratification,”Journal of Information and Computation, 1988. In print.

  3. Bidoit, N. and Hull, R., “Positivism vs. Minimalism in Deductive Databases,” inProceedings of the Symposium on Principles of Database Systems, Cambridge, Mass., ACM SIGACT-SIGMOD, pp. 123–132, 1986.

  4. Baral, C., Lobo, J. and Minker, J., “Generalized Disjunctive Well-founded Semantics for Logic Programs: Declarative Semantics,”Research Report, UMIACS TR 90-39, CS TR 2436, University of Maryland, College Park, Maryland 20742, 1989.

    Google Scholar 

  5. Bry, F., “Logic Programming as Constructivism: A Formalization and Its Application to Databases,” inProceedings of the Symposium on Principles of Database Systems, ACM SIGACT-SIGMOD, pp. 34–50, 1989.

  6. Fitting, M., “A Kripke-Kleene Semantics for Logic Programs,”Journal of Logic Programming, 2, 4, pp. 295–312, 1985.

    Article  MATH  MathSciNet  Google Scholar 

  7. Gelfond, M., “On Stratified Autoepistemic Theories,” inProceedings AAAI-87, Los Altos, CA, American Association for Artificial Intelligence, Morgan Kaufmann, pp. 207–211, 1987.

  8. Gelfond, M., “Autoepistemic Logic and Formalizations of Common-sense Reasoning,” inProceedings of the 2nd Workshop on Nonmonotonic Reasoning, New York, pp. 176–186, 1988. Grassau, West Germany, Springer-Verlag, June 1988.

    Google Scholar 

  9. Gelfond, M. and Lifschitz, V., “The Stable Model Semantics for Logic Programming,” inProceedings of the Fifth Logic Programming Symposium (R. Kowalski and K. Bowen, eds.), pp. 1070–1080, Cambridge, Mass., Association for Logic Programming, MIT Press, 1988.

    Google Scholar 

  10. Gelfond, M. and Lifschitz, V., “Logic Programs with Classical Negation,”Research Report, UT El Paso and Stanford University, 1989.

  11. Gelfond, M., Przymusinska, H. and Przymusinski, T., “On the Relationship between Circumscription and Negation as Failure,”Journal of Artificial Intelligence, 38, pp. 75–94, 1989.

    Article  MATH  MathSciNet  Google Scholar 

  12. Horty, J., Thomason, R. and Touretzky, D., “A Skeptical Theory of Inheritance in Nonmonotonic Semantic Nets,” inProceedings AAAI-87, Los Altos, CA, American Association for Artificial Intelligence, Morgan Kaufmann, 1987.

  13. Kautz, H. A. and Selman, B., “Hard Problems for Simple Default Logics,” inProceedings of the First International Conference on Principles of Knowledge Representation and Reasoning (KR’ 89) (R. Brachman, H. Leveque and R. Reiter, eds.), Toronto, Canada, Morgan Kaufmann, pp. 189–197, 1989.

    Google Scholar 

  14. Kunen, K., “Negation in Logic Programming,”Journal of Logic Programming, 4, 4, pp. 289–308, 1987.

    Article  MATH  MathSciNet  Google Scholar 

  15. Minker, J., “On Indefinite Data Bases and the Closed World Assumption,” inProc. 6th Conference on Automated Deduction, New York, Springer-Verlag, pp. 292–308, 1982.

    Chapter  Google Scholar 

  16. Moore, R. C., “Semantic Considerations on Non-Monotonic Logic,”Journal of Artificial Intelligence, 25, pp. 75–94, 1985.

    Article  MATH  Google Scholar 

  17. Morris, P. H., “Autoepistemic Stable Closures and Contradiction Resolution,” inProceedings of the Second Workshop on Non-Monotonic Reasoning, Munich, July 1988, pp. 60–73, 1988.

  18. Marek, W. and Truszczynski, M., “Autoepistemic Logic,”Research Report, University of Kentucky, 1988.

  19. Przymusinska, H. and Przymusinski, T. C., “Semantic Issues in Deductive Databases and Logic Programs,” inFormal Techniques in Artificial Intelligence (R. Banerji, ed.), North-Holland, Amsterdam, pp. 321–367, 1990.

    Google Scholar 

  20. Przymusinska, H. and Przymusinski, T. C., “Translating Non-Monotonic Formalisms into Logic Programs,”Research Report, University of Texas at El Paso, 1991.

  21. Przymusinski, T. C., “On the Declarative Semantics of Stratified Deductive Databases and Logic Programs,” inFoundations of Deductive Databases and Logic Programming (J. Minker, ed.), Morgan Kaufmann, Los Altos, CA., pp. 193–216, 1988.

    Google Scholar 

  22. Przymusinski, T. C., “Every Logic Program Has a Natural Stratification and an Iterated Fixed Point Model,” inProceedings of the Eighth Symposium on Principles of Database Systems, ACM SIGACT-SIGMOD, pp. 11–21, 1989.

  23. Przymusinski, T. C., “Non-Monotonic Formalisms and Logic Programming,” inProceedings of the Sixth International Logic Programming Conference (G. Levi and M. Martelli, eds.), Lisobon, Portugal, Cambridge, Mass., Association for Logic Programming, MIT Press, pp. 655–674, 1989.

    Google Scholar 

  24. Przymusinski, T. C., “Stationary Semantics for Disjunctive Logic Programs and Deductive Databases,” inProceedings of the North American Logic Programming Conference, Austin, Texas, October 1990, Cambridge, Mass., Association for Logic Programming, MIT Press, pp. 40–59, 1990.

    Google Scholar 

  25. Przymusinski, T. C., “The Well-Founded Semantics Coincides with the Three-Valued Stable Semantics,”Fundamenta Informaticae, 13, 4, pp. 445–464, 1990.

    MATH  MathSciNet  Google Scholar 

  26. Przymusinski, T. C., “Autoepistemic Logics of Closed Beliefs and Logic Programming,” inProceedings of the First International Workshop on Logic Programming and Non-Monotonic Reasoning, Washington, D. C., July 1991, Cambridge, Mass., MIT Press (In print), 1991.

    Google Scholar 

  27. Przymusinski, T. C., “Semantics of Disjunctive Logic Programs and Deductive Databases,” inProceedings of the Second International Conference on Deductive and Object-Oriented Databases (DOOD’91), Munich, Germany, 1991, Springer-Verlag (In print.), 1991.

  28. Przymusinski, T. C., “Three-Valued Non-Monotonic Formalisms and Semantics of Logic Programs,”Journal of Artificial Intelligence, 1991 (In print. Extended abstract appeared in: Przymusinski, T. C., “Three-Valued Non-Monotonic Formalisms and Logic Programming,” inProceedings of the First International Conference on Principles of Knowledge Representation and Reasoning (KR’89) (R. Brachman, H. Leveque and R. Reiter, eds.), Toronto, Canada, Morgan Kaufmann, pp. 341–348, 1989.)

  29. Przymusinski, T. C., “Well-Founded Completions of Logic Programs,” inProceedings of the Eighth International Logic Programming Conference, Paris, France, Cambridge, Mass., 1991. Association for Logic Programming, MIT Press (In print).

  30. Przymusinski, T. C. and Warren, D. S., “Well-Founded Semantics: Theory and Implementation,”Research Report, UT El Paso and SUNY at Stony Brook, 1991. (in preparation).

  31. Ross, K., “A Procedural Semantics for Well-Founded Negation in Logic Programs,” inProceedings of the Eighth Symposium on Principles of Database Systems, ACM SIGACT-SIGMOD, pp. 22–33, 1989.

  32. Ross, K., “The Well-Founded Semantics for Disjunctive Logic Programs,” inProceedings of the First International Conference on Deductive and Object Oriented Databases, pp. 352–369, 1989.

  33. Van Emden, M. and Kowalski, R., “The Semantics of Predicate Logic as a Programming Language,”Journal of the ACM, 23, 4, pp. 733–742, 1976.

    Article  MATH  Google Scholar 

  34. Van Gelder, A., “The Alternating Fixpoint of Logic Programs with Negation,” inProceedings of the Symposium on Principles of Database Systems, ACM SIGACT-SIGMOD, pp. 1–10, 1989.

  35. Van Gelder, A., “Negation as Failure Using Tight Derivations for General Logic Programs,”Journal of Logic Programming, 6, 1, pp. 109–133, 1989. Preliminary versions appeared inThird IEEE Symp. on Logic Programming (1986), and Foundations of Deductive Databases and Logic Programming (J. Minker, ed.), Morgan Kaufmann, 1988.

    Article  MATH  MathSciNet  Google Scholar 

  36. Van Gelder, A., Ross, K. A. and Schlipf, J. S., “The Well-Founded Semantics for General Logic Programs,”Journal of the ACM, 1990 (to appear). Preliminary abstract appeared inSeventh ACM Symposium on Principles of Database Systems, March 1988, pp. 221–230, 1988.

  37. Warren, D. S., “The XWAM: A Machine That Integrates Prolog and Deductive Database Query Evaluation,”Technical Report, #25, SUNY at Stony Brook, 1989.

Download references

Author information

Authors and Affiliations

Authors

Additional information

Partially supported by the National Science Foundation grant #IRI-89-10729, the Army Research Office grant #27079-ML-SAH and the Swedish National Board for Technical Development grant #90-1676. This paper was completed while the author was visiting the Computer Science Department at the University of Linkoping in Sweden.

About this article

Cite this article

Przymusinski, T.C. Stable semantics for disjunctive programs. New Gener Comput 9, 401–424 (1991). https://doi.org/10.1007/BF03037171

Download citation

  • Received:

  • Revised:

  • Issue Date:

  • DOI: https://doi.org/10.1007/BF03037171

Keywords

Navigation