ON PROOFS IN SYSTEM P

DOI10.1142/S0218488500000149MaRDI QIDQ3427877zbMATH OpenFDO

Authors Simon Parsons, Rachel A. Bourne

Publication date 27 March 2007

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

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)

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

Cites work

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

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
• Lossy inference rules and their bounds: a brief review
• Strong extension-free proof systems

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)