Deriving Information from Inconsistent Knowledge Bases: A Completeness Theorem for

DOI10.1093/jigpal/12.5.345zbMath1071.03011OpenAlexW2045324669MaRDI QIDQ4664018

Jeffrey Bruce Paris

Publication date: 5 April 2005

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

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

zbMATH Keywords

probability logicparaconsistent logicgraded consequence relationinconsistent knowledge base

Mathematics Subject Classification ID

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

Related Items (3)

PROBABILISTIC ENTAILMENT ON FIRST ORDER LANGUAGES AND REASONING WITH INCONSISTENCIES ⋮ Inconsistency as qualified truth: a probability logic approach ⋮ Towards a Bayesian Theory of Second-Order Uncertainty: Lessons from Non-Standard Logics

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