Skip to main content
Springer Nature Link
Log in

Multi-adjoint Lattice Logic. Properties and Query Answering

  • Conference paper
  • First Online:
Progress in Artificial Intelligence (EPIA 2022)

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

Included in the following conference series:

  • 1566 Accesses

Abstract

Multi-adjoint lattice logic (MLL) has been introduced as an axiomatization of multi-adjoint algebras on lattices. This paper highlights the interest of MLL introducing new relevant properties and some interesting examples of how to reasoning with this logic.

Partially supported by the 2014–2020 ERDF Operational Programme in collaboration with the State Research Agency (AEI) in project PID2019-108991GB-I00, and with the Department of Economy, Knowledge, Business and University of the Regional Government of Andalusia in project FEDER-UCA18-108612, and by the European Cooperation in Science & Technology (COST) Action CA17124.

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

Access this chapter

Log in via an institution

Subscribe and save

Springer+ Basic
€32.70 /Month
  • Get 10 units per month
  • Download Article/Chapter or eBook
  • 1 Unit = 1 Article or 1 Chapter
  • Cancel anytime
Subscribe now

Buy Now

Chapter
EUR 29.95
Price includes VAT (France)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
EUR 42.79
Price includes VAT (France)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
EUR 52.74
Price includes VAT (France)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Similar content being viewed by others

Notes

  1. 1.

    Notice that the main differences between both formulas are given because the conjunctor in BL is commutative.

References

  1. Cintula, P.: Weakly implicative (fuzzy) logics I: basic properties. Arch. Math. Logic 45, 673–704 (2006)

    Article  MathSciNet  Google Scholar 

  2. Cintula, P., Noguera, C.: A general framework for mathematical fuzzy logic. In: Cintula, P., Hájek, P., Noguera, C. (eds.) Studies in Logic. Mathematical Logic and Foundations, vol. 37 of Handbook of Mathematical Fuzzy Logic, vol. 1, chapter II, pp. 103–207. College Publications, London (2011)

    Google Scholar 

  3. Cornejo, M.E., Fariñas del Cerro, L., Medina, J.: Multi-adjoint lattice logic and truth-stressing hedges. Fuzzy Sets Syst. 445, 43–65 (2022)

    Google Scholar 

  4. Cornejo, M.E., Fariñas del Cerro, L., Medina, J.: Basic logic versus multi-adjoint logic. In: 13th European Symposium on Computational Intelligence and Mathematics (ESCIM 2021) (2021)

    Google Scholar 

  5. Cornejo, M.E., Fariñas del Cerro, L., Medina, J.: A logical characterization of multi-adjoint algebras. Fuzzy Sets Syst. 425, 140–156 (2021)

    Article  MathSciNet  Google Scholar 

  6. Cornejo, M.E., Medina, J., Ramírez-Poussa, E.: Multi-adjoint algebras versus non-commutative residuated structures. Int. J. Approximate Reasoning 66, 119–138 (2015)

    Article  MathSciNet  Google Scholar 

  7. Cornejo, M.E., Medina, J., Ramírez-Poussa, E., Rubio-Manzano, C.: Multi-adjoint concept lattices, preferences and Bousi Prolog. In: Flores, V., et al. (eds.) IJCRS 2016. LNCS (LNAI), vol. 9920, pp. 331–341. Springer, Cham (2016). https://doi.org/10.1007/978-3-319-47160-0_30

    Chapter  Google Scholar 

  8. Cornejo, M.E., Medina, J., Ramírez-Poussa, E.: Algebraic structure and characterization of adjoint triples. Fuzzy Sets Syst. 425, 117–139 (2021). Mathematics

    Google Scholar 

  9. Cornelis, C., Medina, J., Verbiest, N.: Multi-adjoint fuzzy rough sets: definition, properties and attribute selection. Int. J. Approximate Reasoning 55, 412–426 (2014)

    Article  MathSciNet  Google Scholar 

  10. Damásio, C.V., Pereira, L.M.: Monotonic and residuated logic programs. In: Benferhat, S., Besnard, P. (eds.) ECSQARU 2001. LNCS (LNAI), vol. 2143, pp. 748–759. Springer, Heidelberg (2001). https://doi.org/10.1007/3-540-44652-4_66

    Chapter  MATH  Google Scholar 

  11. Davey, B., Priestley, H.: Introduction to Lattices and Order, 2nd edn. Cambridge University Press, Cambridge (2002)

    Book  Google Scholar 

  12. Dekhtyar, M., Dekhtyar, A., Subrahmanian, V.: Hybrid probabilistic programs: algorithms and complexity. In: Proceedings of 1999 Conference on Uncertainty in AI (1999)

    Google Scholar 

  13. Díaz-Moreno, J.C., Medina, J.: Multi-adjoint relation equations: definition, properties and solutions using concept lattices. Inf. Sci. 253, 100–109 (2013)

    Article  MathSciNet  Google Scholar 

  14. Epstein, G., Horn, A.: Logics which are characterized by subresiduated lattices. Math. Log. Q. 22(1), 199–210 (1976)

    Article  MathSciNet  Google Scholar 

  15. Esteva, F., Godo, L.: Monoidal t-norm based logic: towards a logic for left-continuous t-norms. Fuzzy Sets Syst. 124, 271–288 (2001)

    Article  MathSciNet  Google Scholar 

  16. Godo, L., Sócola-Ramos, M., Esteva, F.: On the logic of left-continuous t-norms and right-continuous t-conorms. Commun. Comput. Inf. Sci. 1239, 654–665 (2020)

    Google Scholar 

  17. Hájek, P.: Metamathematics of Fuzzy Logic. Trends in Logic. Kluwer Academic (1998)

    Google Scholar 

  18. Julián-Iranzo, P., Medina, J., Ojeda-Aciego, M.: On reductants in the framework of multi-adjoint logic programming. Fuzzy Sets Syst. 317, 27–43 (2017)

    Article  MathSciNet  Google Scholar 

  19. Julián, P., Moreno, G., Penabad, J.: On fuzzy unfolding: a multi-adjoint approach. Fuzzy Sets Syst. 154(1), 16–33 (2005)

    Article  MathSciNet  Google Scholar 

  20. Kifer, M., Subrahmanian, V.S.: Theory of generalized annotated logic programming and its applications. J. Log. Program. 12, 335–367 (1992)

    Article  MathSciNet  Google Scholar 

  21. Lakshmanan, L.V.S., Sadri, F.: On a theory of probabilistic deductive databases. Theory Pract. Logic Program. 1(1), 5–42 (2001)

    Article  MathSciNet  Google Scholar 

  22. Medina, J.: Retículos Multi-adjuntos y teoremas de continuidad para el operador de consecuencias. Ph.D. thesis, Universidad de Málaga (2001)

    Google Scholar 

  23. Medina, J.: Multi-adjoint property-oriented and object-oriented concept lattices. Inf. Sci. 190, 95–106 (2012)

    Article  MathSciNet  Google Scholar 

  24. Medina, J., Ojeda-Aciego, M., Ruiz-Calviño, J.: Formal concept analysis via multi-adjoint concept lattices. Fuzzy Sets Syst. 160(2), 130–144 (2009)

    Article  MathSciNet  Google Scholar 

  25. Medina, J., Ojeda-Aciego, M., Valverde, A., Vojtáš, P.: Towards biresiduated multi-adjoint logic programming. In: Conejo, R., Urretavizcaya, M., Pérez-de-la-Cruz, J.-L. (eds.) CAEPIA/TTIA -2003. LNCS (LNAI), vol. 3040, pp. 608–617. Springer, Heidelberg (2004). https://doi.org/10.1007/978-3-540-25945-9_60

    Chapter  Google Scholar 

  26. Medina, J., Ojeda-Aciego, M., Vojtáš, P.: A multi-adjoint logic approach to abductive reasoning. In: Codognet, P. (ed.) ICLP 2001. LNCS, vol. 2237, pp. 269–283. Springer, Heidelberg (2001). https://doi.org/10.1007/3-540-45635-X_26

    Chapter  MATH  Google Scholar 

  27. Medina, J., Ojeda-Aciego, M., Vojtaš, P.: Multi-adjoint logic programming with continous semantics. In: Eiter, T., Faber, W., Truszczyński, M. (eds.) LPNMR 2001. LNCS (LNAI), vol. 2173, pp. 351–364. Springer, Heidelberg (2001). https://doi.org/10.1007/3-540-45402-0_26

    Chapter  MATH  Google Scholar 

  28. Medina, J., Ojeda-Aciego, M., Vojtáš, P.: A procedural semantics for multi-adjoint logic programming. In: Brazdil, P., Jorge, A. (eds.) EPIA 2001. LNCS (LNAI), vol. 2258, pp. 290–297. Springer, Heidelberg (2001). https://doi.org/10.1007/3-540-45329-6_29

    Chapter  Google Scholar 

  29. Medina, J., Ojeda-Aciego, M., Vojtáš, P.: Similarity-based unification: a multi-adjoint approach. Fuzzy Sets Syst. 146, 43–62 (2004)

    Article  MathSciNet  Google Scholar 

  30. Mendelson, E.: Introduction to Mathematical Logic, 6th edn. Chapman & Hall/CRC, London (2015)

    Book  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Mathematics, University of Cádiz, Cádiz, Spain

    Maria Eugenia Cornejo & Jesús Medina

  2. University of Paul Sabatier, Toulouse, CNRS, Toulouse, France

    Luis Fariñas del Cerro

