Skip to main content
Fachgebiete
Automobil + Motoren Bauwesen + Immobilien Business IT + Informatik Elektrotechnik + Elektronik Energie + Nachhaltigkeit Finance + Banking Management + Führung Marketing + Vertrieb Maschinenbau + Werkstoffe Versicherung + Risiko
DE
EN
Themenseiten
Organisationspsychologie Projektmanagement Marketing Smart Manufacturing
Bücher
Zeitschriften
Weitere Formate
Podcasts Webinare Technik Webinare Wirtschaft Kongresse Veranstaltungskalender Awards
Jetzt Einzelzugang starten
Zugang für Unternehmen
Referenzkunden
MTZ-Fachkongress

Antriebe und Energiesysteme von morgen


Austausch von Automobil- und Energiewirtschaft

Am 14./15. Mai geht es in Chemnitz um die Mobilitätswende durch Elektro- und Wasserstofffahrzeuge.
Erweiterte Suche
Anmelden
nach oben
Soft Computing
Erschienen in: Soft Computing 11/2012

01.11.2012 | Focus

Geometrical aspects of possibility measures on finite domain MV-clans

verfasst von: Tommaso Flaminio, Lluís Godo, Enrico Marchioni

Erschienen in: Soft Computing | Ausgabe 11/2012

Einloggen

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

search-config
loading …

Abstract

In this paper, we study generalized possibility and necessity measures on MV-algebras of [0, 1]-valued functions (MV-clans) in the framework of idempotent mathematics, where the usual field of reals \({\mathbb{R}}\) is replaced by the max-plus semiring \({\mathbb{R}}_{\rm max}.\) We prove results about extendability of partial assessments to possibility and necessity measures, and characterize the geometrical properties of the space of homogeneous possibility measures. The aim of the present paper is also to support the idea that idempotent mathematics is the natural framework to develop the theory of possibility and necessity measures, in the same way classical mathematics serves as a natural setting for probability theory.
Vorheriger Artikel Extension of belief functions to infinite-valued events
Nächster Artikel Admissibility in De Morgan algebras

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 "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

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
Fußnoten
1
Papers on idempotent and tropical mathematics usually adopt the following notation: the idempotent operation is denoted by \(\oplus, \) while \(\odot\) denotes the usual sum. This notation is justified because the idempotent operation substitutes the sum, and the sum substitutes the product in the real field \({\mathbb{R}}.\) In this paper, conversely, we will not adopt this notation because it would be misleading with respect to those used in many-valued logic (see Sect. 2), where \(\oplus\) and \(\odot\) represent, respectively, a t-conorm and a t-norm. For this reason, we will keep the standard notation for max,  min,  + and ·.
 
2
It is worth noticing that, while Kroupa proved Theorem 1 in the case of semisimple MV-algebras, Panti showed that the hypothesis on the semisimplicity of the MV-algebra can be relaxed, since, for every MV-algebra \({\mathcal A}, \) there is a canonical bijection between the class \({\mathcal{S}}({\mathcal A})\) of all the states on \(A, \) and the class \({\mathcal{S}}({\mathcal A}/Rad({\mathcal A}))\) of all the states on its most general semisimple quotient \({\mathcal A}/Rad({\mathcal A}).\)
 
3
It is worth noticing that Kühr and Mundici [21, Corollary 4.3] extend de Finetti’s coherence criterion to any algebraizable (cf. Blok and Pigozzi 1989) logic \({\mathcal{L}}_\Upomega\) whose equivalent algebraic semantics is given by the algebraic variety generated by the algebra \(([0, 1],\Upomega), \) where \(\Upomega\) denotes a set of continuous operations on [0, 1]. Therefore, the following theorem can be reasonably seen as a particular case of [21, Corollary 4.3].
 
4
In (Flaminio et al. 2011a), we actually introduced the slightly more general notion of \(L\)-valued possibility (necessity) measure on an MV-algebra, where \(L\) is in any MV-chain. In this paper, we concentrate on [0, 1]-valued maps, and hence we will simply speak about “possibility” (resp. “necessity”) measures, without specifying that \([0, 1]_{\rm MV}\) serves as range for the measures.
 
5
A De Morgan triplet (see e.g., Garcia and Valverde (1989)) is a 3-tuple \((\mathop{\hat{\odot}}, {\hat{\oplus}}, \neg)\) where \(\mathop{\hat{\odot}}\) is a t-norm, \({\hat{\oplus}}\) a t-conorm, \(\neg\) a strong negation function such that \(x {\hat{\oplus}} y = \neg (\neg x \mathop{\hat{\odot}} \neg y)\) for all \(x, y \in [0, 1].\)
 
