On Structure-Based Inconsistency Measures and Their Computations via Closed Set Packing
Saïd Jabbour, Yue Ma, Badran Raddaoui, Lakhdar Saïs, Yakoub Salhi · 2015
Measuring conflicts is important for understanding the contradictory status of a knowledge base (KB). In this work, we propose a new framework called closed set packing, an interesting extension of the well-known set packing problem, by which we define a family of fine-grained inconsistency measures exploiting the structure of minimal inconsistent sets of a KB. We show that closed set packing also gives a general encoding for computing this new family of measures.