Skip to main content
SpringerLink
Log in
Book cover

Proceedings of the Conference of the European Society for Fuzzy Logic and Technology

International Workshop on Intuitionistic Fuzzy Sets and Generalized Nets

EUSFLAT 2017, IWIFSGN 2017: Advances in Fuzzy Logic and Technology 2017 pp 521–533Cite as

Measuring the Incoherent Information in Multi-adjoint Normal Logic Programs

  • Conference paper
  • First Online:

Part of the book series: Advances in Intelligent Systems and Computing ((AISC,volume 641))

Abstract

Databases usually contain incoherent information due to, for instance, the presence of noise in the data. The detection of the incoherent information is an important challenge in different topics. In this paper, we will consider a formal notion for this kind of information and we will study different measures in order to detect incoherent information in a general fuzzy logic programming framework. As a consequence, we can highlight some irregular data in a multi-adjoint normal logic program and so, in other useful and more particular frameworks.

Partially supported by the State Research Agency (AEI) and the European Regional Development Fund (ERDF) project TIN2016-76653-P.

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

Chapter
USD   29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD   169.00
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD   219.99
Price excludes VAT (USA)
  • 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

Learn about institutional subscriptions

References

  1. Besold, T.R., Garcez, A.D., Stenning, K., van der Torre, L., van Lambalgen, M.: Reasoning in non-probabilistic uncertainty: logic programming and neural-symbolic computing as examples. Mind. Mach. 27(1), 37–77 (2017)

    Article  Google Scholar 

  2. Bouttier, J., Francesco, P.D., Guitter, E.: Geodesic distance in planar graphs. Nucl. Phys. B 663(3), 535–567 (2003)

    Article  MathSciNet  MATH  Google Scholar 

  3. Cornejo, M.E., Lobo, D., Medina, J.: Selecting the coherence notion in multi-adjoint normal logic programming. In: Rojas, I., Joya, G., Catala, A. (eds.) Advances in Computational Intelligence. Lecture Notes in Computer Science, vol. 10305, pp. 1–11. Springer, Cham (2017)

    Chapter  Google Scholar 

  4. Cornejo, M.E., Lobo, D., Medina, J.: Towards multi-adjoint logic programming with negations. In: Koczy, L., Medina, J. (eds.) 8th European Symposium on Computational Intelligence and Mathematics (ESCIM 2016), pp. 24–29 (2016)

    Google Scholar 

  5. Damásio, C.V., Pereira, L.M.: Hybrid probabilistic logic programs as residuated logic programs. In: Logics in Artificial Intelligence, JELIA 2000. Lecture Notes in Artificial Intelligence, vol. 1919, pp. 57–73 (2000)

    Google Scholar 

  6. Damásio, C.V., Pereira, L.M.: Monotonic and residuated logic programs. In: Symbolic and Quantitative Approaches to Reasoning with Uncertainty, ECSQARU 2001. Lecture Notes in Artificial Intelligence, vol. 2143, pp. 748–759 (2001)

    Google Scholar 

  7. Dubois, D., Lang, J., Prade, H.: Automated reasoning using possibilistic logic: semantics, belief revision, and variable certainty weights. IEEE Trans. Knowl. Data Eng. 6(1), 64–71 (1994)

    Article  Google Scholar 

  8. Farahani, R.Z., Miandoabchi, E.: Graph Theory for Operations Research and Management: Applications in Industrial Engineering. IGI Global, London (2013)

    Book  Google Scholar 

  9. Fitting, M.: Bilattices and the semantics of logic programming. J. Log. Program. 11(2), 91–116 (1991)

    Article  MathSciNet  MATH  Google Scholar 

  10. Galanaki, C., Nomikos, C., Rondogiannis, P.: Game semantics for non-monotonic intensional logic programming. Ann. Pure Appl. Log. 168(2), 234–253 (2017). Eighth Games for Logic and Programming Languages Workshop (GaLoP)

    Article  MathSciNet  MATH  Google Scholar 

  11. Gelfond, M., Lifschitz, V.: The stable model semantics for logic programming. In: ICLP/SLP, vol. 88, pp. 1070–1080 (1988)

    Google Scholar 

  12. Jalili, M.: Graph theoretical analysis of Alzheimer’s disease: discrimination of AD patients from healthy subjects. Inf. Sci. 384, 145–156 (2017)

    Article  Google Scholar 

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

    Article  MathSciNet  MATH  Google Scholar 

  14. Julian, P., Moreno, G., Penabad, J.: An improved reductant calculus using fuzzy partial evaluation techniques. Fuzzy Sets Syst. 160, 162–181 (2009)

    Article  MathSciNet  MATH  Google Scholar 

  15. 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). Theme: Logic and Computer Science

    Article  MathSciNet  MATH  Google Scholar 

  16. Julián-Iranzo, P., Rubio-Manzano, C.: A sound and complete semantics for a similarity-based logic programming language. Fuzzy Sets Syst. 317, 1–26 (2017). Theme: Logic and Computer Science

    Article  MathSciNet  Google Scholar 

  17. 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 

  18. Madrid, N., Ojeda-Aciego, M.: On coherence and consistence in fuzzy answer set semantics for residuated logic programs. In: Di Gesù, V., Pal, S.K., Petrosino, A. (eds.) Fuzzy Logic and Applications. Lecture Notes in Computer Science, vol. 5571, pp. 60–67. Springer, Heidelberg (2009)

    Chapter  Google Scholar 

  19. Madrid, N., Ojeda-Aciego, M.: On the measure of incoherence in extended residuated logic programs. In: Proceedings of IEEE International Conference on Fuzzy Systems, FUZZ-IEEE 2009, Jeju Island, Korea, 20–24 August 2009, pp. 598–603 (2009)

    Google Scholar 

  20. Madrid, N., Ojeda-Aciego, M.: Measuring instability in normal residuated logic programs: adding information. In: Proceedings of IEEE International Conference on Fuzzy Systems, FUZZ-IEEE 2010, Barcelona, Spain, 18–23 July 2010, pp. 1–7 (2010)

    Google Scholar 

  21. Madrid, N., Ojeda-Aciego, M.: Measuring instability in normal residuated logic programs: discarding information. In: Information Processing and Management of Uncertainty in Knowledge-Based Systems. Theory and Methods - Prceedings of 13th International Conference, IPMU 2010, Dortmund, Germany, 28 June–2 July 2010, Part I, pp. 128–137 (2010)

    Google Scholar 

  22. Madrid, N., Ojeda-Aciego, M.: Measuring inconsistency in fuzzy answer set semantics. IEEE Trans. Fuzzy Syst. 19(4), 605–622 (2011)

    Article  Google Scholar 

  23. Madrid, N., Ojeda-Aciego, M.: On the existence and unicity of stable models in normal residuated logic programs. Int. J. Comput. Math. 89(3), 310–324 (2012)

    Article  MathSciNet  MATH  Google Scholar 

  24. Madrid, N., Ojeda-Aciego, M.: On the measure of incoherent information in extended multi-adjoint logic programs. In: 2013 IEEE Symposium on Foundations of Computational Intelligence (FOCI). Institute of Electrical and Electronics Engineers (IEEE), April 2013

    Google Scholar 

  25. Medina, J., Ojeda-Aciego, M.: Multi-adjoint t-concept lattices. Inf. Sci. 180(5), 712–725 (2010)

    Article  MathSciNet  MATH  Google Scholar 

  26. Medina, J., Ojeda-Aciego, M., Vojtáš, P.: Multi-adjoint logic programming with continuous semantics. In: Logic Programming and Non-Monotonic Reasoning, LPNMR 2001, pp. 351–364. Lecture Notes in Artificial Intelligence, vol. 2173 (2001)

    Google Scholar 

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

    Article  MathSciNet  MATH  Google Scholar 

  28. Nieuwenborgh, D.V., Cock, M.D., Vermeir, D.: An introduction to fuzzy answer set programming. Ann. Math. Artif. Intell. 50(3–4), 363–388 (2007)

    Article  MathSciNet  MATH  Google Scholar 

  29. Riguzzi, F., Bellodi, E., Zese, R., Cota, G., Lamma, E.: A survey of lifted inference approaches for probabilistic logic programming under the distribution semantics. Int. J. Approx. Reason. 80, 313–333 (2017)

    Article  MathSciNet  MATH  Google Scholar 

  30. Strass, H., Muñoz-Hernández, S., Pablos-Ceruelo, V.: Operational semantics for a fuzzy logic programming system with defaults and constructive answers (2009)

    Google Scholar 

  31. Trillas, E., Alsina, C., Jacas, J.: On contradiction in fuzzy logic. Soft Comput. Fusion Found. Methodol. Appl. 3(4), 197–199 (1999)

    Google Scholar 

  32. Vojtáš, P.: Fuzzy logic programming. Fuzzy Sets Syst. 124(3), 361–370 (2001)

    Article  MathSciNet  MATH  Google Scholar 

  33. Yu, X., Xu, Z.: Graph-based multi-agent decision making. Int. J. Approx. Reason. 53(4), 502–512 (2012)

    Article  MathSciNet  Google Scholar 