Literatur
Blok WJ, Pigozzi D (1989) Algebraizable logics. Memoirs of the American Mathematical Society, 396, vol 77
Butnariu D, Klement EP (1993) Triangular norm based measures and games with fuzzy coalitions. Kluwer, DordrechtMATH
Calvo T, Mayor G, Mesiar R (eds) (2002) Aggregation operators—new trends and applications, volume 97 Studies in fuzziness and soft computing. Springer
Chang CC (1958) Algebraic analysis of many-valued logics. Trans Am Math Soc 88:467–490MATHCrossRef
Chang CC (1959) A new proof of the completeness of the Łukasiewicz axioms. Trans Am Math Soc 93:74–80MATH
Cignoli R, D’Ottaviano IML, Mundici D (2000) Algebraic foundations of many-valued reasoning, volume 7 of Trends in logic—Studia Logica Library. Kluwer Academic Publishers, Dordrecht
de Finetti B (1993) Sul significato soggettivo della probabilità, Fundamenta Mathematicae 17, 298–329, 1931 (Translated into English as “On the subjective meaning of probability”. In: Monari P, Cocchi (eds) Probabilità e Induzione, Clueb, Bologna, pp 291–321)
Dubois D, Prade H (1988) Possibility theory. An approach to computerized processing of uncertainty. Plenum Press, New York (with the collaboration of Farreny H, Martin-Clouaire R, Testemale C)
Flaminio T, Godo L, Marchioni E (2011a) On the logical formalization of possibilistic counterpart of states over n-valued Łukasiewicz events. J Logic Comput 21(3):447–464
Flaminio T, Godo L, Marchioni E (2011b) Reasoning about uncertainty of fuzzy events: an overview. In: Cintula P, Fermüller CG, Godo L, Hájek P (eds) Understanding vagueness—logical, philosophical, and linguistic perspectives. Studies in logic, vol 36. College Publications, London, pp 367–401
Goodearl KR (1986) Partially ordered abelian groups with interpolation. AMS Math Surv Monogr 20
Grabisch M, Murofushi T, Sugeno M (1992) Fuzzy measure of fuzzy events defined by fuzzy integrals. Fuzzy Sets Syst 50:293–313MathSciNetMATHCrossRef
Hájek P (1998) Metamathematics of fuzzy logic, volume 4 of Trends in Logic—Studia Logica Library. Kluwer Academic Publishers, Dordrecht
Halpern JY (2003) Reasoning about uncertainty. MIT Press
Kühr J, Mundici D (2007) De Finetti theorem and Borel states in [0, 1]-valued algebraic logic. Int J Approx Reason 46(3):605–616MATHCrossRef
Litvinov GL (2007) Maslov dequantization, idempotent and tropical mathematics: a brief introduction. J Math Sci 140(3):426–444MathSciNetCrossRef
Navara M (2005) Triangular norms and measures of fuzzy sets. In: Klement EP, Mesiar R (eds) Logical, algebraic, analytic, and probabilistic aspects of triangular norms. Elsevier, pp 345–390
Richter-Gebert J, Sturmfels B, Theobald T (2005) First steps in tropical geometry. In: Litvinov GL, Maslov VP (eds) Idempotent mathematics and mathematical physics. Proceedings Vienna 2003. American Mathematical Society, Contemporary Mathematics 377, pp 289–317
Schrödinger E (1926) Quantization as an eigenvalue problem. Ann Phys 364:361–376CrossRef
Sugeno M (1974) Theory of fuzzy integrals and its applications. PhD dissertation. Tokyo Institute of Technology, Tokyo
Zimmermann U (1981) Linear and combinatorial optimization in ordered algebraic structures. Ann Discret Math 10:viii+380
Metadaten
Titel
Geometrical aspects of possibility measures on finite domain MV-clans
verfasst von
Tommaso Flaminio
Lluís Godo
Enrico Marchioni
Publikationsdatum
01.11.2012
Verlag
Springer-Verlag
Erschienen in
Soft Computing / Ausgabe 11/2012
Print ISSN: 1432-7643
Elektronische ISSN: 1433-7479
DOI
https://doi.org/10.1007/s00500-012-0838-0

Weitere Artikel der Ausgabe 11/2012

Soft Computing 11/2012 Zur Ausgabe

Original Paper

Automatic evolution of programs for procedural generation of terrains for video games

Original Paper

E-perfect effect algebras

Original Paper

On pseudo BL-algebras with internal state

Original Paper

A comparison index for interval ordering based on generalized Hukuhara difference

Focus

Hahn–Banach theorems for MV-algebras

Original Paper

Bipedal robot walking control on inclined planes by fuzzy reference trajectory modification

Premium Partner

    Bildnachweise