Computing MUS-Based Inconsistency Measures

Download PDF
Open Webpage

Isabelle Kuhlmann, Andreas Niskanen, Matti Järvisalo

Published: 01 Jan 2023, Last Modified: 19 Sept 2024JELIA 2023EveryoneRevisionsBibTeXCC BY-SA 4.0
Abstract: We detail two instantiations of a generic algorithm for the problematic and MUS-variable-based inconsistency measures, based on answer set programming and Boolean satisfiability (SAT). Empirically, the SAT-based approach allows for more efficiently computing the measures when compared to enumerating all minimal correction subsets of a knowledge base.