Skip to main content
Disciplines
Automotive Business IT + Informatics Construction + Real Estate Electrical Engineering + Electronics Energy + Sustainability Insurance + Risk Finance + Banking Management + Leadership Marketing + Sales Mechanical Engineering + Materials
Events
DE
EN
Books
Journals
Topic Page
Marketing
Start single access now
Access for companies
EXTENDED SEARCH
Log in
Top
Published in:
A Parallel Swarm Library Based on Functional Programming Read chapter Read first chapter

2017 | OriginalPaper | Chapter

Selecting the Coherence Notion in Multi-adjoint Normal Logic Programming

Authors : M. Eugenia Cornejo, David Lobo, Jesús Medina

Published in: Advances in Computational Intelligence

Publisher: Springer International Publishing

Log in

Activate our intelligent search to find suitable subject content or patents.

search-config
loading …

Abstract

This paper is focused on looking for an appropriate coherence notion which allows us to deal with inconsistent information included in multi-adjoint normal logic programs. Different definitions closely related to the inconsistency concept have been studied and an adaptation of them to our logic programming framework has been included. A detailed reasoning is presented in order to motivate and justify the suitability of the chosen coherence notion.

Dont have a licence yet? Then find out more about our products and how to get one now:

Springer Professional "Wirtschaft+Technik"

Online-Abonnement

Mit Springer Professional "Wirtschaft+Technik" erhalten Sie Zugriff auf:

  • über 102.000 Bücher
  • über 537 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Maschinenbau + Werkstoffe
  • Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

inform now

Springer Professional "Technik"

Online-Abonnement

Mit Springer Professional "Technik" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 390 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Maschinenbau + Werkstoffe




 

Jetzt Wissensvorsprung sichern!

inform now

Springer Professional "Wirtschaft"

Online-Abonnement

Mit Springer Professional "Wirtschaft" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 340 Zeitschriften

aus folgenden Fachgebieten:

  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Versicherung + Risiko




Jetzt Wissensvorsprung sichern!

inform now
previous chapter A Systematic Approach for the Application of Restricted Boltzmann Machines in Network Intrusion Detection
next chapter Gaussian Opposite Maps for Reduced-Set Relevance Vector Machines
Footnotes
1
In order to proceed with the comparison in Sect. 4 we will consider the definition of weakly self-contradictory.
 
