{"type":"ScholarlyArticle","title":"Decomposing Inconsistencies: Marginal Contributions and Pooling Techniques","authors":[{"name":"Christian Straßer","slug":"christian-stra-er","given":"Christian","family":"Straßer","affiliation":""},{"name":"Badran Raddaoui","slug":"badran-raddaoui","given":"Badran","family":"Raddaoui","affiliation":""},{"name":"Said Jabbour","slug":"said-jabbour","given":"Said","family":"Jabbour","affiliation":""}],"abstract":"Inconsistency measures quantify the degree of conflict within a set of propositions. They can be broadly categorized into global measures, which assess the overall inconsistency of a set, and local measures, which evaluate the contribution of single formulas to the overall inconsistency. This paper investigates the relationship between these two classes of measures through the lens of marginal contributions and pooling mechanisms. We propose a systematic framework for deriving local inconsistency measures from global ones by employing notions of marginal contributions inspired by cooperative game theory, including Shapley and Banzhaf values. Conversely, we explore methods for constructing global inconsistency measures by\r\naggregating local contributions using various pooling techniques. A key research question arises: which combinations of marginal contribution notions (maC) and pooling mechanisms (P) are compatible? Compatibility is defined such that, given a global measure I, applying (P) to the marginal contributions derived from I yields the same result as directly applying I, and vice versa. We analyze this compatibility condition and identify specific pairs of methods, (maC) and (P), that satisfy it across various inconsistency frameworks. Our findings provide a deeper understanding of the interplay between global and local inconsistency measures, providing a foundation for designing principled and interpretable inconsistency evaluation methods in logic-based systems.","doi":"10.24963/ijcai.2025/522","url":"https://ijcai.org/proceedings/2025/522","pdf":"https://ijcai.org/proceedings/2025/0522.pdf","markdown":"https://ijcai.org/proceedings/2025/522.md","bibtex":"https://ijcai.org/proceedings/2025/bibtex/522","volume":{"slug":"2025","title":"Proceedings of the Thirty-Fourth International Joint Conference on Artificial Intelligence","short_title":"IJCAI 2025","url":"https://ijcai.org/proceedings/2025/","year":2025,"location":"Montreal, Canada","dates":"16-22 August 2025","editors":"James Kwok","isbn":"978-1-956792-06-5","publisher":"International Joint Conferences on Artificial Intelligence Organization","doi_prefix":"10.24963/ijcai.2025"},"section":"Knowledge Representation and Reasoning","track":"Main Track","number":522,"pages":{"first":4687,"last":4695},"keywords":["Knowledge Representation and Reasoning: KRR: Other","Knowledge Representation and Reasoning: KRR: Reasoning about knowledge and belief"],"videos":[],"references":[],"license_note":"Copyright International Joint Conferences on Artificial Intelligence."}