Monotonic and Residuated Logic Programs | SpringerLink
Skip to main content
Springer Nature Link
Log in

Monotonic and Residuated Logic Programs

  • Conference paper
  • First Online:
Symbolic and Quantitative Approaches to Reasoning with Uncertainty (ECSQARU 2001)

Part of the book series: Lecture Notes in Computer Science ((LNAI,volume 2143))

Abstract

In this paper we define the rather general framework of Monotonic Logic Programs, where the main results of (definite) logic programming are validly extrapolated. Whenever defining new logic programming extensions, we can thus turn our attention to the stipulation and study of its intuitive algebraic properties within the very general setting. Then, the existence of a minimum model and of a monotonic immediate consequences operator is guaranteed, and they are related as in classical logic programming. Afterwards we study the more restricted class of residuated logic programs which is able to capture several quite distinct logic programming semantics. Namely: Generalized Annotated Logic Programs, Fuzzy Logic Programming, Hybrid Probabilistic Logic Programs, and Possibilistic Logic Programming. We provide the embedding of possibilistic logic programming.

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

Access this chapter

Log in via an institution

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Similar content being viewed by others

References

  1. L. Bolc and P. Borowik. Many-Valued Logics. Theoretical Foundations. Springer-Verlag, 1992.

    Google Scholar 

  2. V. Damásio and L. M. Pereira. Hybrid probabilistic logic programs as residuated logic programs. In M. O. Aciego, I. P. de Guzmán, G. Brewka, and L. M. Pereira, editors, Logics in AI, Proceedings of JELIA’ 00, pages 57–72. LNAI 1919, Springer-Verlag, September 2000.

    Google Scholar 

  3. C. V. Damásio and L. M. Pereira. Antitonic logic programs. In Proc. LPNMR’01, September 2001. To appear.

    Google Scholar 

  4. A. Dekhtyar and V. S. Subrahmanian. Hybrid probabilistic programs. Journal of Logic Programming, 43(3):187–250, 2000.

    Article  MATH  MathSciNet  Google Scholar 

  5. D. Dubois, J. Lang, and H. Prade. Fuzzy sets in approximate reasoning, part 2: Logical approaches. Fuzzy Sets and Systems, 40:203–244, 1991.

    Article  MATH  MathSciNet  Google Scholar 

  6. D. Dubois, J. Lang, and H. Prade. Towards possibilistic logic programming. In Proc. of ICLP’91, pages 581–598. MIT Press, 1991.

    Google Scholar 

  7. D. Dubois, J. Lang, and H. Prade. Possibilistic logic. In D.M. Gabbay, C. J. Hogger, and J. A. Robinson, editors, Handbook of Logic in Artificial Intelligence and Logic Programming, volume 3, pages 439–513. Oxford University Press, 1994.

    Google Scholar 

  8. J. H. Gallier. Logic for Computer Science. John Wiley & Sons, 1987.

    Google Scholar 

  9. P. Hájek. Metamathematics of Fuzzy Logic. Trends in Logic. Studia Logica Library. Kluwer Academic Publishers, 1998.

    Google Scholar 

  10. M. Kifer and V. S. Subrahmanian. Theory of generalized annotated logic programming and its applications. J. of Logic Programming, 12:335–367, 1992.

    Article  MathSciNet  Google Scholar 

  11. R. Kowalski. Predicate logic as a programming language. In Proceedings of IFIP’74, pages 569–574. North Holland Publishing Company, 1974.

    Google Scholar 

  12. J. W. Lloyd. Foundations of Logic Programming. Springer-Verlag, 1987. 2nd. edition.

    Google Scholar 

  13. J. Medina, M. Ojeda-Aciego, and P. Vojtas. Multi-adjoint logic programming with continuous semantics. In Proc. LPNMR’01, September 2001. To appear.

    Google Scholar 

  14. J. Pavelka. On fuzzy logic I, II, III. Zeitschr. f. Math. Logik und Grundl. der Math., 25, 1979.

    Google Scholar 

  15. H. Reichenbach. Reply to Ernest Nagel’s criticism of my views on quantum mechanics. Journal of Philosophy, 43:239–247, 1946.

    Article  Google Scholar 

  16. M. van Emden and R. Kowalski. The semantics of predicate logic as a programming language. Journal of ACM, 4(23):733–742, 1976.

    Article  Google Scholar 

  17. M. H. van Emden. Quantitative deduction and its fixpoint theory. Journal of Logic Programming, 3(1):37–53, 1986.

    Article  MathSciNet  MATH  Google Scholar 

  18. P. Vojtas. Annotated and fuzzy logic programs-relationship and comparison of expressive power. Technical report, Safárik University, Slovakia, 2001.

    Google Scholar 

  19. P. Vojtás and L. Paulík. Soundness and completeness of non-classical extended SLD-resolution. In Proc. of the Ws. on Extensions of Logic Programming (ELP’96), pages 289–301. LNCS 1050, Springer-Verlag., 1996.

    Google Scholar 

  20. L. A. Zadeh. Fuzzy sets as a basis for a theory of possibility. Fuzzy Sets and Systems, 1:3–28, 1978.

    Article  MATH  MathSciNet  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Centro de Inteligência Artificial (CENTRIA) Departamento de Informática, Universidade Nova de Lisboa, 2829-516, Caparica, Portugal

    Carlos Viegas Damásio & Luís Moniz Pereira

Authors
  1. Carlos Viegas Damásio
    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

Editor information

Editors and Affiliations

  1. Université Paul Sabatier, IRIT-CNRS, 118 route de Narbonne, 31062, Toulouse Cedex 4, France

    Salem Benferhat  & Philippe Besnard  & 

Rights and permissions

Reprints and permissions

Copyright information

© 2001 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Damásio, C.V., Pereira, L.M. (2001). Monotonic and Residuated Logic Programs. In: Benferhat, S., Besnard, P. (eds) Symbolic and Quantitative Approaches to Reasoning with Uncertainty. ECSQARU 2001. Lecture Notes in Computer Science(), vol 2143. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-44652-4_66

Download citation

  • DOI: https://doi.org/10.1007/3-540-44652-4_66

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-42464-2

  • Online ISBN: 978-3-540-44652-1

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation