A logical characterization of coherence for imprecise probabilities
type: Item
instance of: scholarly article
title: A logical characterization of coherence for imprecise probabilities
zbMATH Open document ID: 1244.03082
author: Martina Fedel
author: H. Hosni
author: Franco Montagna
published in: International Journal of Approximate Reasoning
publication date: 2011-11-22T00:00:00Z
review text: This dense paper provides a logico-algebraic framework which allows for a logical characterization of coherence for imprecise improbability.\newline The first chapter begins with a discussion of first-order and second-order uncertainty. It is argued that in many interesting situations single-valued probabilities and/or binary events cannot satisfy practical needs. To combine statistical and logical approaches to second-order uncertainty the authors aim to develop a framework allowing to represent key concepts of both traditions.\newline After a discussion of de Finetti's Dutch Book argument, the authors give brief introductions to the logical tradition using probability over many-valued events and MV-algebras and the statistical tradition using previsions.\newline The first part of the second chapter contains a highly condensed presentation of algebraic tools such as MV-algebra topology and filters on MV-algebras. In the second part a logical characterization of coherence of assessments of upper/lower probability and previsions are given.\newline In Chapter 3 external operators of upper and lower probability are internalized in the algebra yielding a UMV-algebra. These UMV-algebras are then used to characterize coherence.\newline Chapter 4 begins with the definition of UG-algebras, which are obtained from UMV-algebras internalizing real-valued upper previsions. It is then shown that there exists a categorical equivalence between UG-algebras and UMV-algebras. This equivalence is then exploited to prove the existence of PTIME-computable maps \(\circ\) and \(*\) between UG-equations and UMV-equations which preserve semantic consequence and satisfiability.\newline Chapter 5 contains various complexity results concerning UMV-algebras. For instance, it is proved that satisfiability of certain UMV-equations is NP-complete.\newline In Chapter 6 the authors conclude and point out further promising lines of research, such as a logico-algebraic framework with conditioning even…
Mathematics Subject Classification ID: 03B48
Mathematics Subject Classification ID: 03B50
Mathematics Subject Classification ID: 06D35
Mathematics Subject Classification ID: 68Q17
zbMATH DE Number: 5976304
zbMATH Keywords: subjective probability
zbMATH Keywords: probabilistic logic
zbMATH Keywords: coherence
zbMATH Keywords: imprecise probability
zbMATH Keywords: MV-algebra
zbMATH Keywords: betting framework
zbMATH Keywords: many-valued logic
zbMATH Keywords: second-order uncertainty
zbMATH Keywords: satisfiability
reviewed by: Jürgen Landes
MaRDI profile type: Publication
full work available at URL: j.ijar.2011.06.004
OpenAlex ID: W2093683589
cites work: De Finetti's no-Dutch-book criterion for Gödel logic
cites work: Algebraizable logics
cites work: Q3934450
cites work: A New Proof of the Completeness of the Lukasiewicz Axioms
cites work: Algebraic foundations of many-valued reasoning
cites work: Belief models: An order-theoretic investigation
cites work: Imprecise probability trees: bridging two theories of imprecise probability
cites work: Q4094173
cites work: Non-reversible betting games on fuzzy events: complexity and algebra
cites work: Imprecise probabilities, bets and functional analytic methods in Łukasiewicz logic
cites work: Q5184183
cites work: MV-algebras with internal states and probabilistic fuzzy logics
cites work: MV-algebras, multiple bets and subjective states
cites work: A probabilistic logic based on the acceptability of gambles
cites work: Metamathematics of fuzzy logic
cites work: Q4451078
cites work: De Finetti, Countable Additivity, Consistency and Coherence
cites work: Can logic be combined with probability? Probably
cites work: Every state on semisimple MV-algebra is integral
cites work: De Finetti theorem and Borel states in \([0, 1]\)-valued algebraic logic
cites work: Stationary lower probabilities and unstable averages
cites work: Q3584006
cites work: Updating coherent previsions on finite spaces
cites work: Averaging the truth-value in Łukasiewicz logic
cites work: Tensor products and the Loomis-Sikorski theorem for MV-algebras
cites work: Bookmaking over infinite-valued events
cites work: Invariant Measures in Free MV-Algebras
cites work: The Uncertain Reasoner&#39;s Companion
cites work: Truth and Simplicity
cites work: Q4340096
cites work: Q5826088
cites work: Probability and finance. It's only a game!
cites work: A new understanding of subjective probability and its generalization to lower and upper prevision.
cites work: Q5737427
cites work: Q3999364
cites work: Varieties of modal (classificatory) and comparative probability
cites work: Notes on conditional previsions
DOI: 10.1016/J.IJAR.2011.06.004
description: scientific article; zbMATH DE number 5976304