NP-containment for the coherence test of assessments of conditional probability: a fuzzy logical approach
DOI10.1007/S00153-007-0045-3zbMATH Open1110.03012OpenAlexW2067454677MaRDI QIDQ877263FDOQ877263
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
Recommendations
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]
Probability and inductive logic (03B48) Computational difficulty of problems (lower bounds, completeness, difficulty of approximation, etc.) (68Q17) Fuzzy logic; logic of vagueness (03B52)
Cites Work
- Title not available (Why is that?)
- Stochastic independence in a coherent setting
- Metamathematics of fuzzy logic
- Averaging the truth-value in Łukasiewicz logic
- The Uncertain Reasoner's Companion
- A logic for reasoning about probabilities
- Title not available (Why is that?)
- A logical and algebraic treatment of conditional probability
- Representation and extension of states on MV-algebras
- Logics in Artificial Intelligence
- The \(L\Pi\) and \(L\Pi\frac 12\) logics: Two complete fuzzy systems joining Łukasiewicz and product logics
- Title not available (Why is that?)
- The Ł\(\Pi\) and Ł\(\Pi\frac{1}{2}\) propositional and predicate logics
- Complexity of fuzzy probability logics
- Probabilistic satisfiability
- Probability logic and optimization SAT: The PSAT and CPA models
- Advances in the Ł\(\Pi\) and Ł\(\Pi\frac 12\) logics
- Symbolic and Quantitative Approaches to Reasoning with Uncertainty
- Reflection principles and iterated consistency assertions
Cited In (10)
- Symbolic and Quantitative Approaches to Reasoning with Uncertainty
- Coherent Conditional Probability in a Fuzzy Logic Setting
- Possibilistic conditioning framed in fuzzy logics
- Franco Montagna's work on provability logic and many-valued logic
- Strong non-standard completeness for fuzzy logics
- Computational aspects of probability logics
- A logic for reasoning about the probability of fuzzy events
- \(\mu \)MV-algebras: An approach to fixed points in Łukasiewicz logic
- Stone Duality Type Theorems for MV-Algebras with Internal State
- Logics in Artificial Intelligence
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)
