A logic to reason about likelihood
From MaRDI portal
Publication:1090326
DOI10.1016/0004-3702(87)90093-2zbMath0621.03011OpenAlexW1974554384MaRDI QIDQ1090326
Joseph Y. Halpern, Michael O. Rabin
Publication date: 1987
Published in: Artificial Intelligence (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/0004-3702(87)90093-2
Related Items (18)
Conditional logics of normality: A modal approach ⋮ Specifying and reasoning about uncertain agents ⋮ Modelling default and likelihood reasoning as probabilistic reasoning. ⋮ Fundamental concepts of qualitative probabilistic networks ⋮ Ceteris paribus conditionals and comparative normalcy ⋮ Expert system models for inference with imperfect knowledge: A comparative study ⋮ Dynamic reasoning with qualified syllogisms ⋮ REPRESENTATION, PROPAGATION AND COMBINATION OF UNCERTAIN INFORMATION ⋮ Plausible reasoning: a first-order approach ⋮ Graded hypothesis theories ⋮ Nonmonotonicity and the scope of reasoning ⋮ A logic for reasoning about probabilities ⋮ A behavioral foundation for fuzzy measures ⋮ A logical formalization of the OCC theory of emotions ⋮ The logic of qualitative probability ⋮ In conjunction with qualitative probability ⋮ Sequent calculi for propositional star-free likelihood logic ⋮ Non-adjunctive inference and classical modalities
Cites Work
- Non-monotonic logic. I
- An elementary proof of the completeness of PDL
- A Hintikka possible worlds model for certainty levels in medical decision making
- Qualitative probability as an intensional logic
- Propositional dynamic logic of regular programs
- Decision procedures and expressiveness in the temporal logic of branching time
- Nonmonotonic Logic II
- Fuzzy sets
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
This page was built for publication: A logic to reason about likelihood