Literature
1.
2.
Belnap, N.D.: A useful four-valued logic. In: Dunn, J.M., Epstein, G. (eds.) Modern Uses of Multiple-Valued Logic, pp. 5–37. Springer Nature, Dordrecht (1977)CrossRef
3.
Bustince, H., Madrid, N., Ojeda-Aciego, M.: A measure of contradiction based on the notion of n-weak-contradiction. In: 2013 IEEE International Conference on Fuzzy Systems (FUZZ-IEEE). Institute of Electrical and Electronics Engineers (IEEE), July 2013
4.
Bustince, H., Madrid, N., Ojeda-Aciego, M.: The notion of weak-contradiction: definition and measures. IEEE Trans. Fuzzy Syst. 23(4), 1057–1069 (2015)CrossRef
5.
Castiñeira, E., Cubillo, S.: Measures of self-contradiction on Atanassov’s intuitionistic fuzzy sets: an axiomatic model. Int. J. Intell. Syst. 24(8), 863–888 (2009)CrossRefMATH
6.
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)
7.
Cornejo, M.E., Medina, J., Ramírez-Poussa, E.: Adjoint negations, more than residuated negations. Inf. Sci. 345, 355–371 (2016)MathSciNetCrossRef
8.
Cubillo, S., Torres, C., Castiñeira, E.: Self-contradiction, contradiction between two Atanassov’ s intuitionistic fuzzy sets. Int. J. Uncertain. Fuzziness Knowl.-Based Syst. 16(03), 283–300 (2008)MathSciNetCrossRefMATH
9.
Dubois, D., Konieczny, S., Prade, H.: Quasi-possibilistic logic and its measures of information and conflict. Fundam. Inf. 57(2–4), 101–125 (2003)MathSciNetMATH
10.
Esteva, F.: Negaciones en retículos completos. Stochastica I, 49–66 (1975)
11.
Esteva, F., Domingo, X.: Sobre funciones de negación en [0,1]. Stochastica IV, 141–166 (1980)
12.
Esteva, F., Trillas, E., Domingo, X.: Weak and strong negation functions in fuzzy set theory. In: Proceedings of the XI International Symposium on Multivalued Logic, pp. 23–26 (1981)
13.
14.
Gelfond, M., Lifschitz, V.: The stable model semantics for logic programming. ICLP/SLP 88, 1070–1080 (1988)
15.
Ginsberg, M.L.: Multi-valued logics. In: AAAI (1986)
16.
Ginsberg, M.L.: Multivalued logics: a uniform approach to reasoning in artificial intelligence. Comput. Intell. 4(3), 265–316 (1988)CrossRef
17.
Grant, J., Hunter, A.: Measuring inconsistency in knowledgebases. J. Intell. Inf. Syst. 27(2), 159–184 (2006)CrossRef
18.
19.
20.
Madrid, N., Ojeda-Aciego, M.: On the measure of incoherence in extended residuated logic programs. In: Proceedings of the IEEE International Conference on Fuzzy Systems, FUZZ-IEEE 2009, Jeju, Island, Korea, 20–24 August 2009, pp. 598–603 (2009)
21.
Madrid, N., Ojeda-Aciego, M.: Measuring instability in normal residuated logic programs: adding information. In: Proceedings of the IEEE International Conference on Fuzzy Systems, FUZZ-IEEE 2010, Barcelona, Spain, 18–23 July 2010, pp. 1–7 (2010)
22.
Madrid, N., Ojeda-Aciego, M.: Measuring instability in normal residuated logic programs: discarding information. In: Hüllermeier, E., Kruse, R., Hoffmann, F. (eds.) IPMU 2010. CCIS, vol. 80, pp. 128–137. Springer, Heidelberg (2010). doi:10.​1007/​978-3-642-14055-6_​14 CrossRef
23.
Madrid, N., Ojeda-Aciego, M.: Measuring inconsistency in fuzzy answer set semantics. IEEE Trans. Fuzzy Syst. 19(4), 605–622 (2011)CrossRef
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
25.
Van Nieuwenborgh, D., De Cock, M., Vermeir, D.: An introduction to fuzzy answer set programming. Ann. Math. Artif. Intell. 50(3–4), 363–388 (2007)MathSciNetCrossRefMATH
26.
Trillas, E.: Sobre negaciones en la teoría de conjuntos difusos. Stochastica III, 47–60 (1979)
27.
Trillas, E., Alsina, C., Jacas, J.: On contradiction in fuzzy logic. Soft Comput. - Fusion Found. Methodol. Appl. 3(4), 197–199 (1999)
28.
Trillas, E., Alsina, C., Jacas, J.: On logical connectives for a fuzzy set theory with or without nonempty self-contradictions. Int. J. Intell. Syst. 15(3), 155–164 (2000)CrossRefMATH
29.
Trillas, E., Renedo, E., Guadarrama, S.: On a new theory of fuzzy sets with just one self-contradiction. In: 10th IEEE International Conference on Fuzzy Systems (Cat. No.01CH37297), vols. 2 and 3, pp. 658–661. Institute of Electrical and Electronics Engineers (IEEE), December 2001
30.
31.
Metadata
Title
Selecting the Coherence Notion in Multi-adjoint Normal Logic Programming
Authors
M. Eugenia Cornejo
David Lobo
Jesús Medina
Copyright Year
2017
Book
Advances in Computational Intelligence

Print ISBN: 978-3-319-59152-0

Electronic ISBN: 978-3-319-59153-7

Copyright Year: 2017

DOI
https://doi.org/10.1007/978-3-319-59153-7_39

Premium Partner

    Image Credits