Deciding Koopman's qualitative probability

DOI10.1016/j.artint.2021.103524OpenAlexW3163356286MaRDI QIDQ2238703

Daniele Mundici

Publication date: 2 November 2021

Published in: Artificial Intelligence (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.artint.2021.103524

zbMATH Keywords

independenceknowledge representationprobabilistic inferencequalitative probabilityprobabilistic consistencyprobabilistic satisfiabilityuncertainty managementPSATde Finetti Dutch book theoremBoole probabilistic inference problemKoopman comparative conditional probabilitymeasure on Boolean algebra

Mathematics Subject Classification ID

Artificial intelligence (68Txx)

Related Items (1)

Compound conditionals, Fréchet-Hoeffding bounds, and Frank \(t\)-norms

Uses Software

• LIPSAT

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Conditional random quantities and compounds of conditionals
• Reasoning about uncertain conditionals
• Measures on Boolean algebras
• Measuring inconsistency in probabilistic logic: rationality postulates and Dutch book interpretation
• A sharper estimate on the Betti numbers of sets defined by quadratic inequalities
• Probabilistic logic
• Boole's logic and probability. A critical exposition from the standpoint of contemporary algebra, logic and probability theory. 2nd ed., rev. and enlarged
• Probabilistic satisfiability
• Stochastic independence in a coherent setting
• Probabilistic inferences from conjoined to iterated conditionals
• Polynomial-time computing over quadratic maps i: sampling in real algebraic sets
• Probably half true: probabilistic satisfiability over Łukasiewicz infinitely-valued logic
• A logic for reasoning about probabilities
• Probably partially true: satisfiability for Łukasiewicz infinitely-valued probabilistic logic and related topics
• The logic of qualitative probability
• Feasibility testing for systems of real quadratic equations
• Measurement structures and linear inequalities
• Generalized probabilistic modus ponens
• Transitivity in coherence-based probability logic
• The axioms and algebra of intuitive probability
• A new decision method for elementary algebra
• Theory of Probability
• Systems of quadratic inequalities
• Intuitive Probability on Finite Sets
• The bases of probability
• Measures in Boolean Algebras
• The role of coherence in eliciting and handling imprecise probabilities and its application to medical diagnosis

This page was built for publication: Deciding Koopman's qualitative probability