Authors
  1. Maria Eugenia Cornejo
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Luis Fariñas del Cerro
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Jesús Medina
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Jesús Medina .

Editor information

Editors and Affiliations

  1. ISEP/GECAD, Polytechnic Institute of Porto, Porto, Portugal

    Goreti Marreiros

  2. IST/INESC-ID, University of Lisbon, Lisbon, Portugal

    Bruno Martins

  3. IST/INESC-ID, University of Lisbon, Porto Salvo, Portugal

    Ana Paiva

  4. CISUC, University of Coimbra, Coimbra, Portugal

    Bernardete Ribeiro

  5. IST/INESC-ID, University of Lisbon, Porto Salvo, Portugal

    Alberto Sardinha

Rights and permissions

Reprints and permissions

Copyright information

© 2022 The Author(s), under exclusive license to Springer Nature Switzerland AG

About this paper

Check for updates. Verify currency and authenticity via CrossMark

Cite this paper

Cornejo, M.E., Fariñas del Cerro, L., Medina, J. (2022). Multi-adjoint Lattice Logic. Properties and Query Answering. In: Marreiros, G., Martins, B., Paiva, A., Ribeiro, B., Sardinha, A. (eds) Progress in Artificial Intelligence. EPIA 2022. Lecture Notes in Computer Science(), vol 13566. Springer, Cham. https://doi.org/10.1007/978-3-031-16474-3_57

Download citation

  • DOI: https://doi.org/10.1007/978-3-031-16474-3_57

  • Published:

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-031-16473-6

  • Online ISBN: 978-3-031-16474-3

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation