A logic with conditional probability operators
The authors present a sound and strongly complete infinitary axiomatization of reasoning about linear combinations of conditional probabilities. The logical language is rich enough to formalize sentences of the form: The conditional probability of \(\alpha\) given \(\beta\) (in the opinion of Agent 1) is at least the sum of the conditional probabilities of \(\alpha\) given \(\gamma\) (in the opinion of Agent 2) and two times the conditional probabilities of \(\gamma\) given \(\delta\) (in the opinion of Agent 3). Decidability of the logic is proven. The corresponding decision procedure is in PSPACE (in the case of only one agent).
- A decidable multi-agent logic with iterations of upper and lower probability operators
- Probabilistic logics with independence and confirmation
- A logic for reasoning about probabilities
- An epistemic probabilistic logic with conditional probabilities
- A logic with approximate conditional probabilities that can model default reasoning
- scientific article; zbMATH DE number 988760 (Why is no real title available?)
- A logic with higher order conditional probabilities
- scientific article; zbMATH DE number 1004878 (Why is no real title available?)
- Logics with Probability Operators
- Some New Probability Operators
- Applications of Logics About Simple Probabilities
- Reasoning About Degrees of Confirmation
- Conditional Probability Logic over Conditional Probability Spaces
- Logics in Artificial Intelligence
- A Probabilistic Logic with Polynomial Weight Formulas
- Symbolic and Quantitative Approaches to Reasoning with Uncertainty
- Reasoning about knowledge and conditional probability
- Incomplete Information and Justifications
- On probabilistic and causal reasoning with summation operators
This page was built for publication: A logic with conditional probability operators
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2914029)
