Skip to main content

2018 | OriginalPaper | Buchkapitel

Logics for Strict Coherence and Carnap-Regular Probability Functions

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

search-config
loading …

Abstract

In this paper we provide a characterization of strict coherence in terms of the logical consistency of suitably defined formulas in fuzzy-modal logics for probabilistic reasoning. As a direct consequence of our characterization, we also show the decidability for the problem of checking the strict coherence of rational-valued books on classical events. Further, we introduce a fuzzy modal logic that captures Carnap-regular probability functions, that is normalized and finitely additive measures which maps to 0 only the impossible event.

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
In the computation we used the fact that \(h=\lnot t\), whence \(1-v(h)=v(\lnot h)=v(t)\).
 
Literatur
1.
Zurück zum Zitat Baaz, M.: Infinite-valued Gödel logics with \(0-1\)-projections and relativizations. In: Hájek, P. (ed.) GÖDEL 1996. LNL, vol. 6, pp. 23–33. Springer, Heidelberg (1996) Baaz, M.: Infinite-valued Gödel logics with \(0-1\)-projections and relativizations. In: Hájek, P. (ed.) GÖDEL 1996. LNL, vol. 6, pp. 23–33. Springer, Heidelberg (1996)
3.
Zurück zum Zitat de Finetti, B.: Theory of Probability, vol. 1. Wiley, Hoboken (1974)MATH de Finetti, B.: Theory of Probability, vol. 1. Wiley, Hoboken (1974)MATH
4.
Zurück zum Zitat Di Nola, A., Leuştean, I.: Łukasiewicz logic and MV-algebras. In: Cintula, P., Hájek, P., Noguera, C. (eds.) Handbook of Mathematical Fuzzy Logic-Volume 2. Studies in Logic, Mathematical Logic and Foundations, Studies in Logic, vol. 38, pp. 469–584. College Publications, London (2011). Chap. VI Di Nola, A., Leuştean, I.: Łukasiewicz logic and MV-algebras. In: Cintula, P., Hájek, P., Noguera, C. (eds.) Handbook of Mathematical Fuzzy Logic-Volume 2. Studies in Logic, Mathematical Logic and Foundations, Studies in Logic, vol. 38, pp. 469–584. College Publications, London (2011). Chap. VI
5.
Zurück zum Zitat Flaminio, T.: NP-containment for the coherence test of assessments of conditional probability: a fuzzy logical approach. Arch. Math. Logic 46, 301–319 (2007)MathSciNetCrossRef Flaminio, T.: NP-containment for the coherence test of assessments of conditional probability: a fuzzy logical approach. Arch. Math. Logic 46, 301–319 (2007)MathSciNetCrossRef
6.
Zurück zum Zitat Flaminio, T., Godo, L., Hosni, H.: On the logical structure of de Finettis notion of event. J. Appl. Logic 12, 279–301 (2014)MathSciNetCrossRef Flaminio, T., Godo, L., Hosni, H.: On the logical structure of de Finettis notion of event. J. Appl. Logic 12, 279–301 (2014)MathSciNetCrossRef
7.
Zurück zum Zitat Flaminio, T., Godo, L., Marchioni, E.: Reasoning about uncertainty of fuzzy events: an overview. In: Cintula, P., et al. (eds.) Understanding Vagueness - Logical, Philosophical, and Linguistic Perspectives, pp. 367–400. College Publications (2011) Flaminio, T., Godo, L., Marchioni, E.: Reasoning about uncertainty of fuzzy events: an overview. In: Cintula, P., et al. (eds.) Understanding Vagueness - Logical, Philosophical, and Linguistic Perspectives, pp. 367–400. College Publications (2011)
9.
Zurück zum Zitat Flaminio, T., Montagna, F.: A logical and algebraic approach to conditional probability. Arch. Math. Logic 44(4), 245–262 (2005)MathSciNetCrossRef Flaminio, T., Montagna, F.: A logical and algebraic approach to conditional probability. Arch. Math. Logic 44(4), 245–262 (2005)MathSciNetCrossRef
10.
Zurück zum Zitat Gerla, B.: Rational Łukasiewicz logic and divisible MV-algebras. Neural Netw. Worlds 25, 1–13 (2001) Gerla, B.: Rational Łukasiewicz logic and divisible MV-algebras. Neural Netw. Worlds 25, 1–13 (2001)
11.
Zurück zum Zitat Hájek, P., Godo, L., Esteva, F.: Probability and fuzzy logic. In: Besnard, P., Hanks, S. (eds.) Proceedings of Uncertainty in Artificial Intelligence, UAI 1995, pp. 237–244. Morgan Kaufmann, San Francisco (1995) Hájek, P., Godo, L., Esteva, F.: Probability and fuzzy logic. In: Besnard, P., Hanks, S. (eds.) Proceedings of Uncertainty in Artificial Intelligence, UAI 1995, pp. 237–244. Morgan Kaufmann, San Francisco (1995)
12.
Zurück zum Zitat Hájek, P.: Metamathematics of Fuzzy Logics. Kluwer Academic Publishers, Dordrecht (1998)CrossRef Hájek, P.: Metamathematics of Fuzzy Logics. Kluwer Academic Publishers, Dordrecht (1998)CrossRef
13.
Metadaten
Titel
Logics for Strict Coherence and Carnap-Regular Probability Functions
verfasst von
Tommaso Flaminio
Copyright-Jahr
2018
DOI
https://doi.org/10.1007/978-3-319-91476-3_22