Skip to main content
SpringerLink
Log in

'Classical' Negation in Nonmonotonic Reasoning and Logic Programming

  • Published:
Journal of Automated Reasoning Aims and scope Submit manuscript

Abstract

Gelfond and Lifschitz were the first to point out the need for a symmetric negation in logic programming and they also proposed a specific semantics for such negation for logic programs with the stable semantics, which they called 'classical'. Subsequently, several researchers proposed different, often incompatible, forms of symmetric negation for various semantics of logic programs and deductive databases. To the best of our knowledge, however, no systematic study of symmetric negation in non-monotonic reasoning was ever attempted in the past. In this paper we conduct such a systematic study of symmetric negation. We introduce and discuss two natural, yet different, definitions of symmetric negation: one is called strong negation and the other is called explicit negation. For logic programs with the stable semantics, both symmetric negations coincide with Gelfond–Lifschitz' 'classical negation'. We study properties of strong and explicit negation and their mutual relationship as well as their relationship to default negation 'not', and classical negation '¬'. We show how one can use symmetric negation to provide natural solutions to various knowledge representation problems, such as theory and interpretation update, and belief revision. Rather than to limit our discussion to some narrow class of nonmonotonic theories, such as the class of logic programs with some specific semantics, we conduct our study so that it is applicable to a broad class of non-monotonic formalisms. In order to achieve the desired level of generality, we define the notion of symmetric negation in the knowledge representation framework of AutoEpistemic logic of Beliefs, introduced by Przymusinski.

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

Access this article

