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]  Benny Kimelfeld,et al.  A dichotomy in the complexity of deletion propagation with functional dependencies , 2012, PODS '12.

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

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

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

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

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

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

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

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

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

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

[12]  Leslie G. Valiant,et al.  The Complexity of Enumeration and Reliability Problems , 1979, SIAM J. Comput..

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

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

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

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

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

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

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

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

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

[22]  Ihab F. Ilyas,et al.  Properties of Inconsistency Measures for Databases , 2019, SIGMOD Conference.

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

[44]  Haris Aziz,et al.  Shapley Meets Shapley , 2013, STACS.