Proof systems for probabilistic uncertain reasoning

DOI10.2307/2586724MaRDI QIDQ4227878zbMATH OpenOpenAlexFDO

Authors Jeff 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

beliefcompletenessdeductive systemsinference processesminimum information principleprobabilistic uncertain reasoningreasoning about uncertain knowledgesubjective probability

Mathematics Subject Classification ID

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

Recommendations

• A proof theoretic approach to qualitative probabilistic reasoning
• Probabilities on sentences in an expressive logic
• scientific article; zbMATH DE number 4016864
• Probabilistic argumentation systems

Cites work

• A method for updating that justifies minimum cross entropy
• A note on the inevitability of maximum entropy
• scientific article; zbMATH DE number 48344 (Why is no real title available?)
• scientific article; zbMATH DE number 3560492 (Why is no real title available?)
• Nonmonotonic reasoning, preferential models and cumulative logics
• Probabilistic logic
• Probabilities and reasoning about possibilities
• The Uncertain Reasoner's Companion

Cited in

(15)

• Measuring inconsistency
• Local probabilistic deduction from taxonomic and probabilistic knowledge-bases over conjunctive events
• A proof theoretic approach to qualitative probabilistic reasoning
• Rules of proof for maximal entropy inference
• A p-adic probability logic
• Suppes-style sequent calculus for probability logic
• ON PROOFS IN SYSTEM P
• Paraconsistent conjectural deduction based on logical entropy measures. I: C-systems as non-standard inference framework
• scientific article; zbMATH DE number 2079519 (Why is no real title available?)
• Logical perspectives on the foundations of probability
• 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
• Probabilistic semantics and calculi for multi-valued and paraconsistent logics
• Uncertain logics, variables and systems

This page was built for publication: Proof systems for probabilistic uncertain reasoning

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4227878)