Download references

Author information

Authors and Affiliations

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

    M. Eugenia Cornejo, David Lobo & Jesús Medina

Authors
  1. M. Eugenia Cornejo
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. David Lobo
    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 M. Eugenia Cornejo .

Editor information

Editors and Affiliations

  1. Systems Research Institute, Polish Academy of Sciences, Warsaw, Poland

    Janusz Kacprzyk

  2. Systems Research Institute, Polish Academy of Sciences, Warsaw, Poland

    Eulalia Szmidt

  3. Systems Research Institute, Polish Academy of Sciences, Warsaw, Poland

    Sławomir Zadrożny

  4. Department of Bioinformatics and Mathematical Modelling, Institute of Biophysics and Biomedical Engineering, Bulgarian Academy of Sciences, Sofia, Bulgaria

    Krassimir T. Atanassov

  5. WIT - Warsaw School of Information Technology, Warsaw, Poland

    Maciej Krawczak

Rights and permissions

Reprints and permissions

Copyright information

© 2018 Springer International Publishing AG

About this paper

Cite this paper

Cornejo, M.E., Lobo, D., Medina, J. (2018). Measuring the Incoherent Information in Multi-adjoint Normal Logic Programs. In: Kacprzyk, J., Szmidt, E., Zadrożny, S., Atanassov, K., Krawczak, M. (eds) Advances in Fuzzy Logic and Technology 2017. EUSFLAT IWIFSGN 2017 2017. Advances in Intelligent Systems and Computing, vol 641. Springer, Cham. https://doi.org/10.1007/978-3-319-66830-7_47

Download citation

  • DOI: https://doi.org/10.1007/978-3-319-66830-7_47

  • Published:

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-319-66829-1

  • Online ISBN: 978-3-319-66830-7

  • eBook Packages: EngineeringEngineering (R0)

Publish with us

Policies and ethics

Search

Navigation