NP-containment for the coherence test of assessments of conditional probability: a fuzzy logical approach
From MaRDI portal
Publication:877263
DOI10.1007/s00153-007-0045-3zbMath1110.03012OpenAlexW2067454677MaRDI QIDQ877263
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
computational complexitycoherenceconditional probabilitysatisfiability problemNP-completeBaaz connectivemodal-fuzzy logicrational Łukasiewicz logic
Fuzzy logic; logic of vagueness (03B52) Probability and inductive logic (03B48) Computational difficulty of problems (lower bounds, completeness, difficulty of approximation, etc.) (68Q17)
Related Items
Stone Duality Type Theorems for MV-Algebras with Internal State, \(\mu \)MV-algebras: An approach to fixed points in Łukasiewicz logic, Franco Montagna's work on provability logic and many-valued logic, Possibilistic conditioning framed in fuzzy logics, A logic for reasoning about the probability of fuzzy events, Strong non-standard completeness for fuzzy logics
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Probabilistic satisfiability
- Metamathematics of fuzzy logic
- The Ł\(\Pi\) and Ł\(\Pi\frac{1}{2}\) propositional and predicate logics
- Advances in the Ł\(\Pi\) and Ł\(\Pi\frac 12\) logics
- Stochastic independence in a coherent setting
- A logical and algebraic treatment of conditional probability
- Probability logic and optimization SAT: The PSAT and CPA models
- A logic for reasoning about probabilities
- Averaging the truth-value in Łukasiewicz logic
- Representation and extension of states on MV-algebras
- Reflection principles and iterated consistency assertions
- The Uncertain Reasoner's Companion
- Logics in Artificial Intelligence
- Symbolic and Quantitative Approaches to Reasoning with Uncertainty
- The \(L\Pi\) and \(L\Pi\frac 12\) logics: Two complete fuzzy systems joining Łukasiewicz and product logics
