Proof systems for probabilistic uncertain reasoning

DOI10.2307/2586724zbMath0918.03015OpenAlexW2099619973MaRDI QIDQ4227878

Jeffrey Bruce Paris, Alena Vencovská

Publication date: 15 July 1999

Published in: Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2307/2586724

zbMATH Keywords

completenesssubjective probabilitybeliefdeductive systemsminimum information principleinference processesprobabilistic uncertain reasoningreasoning about uncertain knowledge

Mathematics Subject Classification ID

Other nonclassical logic (03B60) Logic in artificial intelligence (68T27) Probability and inductive logic (03B48) Knowledge representation (68T30)

Related Items

A p-adic probability logic ⋮ Logical perspectives on the foundations of probability ⋮ Rules of proof for maximal entropy inference ⋮ Generalizing probabilistic material implication and Bayesian conditionals ⋮ Syntactic reasoning with conditional probabilities in deductive argumentation ⋮ A syntax-based approach to measuring the degree of inconsistency for belief bases ⋮ Paraconsistent conjectural deduction based on logical entropy measures I: C-systems as non-standard inference framework ⋮ Measuring inconsistency

Cites Work

• Unnamed Item
• Unnamed Item
• Probabilities and reasoning about possibilities
• A note on the inevitability of maximum entropy
• Probabilistic logic
• Nonmonotonic reasoning, preferential models and cumulative logics
• A method for updating that justifies minimum cross entropy
• The Uncertain Reasoner's Companion