nach oben

Soft Computing

Erschienen in:

24.06.2016 | Focus

Layers of zero probability and stable coherence over Łukasiewicz events

verfasst von: Tommaso Flaminio, Lluís Godo

Erschienen in: Soft Computing | Ausgabe 1/2017

Einloggen

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

search-config

KI-gestützte Suche

Aus

Abstract

The notion of stable coherence has been recently introduced to characterize coherent assignments to conditional many-valued events by means of hyperreal-valued states. In a nutshell, an assignment, or book, \(\beta \) on a finite set of conditional events is stably coherent if there exists a coherent variant \(\beta '\) of \(\beta \) such that \(\beta '\) maps all antecedents of conditional events to a strictly positive hyperreal number, and such that \(\beta \) and \(\beta '\) differ by an infinitesimal. In this paper, we provide a characterization of stable coherence in terms of layers of zero probability for books on Łukasiewicz logic events.

Vorheriger Artikel Expanding with a Boolean connective

Nächster Artikel On strong standard completeness in some MTL expansions

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

An k-dimensional simplex is the convex hull of \(k+1\) affinely independent vertices. The empty set \(\emptyset \) is a \((-1)\)-dimensional simplex. A l-dimensional face of the k-simplex T over vertices \(\mathbf {x}_1\), \(\ldots \), \(\mathbf {x}_{k+1}\) is the k-simplex spanned by \(l+1\) vertices of T.

Let T be an k-dimensional simplex over rational vertices. Let \(\mathbf {x}=(a_1/d,\ldots ,a_k/d)\) be a vertex of T, for uniquely determined relatively prime integers \(a_1,\ldots ,a_k,d\) with \(d \ge 1\). Call \((a_1,\ldots ,a_k,d)\) the homogeneous coordinates of \(\mathbf {x}\), and call \(\mathrm {den}(\mathbf {x})=d\) the denominator of \(\mathbf {x}\). Then, T is unimodular if the absolute value of the determinant of the integer square matrix having the homogeneous coordinates of the ith vertex as its ith row is equal to 1 for all \(i =1,\ldots , n+1\). A r-dimensional simplex (\(r \le n\)) is unimodular if it is a face of some unimodular k-dimensional simplex.

Blume L, Brandenburger A, Dekel E (1991) Lexicographic probabilities and choice under uncertainty. Econometrica 59(1):61–79CrossRefMATHMathSciNet

Chang CC (1958) Algebraic analysis of many-valued logics. Trans Am Math Soc 88:467–490CrossRefMATHMathSciNet

Cignoli R, D’Ottaviano IML, Mundici D (2000) Algebraic foundations of many-valued reasoning, trends in logic, vol 8. Kluwer, DordrechtCrossRefMATH

Coletti G, Scozzafava R (2002) Probabilistic logic in a coherent setting. Trends in logic, vol 15. Kluwer, DordrechtCrossRefMATH

de Finetti B (1974) Theory of probability, vol 1. Wiley, New YorkMATH

Flaminio T, Montagna F (2005) A logical and algebraic treatment of conditional probability. Arch Math Log 44:245–262CrossRefMATHMathSciNet

Halpern JY (2010) Lexicographic probability, conditional probability, and nonstandard probability. Games Econ Behav 68:155–179CrossRefMATHMathSciNet

Horčík R, Cintula P (2004) Product Łukasiewicz logic. Arch Math Log 43(4):477–503CrossRefMATH

Krauss PH (1968) Representation of conditional probability measures on Boolean algebras. Acta Math Acad Sci Hung Tomus 19(3–4):229–241CrossRefMATHMathSciNet

Kroupa T (2005) Conditional probability on MV-algebras. Fuzzy Sets Syst 149(2):369–381CrossRefMATHMathSciNet

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–616CrossRefMATHMathSciNet

Montagna F (2000) An algebraic approach to propositional fuzzy logic. J Log Lang Inf 9:91–124CrossRefMATHMathSciNet

Montagna F (2005) Subreducts of MV-algebras with product and product residuation. Algebra Univ 53:109–137CrossRefMATHMathSciNet

Montagna F (2011) A notion of coherence for books on conditional events in many-valued logic. J Log Comput 21(5):829–850CrossRefMATHMathSciNet

Montagna F, Fedel M, Scianna G (2013) Non-standard probability, coherence and conditional probability on many-valued events. Int J Approx Reason 54(5):573–589CrossRefMATHMathSciNet

Mundici D (1994) A constructive proof of McNaughton’s theorem in infinite-valued logic. J Symb Log 59(2):596–602CrossRefMATHMathSciNet

Mundici D (1995) Averaging the truth-value in Łukasiewicz logic. Stud Log 55(1):113–127CrossRefMATHMathSciNet

Mundici D (2006) Bookmaking over infinite-valued events. Int J Approx Reason 43:223–240CrossRefMATHMathSciNet

Mundici D (2011) Advanced Łukasiewicz calculus and MV-algebras. Trends in logic, vol 35. Springer, DordrechtCrossRefMATH

Nelson E (1988) Radically elementary probability theory. Annals of Math Studies, Princeton University Press

Paris J (2001) A note on the Dutch Book method. In: DeCooman G, Fine T, Seidenfeld T (eds) Proceedings of the second international symposium on imprecise probabilities and their applications, ISIPTA 2001, Ithaca, NY, USA, Shaker Publishing Company, pp 301–306, 2001. http://www.maths.man.ac.uk/DeptWeb/Homepages/jbp/

Rényi A (1956) On conditional probability spaces generated by a dimensionally ordered set of measures. Theory Probab Appl 1:61–71. Reprinted as paper 120 in Selected Papers of Alfred Rényi, I: 1948–1956. Akadémia Kiadó, Budapest, 1976, pp 554–557

Titel: Layers of zero probability and stable coherence over Łukasiewicz events
verfasst von: Tommaso Flaminio
Lluís Godo
Publikationsdatum: 24.06.2016
Verlag: Springer Berlin Heidelberg
Erschienen in: Soft Computing / Ausgabe 1/2017
Print ISSN: 1432-7643
Elektronische ISSN: 1433-7479
DOI: https://doi.org/10.1007/s00500-016-2233-8

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

Springer Professional "Technik"

Weitere Artikel der Ausgabe 1/2017

Motion retrieval based on Dynamic Bayesian Network and Canonical Time Warping

Preface

Density revisited

Free weak nilpotent minimum algebras

Expanding with a Boolean connective

Generalised states: a multi-sorted algebraic approach to probability