Log in via an institution

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. Alferes, J. J., Damásio, C. V. and Pereira, L. M.: SLX – A top-down derivation procedure for programs with explicit negation, in M. Bruynooghe (ed.) International Symposium on Logic Programming, MIT Press, 1994.

  2. Alferes, J. J. and Pereira, L. M.: On logic program semantics with two kinds of negation, in K. Apt (ed.), Int. Joint Conf. and Symp. on LP, MIT Press, 1992, pp. 574–588.

  3. Alferes, J. J. and Pereira, L. M.: Contradiction: when avoidance equal removal, in R. Dyckhoff (ed.), 4th Int. Ws. on Extensions of LP Vol. 798, LNAI, Springer-Verlag, 1994.

  4. Alferes, J. J. and Pereira, L.M.: Reasoning with Logic Programming Vol. 1111, LNAI, Springer-Verlag, 1996.

  5. Alferes, J. J. and Pereira, L. M.: Update-programs can update programs, in J. Dix, L. M. Pereira and T. Przymusinski (eds), Nonmonotonic Extensions of Logic Programming Vol. 1216, LNAI, Springer-Verlag, 1997.

  6. Alferes, J., Pereira, L. and Przymusinski, T. C.: Belief revision in nonmonotonic reasoning and logic programming, Fundamenta Informaticae 28(1–2) (1996), 1–22.

    Google Scholar 

  7. Brass, S., Dix, J. and Przymusinski, T. C.: Super Logic Programs, in L. C. Aiello, J. Doyle, and S. C. Shapiro (eds), Principles of Knowledge Representation and Reasoning: Proc. Fifth Int. Conf. (KR'96), Morgan Kaufmann, Boston, MA, San Francisco, CA, 1996, pp. 529–541.

    Google Scholar 

  8. Clark, K. L.: Negation as failure, in H. Gallaire and J. Minker (eds), Logic and Data Bases, Plenum Press, New York, 1978, pp. 293–322.

    Google Scholar 

  9. Dix, J.: A framework for representing and characterizing semantics of logic programs, in In B. Nebel, C. Rich, and W. Swartout (eds), 3rd Int. Conf. on Principles of Knowledge Representation and Reasoning, Morgan Kaufmann, 1992.

  10. Damásio, C. V., Nejdl, W., Pereira, L. M. and Schroeder, M.: Model-based diagnosis preferences and strategies representation with logic meta-programming, in K. Apt and F. Turini (eds), Meta-logics and Logic Programming, MIT Press, 1995, pp. 311–338.

  11. Damásio, C. V. and Pereira, L. M.: Abduction over 3-valued extended logic programs, in V. Marek, A. Nerode and M. Truszczynski (eds), Proc. Third Int. Conf. on Logic Programming and Non-Monotonic Reasoning, LPNMR'95, Springer-Verlag, 1995.

  12. Dung, P. M. and Ruamviboonsuk, P.: Well founded reasoning with classical negation, in A. Nerode, W. Marek and V. S. Subrahmanian (eds), LP and NMR, MIT Press, 1991, pp. 120–132.

  13. Gelfond, M.: Logic programming and reasoning with incomplete information, Technical report, University of Texas at El Paso, 1992.

    Google Scholar 

  14. Gelfond, M. and Lifschitz, V.: The stable model semantics for logic programming, in R. Kowalski and K. Bowen (eds), Proceedings of the Fifth Logic Programming Symposium, Cambridge, Mass., 1988, pp. 1070–1080. Association for Logic Programming, MIT Press.

  15. Gelfond, M. and Lifschitz, V.: Logic programs with classical negation, in Proc. Seventh Int. Logic Programming Conference, Jerusalem, Israel, Cambridge, Mass., 1990, pp. 579–597. Association for Logic Programming, MIT Press.

  16. Gelfond, M. and Lifschitz, V.: Representing actions in extended logic programs, in K. Apt (ed.), Int. Joint Conf. and Symp. on LP, MIT Press, 1992, pp. 559–573.

  17. Gelfond, M., Przymusinski, H. and Przymusinski, T. C.: On the relationship between circumscription and negation as failure. J. Artificial Intelligence 38(1) (1989), 75–94.

    Google Scholar 

  18. van Gelder, A., Ross, K. A. and Schlipf, J. S.: The well-founded semantics for general logic programs, J. ACM 38(3) (1991), 620–650.

    Google Scholar 

  19. Katsuno, H. and Mendelzon, A. O.: On the difference between updating a knowledge base and revising it, in Proc. KR-91, 1991, pp. 387–394.

  20. Kowalski, R.: Problems and promises of computational logic, in John Lloyd (ed.), Computational Logic, Basic Research Series, Springer-Verlag, 1990, pp. 1–36.

  21. Kowalski, R.: Legislation as logic programs, in Logic Programming in Action, Springer-Verlag, 1992, pp. 203–230.

  22. McCarthy, J.: Circumscription – a form of nonmonotonic reasoning, J. Artificial Intelligence 13 (1980), 27–39.

    Google Scholar 

  23. Minker, J.: On indefinite data bases and the closed world assumption, in Proc. 6th Conference on Automated Deduction, Springer Verlag, New York, 1982, pp. 292–308.

    Google Scholar 

  24. Moore, R. C.: Semantic considerations on nonmonotonic logic, J. Artificial Intelligence 25 (1985), 75–94.

    Google Scholar 

  25. Marek, W. and Truszczynski, M.: Non-Monotonic Logic, Springer-Verlag, 1994.

  26. Marek, W. and Truszczyński, M.: Revision specifications by means of revision programs, in Logics in AI. Proceedings of JELIA' 94, Lecture Notes in Artificial Intelligence, Springer-Verlag, 1994.

  27. Nelson, D.: Constructible falsity, J. Symbolic Logic 14 (1949), 16–26.

    Google Scholar 

  28. Pereira, L. M. and Alferes, J. J.: Well founded semantics for logic programs with explicit negation, in B. Neumann (ed.), European Conf. on AI, John Wiley and Sons, 1992, pp. 102–106.

  29. Pereira, L. M., Aparício, J. N. and Alferes, J. J.: Nonmonotonic reasoning with logic programming, J. Logic Programming, Special Issue on Nonmonotonic Reasoning 17(2–4) (1993), 227–263.

    Google Scholar 

  30. Pereira, L. M., Damásio, C. and Alferes, J. J.: Debugging by diagnosing assumptions, in P. A. Fritzson (ed.), Automatic Algorithmic Debugging, AADEBUG'93 Vol. 749 Lecture Notes in Computer Science, Springer-Verlag, 1993, pp. 58–74.

  31. Pereira, L. M., Damásio, C. and Alferes, J. J.: Diagnosis and debugging as contradiction removal, in L. M. Pereira and A. Nerode (eds), 2nd Int. Ws. on LP and NMR, MIT Press, 1993, pp. 316–330.

  32. Pearce, D.: Reasoning with negative information II: Hard negation, strong negation and logic programs, in D. Pearce and H. Wansing (eds), Nonclassical Logics and Information Processing, Springer-Verlag, 1990, pp. 63–79.

  33. Przymusinski, T. C.: The well-founded semantics coincides with the three-valued stable semantics, Fundamenta Informaticae 13(4) (1990), 445–464.

    Google Scholar 

  34. Przymusinski, T. C.: Stable semantics for disjunctive programs, New Generation Computing Journal 9 (1991), 401–424. (Extended abstract appeared in: Extended stable semantics for normal and disjunctive logic programs. Proc. Seventh Int. Logic Programming Conference, Jerusalem, MIT Press, 1990, pp. 459–477.)

    Google Scholar 

  35. Przymusinski, T. C.: Semantics of normal and disjunctive logic programs: A unifying framework, in J. Dix, L. Pereira, and T. Przymusinski (eds), Proc. Workshop on Non-Monotonic Extensions of Logic Programming at the Eleventh International Logic Programming Conference, ICLP'95, Santa Margherita Ligure, Italy, June 1994, Springer Verlag, 1995, pp. 43–67.

  36. Przymusinski, T. C.: Static semantics for normal and disjunctive logic programs, Annals of Mathematics and Artificial Intelligence, Special Issue on Disjunctive Programs 14, 1995, pp. 323–357.

    Google Scholar 

  37. Przymusinski, T. C.: Autoepistemic logic of knowledge and beliefs, In preparation, University of California at Riverside, 1997. (Extended abstract appeared in 'A knowledge representation framework based on autoepistemic logic of minimal beliefs' In Proc. Twelfth National Conference on Artificial Intelligence, AAAI-94, Seattle, Washington, August 1994, Los Altos, CA, 1994, pp. 952–959. American Association for Artificial Intelligence, Morgan Kaufmann.)

    Google Scholar 

  38. Przymusinski, T. C.: Plain negation as a basis for strong, weak and classical negations, In preparation, University of California at Riverside, 1997.

    Google Scholar 

  39. Przymusinski, T. C. and, Turner, H.: Update by means of inference rules, in A. Nerode (ed.), Proc. Third Int. Conf. on Logic Programming and Non-Monotonic Reasoning, Lexington, KY, LPNMR'95, Springer Verlag, 1995, pp. 156–174.

  40. Pearce, D. and Wagner, G.: Reasoning with negative information I: Strong negation in logic programs, in L. Haaparanta, M. Kusch and I. Niiniluoto (eds), Language, Knowledge and Intentionality, Acta Philosophica Fennica 49, 1990, pp. 430–453.

  41. Reiter, R.: On closed-world data bases, in H. Gallaire and J. Minker (eds), Logic and Data Bases, Plenum Press, New York, 1978, pp. 55–76.

    Google Scholar 

  42. Reiter, R.: A logic for default theory, J. Artificial Intelligence 13 (1980), 81–132.

    Google Scholar 

  43. Vakarelov, D.: Notes on n-lattices and constructive logic with strong negation, Studia Logica 36 (1977), 109–125.

    Google Scholar 

  44. van Gelder, A., Ross, K. A. and Schlipf, J. S.: The well-founded semantics for general logic programs, J. ACM, 1990, (to appear). Preliminary abstract appeared in Seventh ACM Symposium on Principles of Database Systems, 1988, pp. 221–230.

  45. Wagner, G.: Reasoning with inconsistency in extended deductive databases, in L. M. Pereira and A. Nerode (eds), 2nd Int. Ws. on LP and NMR, pages 300–315. MIT Press, 1993, pp. 300–315.

  46. Winslett, M.: Reasoning about action using a possible models approach, in Proc. AAAI–88, 1988, pp. 89–93.

Download references

Author information

Authors and Affiliations

  1. Dep. Matemática, Univ. Évora, and A.I. Centre, UNL, 2825, Monte da Caparica, Portugal

    José Júlio Alferes

  2. 2825, Monte da Caparica, Portugal

    Luís Moniz Pereira

  3. Department of Computer Science, University of California, Riverside, CA, 92521, U.S.A

    Teodor C. Przymusinski

Authors
  1. José Júlio Alferes
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Luís Moniz Pereira
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Teodor C. Przymusinski
    View author publications

    You can also search for this author in PubMed Google Scholar

Rights and permissions

Reprints and permissions

About this article

Cite this article

Alferes, J.J., Pereira, L.M. & Przymusinski, T.C. 'Classical' Negation in Nonmonotonic Reasoning and Logic Programming. Journal of Automated Reasoning 20, 107–142 (1998). https://doi.org/10.1023/A:1005900924623

Download citation

  • Issue Date:

  • DOI: https://doi.org/10.1023/A:1005900924623

Search

Navigation