ON PROOFS IN SYSTEM P

DOI10.1142/S0218488500000149zbMATH Open1113.68490MaRDI QIDQ3427877FDOQ3427877

Rachel A. Bourne, Simon Parsons

Publication date: 27 March 2007

Published in: International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems (Search for Journal in Brave)

Recommendations

• Probabilistic reasoning under coherence in System P
• New proofs in default logic theory
• Proof systems for probabilistic uncertain reasoning
• Possibilistic and probabilistic logic under coherence: default reasoning and system P
• Weak nonmonotonic probabilistic logics

zbMATH Keywords

proof theoryqualitative probabilitySystem P

Mathematics Subject Classification ID

Reasoning under uncertainty in the context of artificial intelligence (68T37) Knowledge representation (68T30) Proof theory in general (including proof-theoretic semantics) (03F03) Logic in artificial intelligence (68T27)

Cites Work

• What does a conditional knowledge base entail?
• A logic for default reasoning
• Circumscription - a form of non-monotonic reasoning

Cited In (5)

• System Description: The Proof Transformation System CERES
• Relational and Kleene-Algebraic Methods in Computer Science
• Generalizing inference rules in a coherence-based probabilistic default reasoning
• Strong extension-free proof systems
• Lossy Inference Rules and Their Bounds: A Brief Review

This page was built for publication: ON PROOFS IN SYSTEM P

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