nach oben

Erschienen in:

2018 | OriginalPaper | Buchkapitel

Quantification over Undefined Truth Values

verfasst von : Martina Daňková

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

Verlag: Springer International Publishing

Einloggen

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

search-config

KI-gestützte Suche

Aus

Abstract

We will recall three prominent families of quantifiers in first-order partial fuzzy logic and study their properties. The background fuzzy logic is the monoidal t-norm based logic MTL. First we will overview the semantics of partial fuzzy propositional logic, recall the basic notions, comment on axiomatization and present its first-order variant. Then we will present results on the properties of quantifiers from different families.

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!

Jetzt informieren

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!

Jetzt informieren

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!

Jetzt informieren

Vorheriges Kapitel Compositions of Partial Fuzzy Relations

Nächstes Kapitel FS4RVDD: A Feature Selection Algorithm for Random Variables with Discrete Distribution

A complete characterization of distributive pairs of Sobociński and Bochvar connectives has been provided in [4, Theorem 3.5].

Běhounek, L., Daňková, M.: Towards fuzzy partial set theory. In: Carvalho, J.P., Lesot, M.-J., Kaymak, U., Vieira, S., Bouchon-Meunier, B., Yager, R.R. (eds.) IPMU 2016. CCIS, vol. 611, pp. 482–494. Springer, Cham (2016). https://doi.org/10.1007/978-3-319-40581-0_39CrossRef

Běhounek, L., Daňková, M.: Variable-domain fuzzy sets - part 1. Fuzzy Sets Syst. (Submitted 2017)

Běhounek, L., Dvořák, A.: Non-denoting terms in fuzzy logic: an initial exploration. In: Kacprzyk, J., Szmidt, E., Zadrożny, S., Atanassov, K.T., Krawczak, M. (eds.) IWIFSGN/EUSFLAT -2017. AISC, vol. 641, pp. 148–158. Springer, Cham (2018). https://doi.org/10.1007/978-3-319-66830-7_14CrossRef

Běhounek, L., Novák, V.: Towards fuzzy partial logic. In: Proceedings of the IEEE 45th International Symposium on Multiple-Valued Logics (ISMVL 2015), pp. 139–144 (2015)

Ciucci, D., Dubois, D.: A map of dependencies among three-valued logics. Inf. Sci. 250, 162–177 (2013)MathSciNetCrossRef

Daňková, M.: Fuzzy relations and fuzzy functions in partial fuzzy set theory. In: Kacprzyk, J., Szmidt, E., Zadrożny, S., Atanassov, K.T., Krawczak, M. (eds.) IWIFSGN/EUSFLAT -2017. AISC, vol. 641, pp. 563–573. Springer, Cham (2018). https://doi.org/10.1007/978-3-319-66830-7_50CrossRef

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

Falai, C., Dongming, W.: Geometric Computation. Lecture Notes Series On Computing, World Scientific Publishing Company (2004). https://books.google.cz/books?id=SgfJCgAAQBAJ

Hájek, P.: Metamathematics of Fuzzy Logic. Kluwer, Dordrecht (1998)CrossRef

10.

Little, W.: Applied Logic. University college. University of Florida, Houghton Mifflin (1955). https://books.google.cz/books?id=9ThSaurNmsEC

11.

Marlet, R.: Program Specialization. ISTE, Wiley (2013). https://books.google.cz/books?id=XTlio_HSJ0cC

12.

Novák, V.: Towards fuzzy type theory with partial functions. In: Kacprzyk, J., Szmidt, E., Zadrożny, S., Atanassov, K.T., Krawczak, M. (eds.) IWIFSGN/EUSFLAT -2017. AISC, vol. 643, pp. 25–37. Springer, Cham (2018). https://doi.org/10.1007/978-3-319-66827-7_3CrossRef

13.

Rasiowa, H.: An Algebraic Approach to Non-Classical Logics. North-Holland, Amsterdam (1974)MATH

Titel: Quantification over Undefined Truth Values
verfasst von: Martina Daňková
Verlag: Springer International Publishing
Buch: Information Processing and Management of Uncertainty in Knowledge-Based Systems. Applications
Print ISBN: 978-3-319-91478-7

Electronic ISBN: 978-3-319-91479-4

Copyright-Jahr: 2018
DOI: https://doi.org/10.1007/978-3-319-91479-4_17

Springer Professional

Abstract

Bitte loggen Sie sich ein, um Zugang zu Ihrer Lizenz zu erhalten.

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

Springer Professional "Wirtschaft+Technik"

Springer Professional "Technik"

Springer Professional "Wirtschaft"