Deriving Information from Inconsistent Knowledge Bases: A Completeness Theorem for

DOI10.1093/JIGPAL/12.5.345MaRDI QIDQ4664018zbMATH OpenOpenAlexFDO

Authors Jeff Paris

Publication date 5 April 2005

Published in Logic Journal of the IGPL (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1093/jigpal/12.5.345

zbMATH Keywords

graded consequence relationinconsistent knowledge baseparaconsistent logicprobability logic

Mathematics Subject Classification ID

Logics of knowledge and belief (including belief change) (03B42) Probability and inductive logic (03B48) Paraconsistent logics (03B53) Logic in artificial intelligence (68T27)

Recommendations

• PROBABILISTIC ENTAILMENT ON FIRST ORDER LANGUAGES AND REASONING WITH INCONSISTENCIES
• O IS NOT ENOUGH
• Information from inconsistent knowledge: a probability logic approach
• Inconsistency as qualified truth: a probability logic approach
• scientific article; zbMATH DE number 1267562

Cited in

(5)

• O IS NOT ENOUGH
• Towards a Bayesian theory of second-order uncertainty: lessons from non-standard logics
• PROBABILISTIC ENTAILMENT ON FIRST ORDER LANGUAGES AND REASONING WITH INCONSISTENCIES
• Probabilistic consequence relations
• Inconsistency as qualified truth: a probability logic approach

This page was built for publication: Deriving Information from Inconsistent Knowledge Bases: A Completeness Theorem for

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