The Shapley Value of Inconsistency Measures for Functional Dependencies

Quantifying the inconsistency of a database is motivated by various goals including reliability estimation for new datasets and progress indication in data cleaning. Another goal is to attribute to individual tuples a level of responsibility to the overall inconsistency, and thereby prioritize tuples in the explanation or inspection of dirt. Therefore, inconsistency quantification and attribution have been a subject of much research in Knowledge Representation and, more recently, in Databases. As in many other fields, a conventional responsibility sharing mechanism is the Shapley value from cooperative game theory. In this paper, we carry out a systematic investigation of the complexity of the Shapley value in common inconsistency measures for functional-dependency (FD) violations. For several measures we establish a full classification of the FD sets into tractable and intractable classes with respect to Shapley-value computation. We also study the complexity of approximation in intractable cases.

[1]  John Grant,et al.  Using Shapley Inconsistency Values for Distributed Information Systems with Uncertainty , 2015, ECSQARU.

[2]  Laurent Perrussel,et al.  Towards Consistency-Based Reliability Assessment , 2015, AAMAS.

[3]  Anthony Hunter,et al.  Measuring Inconsistency through Minimal Inconsistent Sets , 2008, KR.

[4]  Y. Narahari,et al.  A Shapley Value-Based Approach to Discover Influential Nodes in Social Networks , 2011, IEEE Transactions on Automation Science and Engineering.

[5]  Zhenliang Liao,et al.  Case study on initial allocation of Shanghai carbon emission trading based on Shapley value , 2015 .

[6]  Leopoldo E. Bertossi,et al.  The Shapley Value of Tuples in Query Answering , 2019, ICDT.

[7]  Jakub Marecek,et al.  Handbook of Approximation Algorithms and Metaheuristics , 2010, Comput. J..

[8]  Benny Kimelfeld,et al.  Counting and Enumerating (Preferred) Database Repairs , 2017, PODS.

[9]  Dana Ron,et al.  Property testing and its connection to learning and approximation , 1998, JACM.

[10]  Leopoldo E. Bertossi,et al.  Measuring and Computing Database Inconsistency via Repairs , 2018, SUM.

[11]  Madalina Croitoru,et al.  Inconsistency Measures for Repair Semantics in OBDA , 2018, IJCAI.

[12]  Christophe Labreuche,et al.  Explaining Multi-Criteria Decision Aiding Models with an Extended Shapley Value , 2018, IJCAI.

[13]  Vishal Misra,et al.  Internet Economics: The Use of Shapley Value for ISP Settlement , 2007, IEEE/ACM Transactions on Networking.

[14]  Anthony Hunter,et al.  On the measure of conflicts: Shapley Inconsistency Values , 2010, Artif. Intell..

[15]  Matthias Thimm,et al.  Measuring Inconsistency in Probabilistic Knowledge Bases , 2009, UAI.

[16]  Evripidis Bampis,et al.  Handbook of Approximation Algorithms and Metaheuristics , 2007 .

[17]  John Grant,et al.  Measuring Consistency Gain and Information Loss in Stepwise Inconsistency Resolution , 2011, ECSQARU.

[18]  John Grant,et al.  Analysing inconsistent information using distance-based measures , 2017, Int. J. Approx. Reason..

[19]  Benny Kimelfeld,et al.  Computing Optimal Repairs for Functional Dependencies , 2017, PODS.

[20]  Leopoldo E. Bertossi,et al.  Repair-Based Degrees of Database Inconsistency , 2019, LPNMR.

[21]  L. Shapley.  A Value for n-person Games , 1988 .

[22]  A. Hunter,et al.  Shapley Inconsistency Values , 2006, KR.

[23]  Scott Lundberg,et al.  A Unified Approach to Interpreting Model Predictions , 2017, NIPS.

[24]  Garud Iyengar,et al.  Shapley Meets Uniform: An Axiomatic Framework for Attribution in Online Advertising , 2019, WWW.

[25]  Kevin M. Knight,et al.  Two Information Measures for Inconsistent Sets , 2003, J. Log. Lang. Inf..

[26]  Leopoldo Bertossi,et al.  Data Quality and Explainable AI , 2020, ACM J. Data Inf. Qual..

[27]  Weiru Liu,et al.  Measuring the blame of each formula for inconsistent prioritized knowledge bases , 2012, J. Log. Comput..

[28]  Faruk Gul.  Bargaining Foundations of Shapley Value , 1989 .

[29]  Akbar Rafiey,et al.  Counting maximal near perfect matchings in quasirandom and dense graphs , 2018, ArXiv.

[30]  Matthias Thimm,et al.  On the Compliance of Rationality Postulates for Inconsistency Measures: A More or Less Complete Picture , 2017, KI - Künstliche Intelligenz.

[31]  Benny Kimelfeld,et al.  A dichotomy in the complexity of deletion propagation with functional dependencies , 2012, PODS '12.

[32]  G. Zaccour,et al.  Time-consistent Shapley value allocation of pollution cost reduction , 1999 .

[33]  John Grant,et al.  Distance-Based Measures of Inconsistency , 2013, ECSQARU.

[34]  Leslie G. Valiant,et al.  The Complexity of Computing the Permanent , 1979, Theor. Comput. Sci..

[35]  John Grant,et al.  Measuring inconsistency in knowledgebases , 2006, Journal of Intelligent Information Systems.

[36]  Pradeep Dubey,et al.  Mathematical Properties of the Banzhaf Power Index , 1979, Math. Oper. Res..

[37]  Roland Bacher,et al.  Determinants of matrices related to the Pascal triangle , 2002 .

[38]  Jérôme Lang,et al.  Quantifying information and contradiction in propositional logic through test actions , 2003, IJCAI.

[39]  Ihab F. Ilyas,et al.  Principles of Progress Indicators for Database Repairing , 2019, ArXiv.

[40]  Benny Kimelfeld,et al.  The Impact of Negation on the Complexity of the Shapley Value in Conjunctive Queries , 2019, PODS.

[41]  C.J.H. Mann,et al.  Handbook of Approximation: Algorithms and Metaheuristics , 2008 .

[42]  Tatiana Nenova,et al.  The value of corporate voting rights and control: A cross-country analysis , 2003 .