Computing MUS-Based Inconsistency Measures

Isabelle Kuhlmann,Andreas Niskanen,Matti Jarvisalo

LOGICS IN ARTIFICIAL INTELLIGENCE, JELIA 2023（2023）

引用 0|浏览10

暂无评分

摘要

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.

查看译文

关键词

Inconsistency measurement,minimal unsatisfiability

AI 理解论文

溯源树

样例

生成溯源树，研究论文发展脉络

Chat Paper

正在生成论文摘要