Computational approaches to finding and measuring inconsistency in arbitrary knowledge bases

DOI10.1016/j.ijar.2014.06.003zbMath1309.68181MaRDI QIDQ459042

J. Herrera, D. Rodríguez-Gómez

Publication date: 8 October 2014

Published in: International Journal of Approximate Reasoning (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.ijar.2014.06.003

zbMATH Keywords

inconsistency measures; SAT; minimal inconsistent subsets; minimal unsatisfiable subformulae; random SAT

Mathematics Subject Classification ID

68T30: Knowledge representation

68T35: Theory of languages and software systems (knowledge-based systems, expert systems, etc.) for artificial intelligence

68T20: Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.)

Uses Software

• MiniSat
• AMUSE
• QUICKXPLAIN