Skip to main content

2018 | OriginalPaper | Buchkapitel

Towards Fuzzy Type Theory with Partial Functions

verfasst von : Vilém Novák

Erschienen in: Advances in Fuzzy Logic and Technology 2017

Verlag: Springer International Publishing

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

search-config
loading …

Abstract

This paper is a study of fuzzy type theory (FTT) with partial functions. Out of several possibilities we decided to introduce a special value “\(*\)” which represents “undefined”. In the interpretation of FTT, this value lays outside of the corresponding domain. In the syntax, it is naturally represented by the description operator acting on the empty (fuzzy) set which, of course, has no element and so, choosing an element from its kernel gives no result, i.e., it is undefined. We will demonstrate that our approach leads to reasonable characterization of the undefinedness. We will also show that any consistent theory of FTT has a model.

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
Note that this “\(*\)” is a different element from “\(*\)” introduced for truth values.
 
2
Recall that the description operator represents, in fact, the defuzzification operation (cf. [14, Chapt. 3]).
 
Literatur
1.
Zurück zum Zitat Andrews, P.: An Introduction to Mathematical Logic and Type Theory: To Truth Through Proof. Kluwer, Dordrecht (2002)CrossRefMATH Andrews, P.: An Introduction to Mathematical Logic and Type Theory: To Truth Through Proof. Kluwer, Dordrecht (2002)CrossRefMATH
2.
Zurück zum Zitat Duží, M., Jespersen, B., Materna, P.: Procedural Semantics for Hyperintensional Logic. Springer, Dordrecht (2010)MATH Duží, M., Jespersen, B., Materna, P.: Procedural Semantics for Hyperintensional Logic. Springer, Dordrecht (2010)MATH
3.
5.
6.
Zurück zum Zitat Lappiere, S.: A functional partial semantics for intensional logic. Notre Dame J. Form. Log. 33, 517–541 (1992)MathSciNetCrossRef Lappiere, S.: A functional partial semantics for intensional logic. Notre Dame J. Form. Log. 33, 517–541 (1992)MathSciNetCrossRef
8.
Zurück zum Zitat Novák, V.: Descriptions in the full fuzzy type theory. Neural Netw. World 5, 559–565 (2003) Novák, V.: Descriptions in the full fuzzy type theory. Neural Netw. World 5, 559–565 (2003)
11.
Zurück zum Zitat Novák, V.: Fuzzy type theory, descriptions, and partial functions. In: Galichet, S., Montero, J., Mauris, G. (eds.) Proceedings of 7th International Conference EUSFLAT-2011 and LFA-2011, pp. 189–195. Atlantis Press, Amsterdam (2011) Novák, V.: Fuzzy type theory, descriptions, and partial functions. In: Galichet, S., Montero, J., Mauris, G. (eds.) Proceedings of 7th International Conference EUSFLAT-2011 and LFA-2011, pp. 189–195. Atlantis Press, Amsterdam (2011)
12.
Zurück zum Zitat Novák, V.: Fuzzy type theory with partial functions. Fuzzy Sets Syst. (submitted) Novák, V.: Fuzzy type theory with partial functions. Fuzzy Sets Syst. (submitted)
14.
Zurück zum Zitat Novák, V., Perfilieva, I., Dvořák, A.: Insight into Fuzzy Modeling. Wiley, Hoboken (2016)CrossRefMATH Novák, V., Perfilieva, I., Dvořák, A.: Insight into Fuzzy Modeling. Wiley, Hoboken (2016)CrossRefMATH
15.
Metadaten
Titel
Towards Fuzzy Type Theory with Partial Functions
verfasst von
Vilém Novák
Copyright-Jahr
2018
DOI
https://doi.org/10.1007/978-3-319-66827-7_3