Computational approaches to finding and measuring inconsistency in arbitrary knowledge bases ?
Presented existing MUS generalization method to finding MISes. Proposed new optimized MUS transformation method to finding MISes. Implemented both methods and various inconsistency measures in a tool called MIMUS. Completed experimental evaluation of MIMUS using random arbitrary knowledge bases. MIMUS remains viable for large and complex random inconsistent knowledge bases.
inconsistency measures minimal inconsistent subsets minimal unsatisfiable subformulae sat random sat