NP-containment for the coherence test of assessments of conditional probability: a fuzzy logical approach

DOI10.1007/S00153-007-0045-3MaRDI QIDQ877263zbMATH OpenOpenAlexFDO

Authors Tommaso Flaminio

Publication date 19 April 2007

Published in Archive for Mathematical Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s00153-007-0045-3

zbMATH Keywords

coherencecomputational complexityNP-completeconditional probabilitysatisfiability problemBaaz connectivemodal-fuzzy logic[https://portal.mardi4nfdi.de/w/index.php?title=+Special%3ASearch&search=rational+%EF%BF%BD%EF%BF%BDukasiewicz+logic&go=Go rational ��ukasiewicz logic]

Mathematics Subject Classification ID

Probability and inductive logic (03B48) Computational difficulty of problems (lower bounds, completeness, difficulty of approximation, etc.) (68Q17) Fuzzy logic; logic of vagueness (03B52)

Recommendations

• Logics in Artificial Intelligence
• Coherent Conditional Probability in a Fuzzy Logic Setting
• Symbolic and Quantitative Approaches to Reasoning with Uncertainty
• Symbolic and Quantitative Approaches to Reasoning with Uncertainty
• Mixed rational assessments of possibility and probability measures

Cites work

• scientific article; zbMATH DE number 3976991 (Why is no real title available?)
• scientific article; zbMATH DE number 4089320 (Why is no real title available?)
• scientific article; zbMATH DE number 922613 (Why is no real title available?)
• A logic for reasoning about probabilities
• A logical and algebraic treatment of conditional probability
• Advances in the Ł\(\Pi\) and Ł\(\Pi\frac 12\) logics
• Averaging the truth-value in Łukasiewicz logic
• Complexity of fuzzy probability logics
• Logics in Artificial Intelligence
• Metamathematics of fuzzy logic
• Probabilistic satisfiability
• Probability logic and optimization SAT: The PSAT and CPA models
• Reflection principles and iterated consistency assertions
• Representation and extension of states on MV-algebras
• Stochastic independence in a coherent setting
• Symbolic and Quantitative Approaches to Reasoning with Uncertainty
• The Uncertain Reasoner's Companion
• The \(L\Pi\) and \(L\Pi\frac 12\) logics: Two complete fuzzy systems joining Łukasiewicz and product logics
• The Ł\(\Pi\) and Ł\(\Pi\frac{1}{2}\) propositional and predicate logics

Cited in

(12)

• A logic for reasoning about the probability of fuzzy events
• Mixed rational assessments of possibility and probability measures
• Strong non-standard completeness for fuzzy logics
• Computational aspects of probability logics
• Symbolic and Quantitative Approaches to Reasoning with Uncertainty
• Stone Duality Type Theorems for MV-Algebras with Internal State
• Possibilistic conditioning framed in fuzzy logics
• \(\mu \)MV-algebras: An approach to fixed points in Łukasiewicz logic
• Logics for strict coherence and Carnap-regular probability functions
• Coherent Conditional Probability in a Fuzzy Logic Setting
• Logics in Artificial Intelligence
• Franco Montagna's work on provability logic and many-valued logic

This page was built for publication: NP-containment for the coherence test of assessments of conditional probability: a fuzzy logical approach

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q877263)