Skip to main content

2018 | OriginalPaper | Buchkapitel

Connecting Systems of Mathematical Fuzzy Logic with Fuzzy Concept Lattices

verfasst von : Pietro Codara, Francesc Esteva, Lluis Godo, Diego Valota

Erschienen in: Information Processing and Management of Uncertainty in Knowledge-Based Systems. Theory and Foundations

Verlag: Springer International Publishing

Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.

search-config
loading …

Abstract

In this paper our aim is to explore a new look at formal systems of fuzzy logics using the framework of (fuzzy) formal concept analysis (FCA). Let L be an extension of MTL complete with respect to a given L-chain. We investigate two possible approaches. The first one is to consider fuzzy formal contexts arising from L where attributes are identified with L-formulas and objects with L-evaluations: every L-evaluation (object) satisfies a formula (attribute) to a given degree, and vice-versa. The corresponding fuzzy concept lattices are shown to be isomorphic to quotients of the Lindenbaum algebra of L. The second one, following an idea in a previous paper by two of the authors for the particular case of Gödel fuzzy logic, is to use a result by Ganter and Wille in order to interpret the (lattice reduct of the) Lindenbaum algebra of L-formulas as a (classical) concept lattice of a given context.

Sie haben noch keine Lizenz? Dann Informieren Sie sich jetzt über unsere Produkte:

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!

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!

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!

Fußnoten
1
MTL algebras are commutative integral bounded residuated lattices satisfying prelinearity [9].
 
2
We use \(\varphi ^2\) as a shorcut for \(\varphi \odot \varphi \).
 
Literatur
1.
Zurück zum Zitat Aguzzoli, S., Bova, S., Gerla, B.: Free algebras and functional representation. In: Cintula, P., Háajek, P., Noguera, C. (eds.) Handbook of Mathematical Fuzzy Logic. Studies in Logic, vol. 38, chap. IX, pp. 713–791. College Publications, London (2011) Aguzzoli, S., Bova, S., Gerla, B.: Free algebras and functional representation. In: Cintula, P., Háajek, P., Noguera, C. (eds.) Handbook of Mathematical Fuzzy Logic. Studies in Logic, vol. 38, chap. IX, pp. 713–791. College Publications, London (2011)
2.
Zurück zum Zitat Bělohlávek, R.: Fuzzy concepts and conceptual structures: induced similarities. In: Proceedings of Joint Conference on Information Sciences, Durham, vol. 1, pp. 179–182 (1998) Bělohlávek, R.: Fuzzy concepts and conceptual structures: induced similarities. In: Proceedings of Joint Conference on Information Sciences, Durham, vol. 1, pp. 179–182 (1998)
4.
Zurück zum Zitat Bou, F., Esteva, F., Font, J.M., Gil, À.J., Godo, L., Torrens, A., Verd, V.: Logics preserving degrees of truth from varieties of residuated lattices. J. Logic Comput. 19(6), 1031–1069 (2009)MathSciNetCrossRef Bou, F., Esteva, F., Font, J.M., Gil, À.J., Godo, L., Torrens, A., Verd, V.: Logics preserving degrees of truth from varieties of residuated lattices. J. Logic Comput. 19(6), 1031–1069 (2009)MathSciNetCrossRef
6.
Zurück zum Zitat Dutta, S., Esteva, F., Godo, L.: On a three-valued logic to reason with prototypes and counterexamples and a similarity-based generalization. In: Luaces, O., Gámez, J.A., Barrenechea, E., Troncoso, A., Galar, M., Quintián, H., Corchado, E. (eds.) CAEPIA 2016. LNCS (LNAI), vol. 9868, pp. 498–508. Springer, Cham (2016). https://doi.org/10.1007/978-3-319-44636-3_47CrossRef Dutta, S., Esteva, F., Godo, L.: On a three-valued logic to reason with prototypes and counterexamples and a similarity-based generalization. In: Luaces, O., Gámez, J.A., Barrenechea, E., Troncoso, A., Galar, M., Quintián, H., Corchado, E. (eds.) CAEPIA 2016. LNCS (LNAI), vol. 9868, pp. 498–508. Springer, Cham (2016). https://​doi.​org/​10.​1007/​978-3-319-44636-3_​47CrossRef
7.
Zurück zum Zitat Esteva, F., Godo, L.: Monoidal t-norm based logic: towards a logic for left-continuous t-norms. Fuzzy Sets Syst. 124(3), 271–288 (2001)MathSciNetCrossRef Esteva, F., Godo, L.: Monoidal t-norm based logic: towards a logic for left-continuous t-norms. Fuzzy Sets Syst. 124(3), 271–288 (2001)MathSciNetCrossRef
9.
Zurück zum Zitat Galatos, N., Jipsen, P., Kowalski, T., Ono, H.: Residuated Lattices: An Algebraic Glimpse at Substructural Logics. Elsevier, New York (2007)MATH Galatos, N., Jipsen, P., Kowalski, T., Ono, H.: Residuated Lattices: An Algebraic Glimpse at Substructural Logics. Elsevier, New York (2007)MATH
13.
Zurück zum Zitat Jenei, S., Montagna, F.: A proof of standard completeness for Esteva and Godo’s logic MTL. Stud. Logica. 70(2), 183–192 (2002)MathSciNetCrossRef Jenei, S., Montagna, F.: A proof of standard completeness for Esteva and Godo’s logic MTL. Stud. Logica. 70(2), 183–192 (2002)MathSciNetCrossRef
Metadaten
Titel
Connecting Systems of Mathematical Fuzzy Logic with Fuzzy Concept Lattices
verfasst von
Pietro Codara
Francesc Esteva
Lluis Godo
Diego Valota
Copyright-Jahr
2018
DOI
https://doi.org/10.1007/978-3-319-91476-3_23