Formulas free from inconsistency: an atom-centric characterization in Priest's minimally inconsistent LP

DOI10.1613/JAIR.1.11720MaRDI QIDQ5235471zbMATH OpenOpenAlexFDO

Authors Kedian Mu

Publication date 11 October 2019

Published in Journal of Artificial Intelligence Research (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1613/jair.1.11720

Mathematics Subject Classification ID

Knowledge representation (68T30) Paraconsistent logics (03B53) Logic in artificial intelligence (68T27)

Recommendations

• Measuring inconsistency through minimal proofs
• Minimally inconsistent LP
• Measuring inconsistency with constraints for propositional knowledge bases
• Distance-based measures of inconsistency
• Measuring inconsistency through subformula forgetting

Cited in

(4)

• Counting minimal unsatisfiable subsets
• Semantic inconsistency measures using 3-valued logics
• Hashing-based approximate counting of minimal unsatisfiable subsets
• Handling and measuring inconsistency in non-monotonic logics

This page was built for publication: Formulas free from inconsistency: an atom-centric characterization in Priest's minimally inconsistent LP

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