{"type":"ScholarlyArticle","title":"On the Expressivity of Inconsistency Measures (Extended Abstract)","authors":[{"name":"Matthias Thimm","slug":"matthias-thimm","given":"Matthias","family":"Thimm","affiliation":"University of Koblenz- Landau Germany"}],"abstract":"We survey recent approaches to inconsistency measurement in propositional logic and provide a comparative analysis in terms of their expressivity. For that, we introduce four different expressivity characteristics that quantitatively assess the number of different knowledge bases that a measure can distinguish. Our approach aims at complementing ongoing discussions on rationality postulates for inconsistency measures by considering expressivity as a desirable property. We evaluate a large selection of measures on the proposed characteristics and conclude that a distance-based measure from [Grant and Hunter, 2013] has maximal expressivity along all considered characteristics.","doi":"10.24963/ijcai.2017/724","url":"https://ijcai.org/proceedings/2017/724","pdf":"https://ijcai.org/proceedings/2017/0724.pdf","markdown":"https://ijcai.org/proceedings/2017/724.md","bibtex":"https://ijcai.org/proceedings/2017/bibtex/724","volume":{"slug":"2017","title":"Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence","short_title":"IJCAI 2017","url":"https://ijcai.org/proceedings/2017/","year":2017,"location":"Melbourne, Australia","dates":"19-25 August 2017","editors":"Carles Sierra","isbn":"978-0-9992411-0-3","publisher":"International Joint Conferences on Artificial Intelligence Organization","doi_prefix":"10.24963/ijcai.2017"},"section":"Journal track","track":"Journal track","number":724,"pages":{"first":5070,"last":5074},"keywords":["Knowledge Representation, Reasoning, and Logic: Non-classical logics for Knowledge Representation","Knowledge Representation, Reasoning, and Logic: Logics for Knowledge Representation"],"videos":[],"references":[{"position":1,"raw":"[Baroni and Giacomin, 2008] P. Baroni and M. Giacomin. A systematic classification of argumentation frameworks where semantics agree. In Proc. of the 2nd Int. Conf. on Computational Models of Argument (COMMA'08), pages 37-48, 2008.","title":"A systematic classification of argumentation frameworks where semantics agree","authors":"P Baroni, M Giacomin","year":"2008","venue":"Proc. of the 2nd Int. Conf. on Computational Models of Argument (COMMA'08)","doi":null,"url":null,"internal_url":null},{"position":2,"raw":"[Besnard, 2014] P. Besnard. Revisiting postulates for incon- sistency measures. In Logics in Artificial Intelligence, pages 383-396. Springer, 2014.","title":"Revisiting postulates for inconsistency measures","authors":"P Besnard","year":"2014","venue":"Logics in Artificial Intelligence","doi":null,"url":null,"internal_url":null},{"position":3,"raw":"[Doder et al., 2010] D. Doder, M. Raskovic, Z. Markovic, and Z. Ognjanovic. Measures of inconsistency and de- faults. Int J Approx Reason, 51:832-845, 2010.","title":"Measures of inconsistency and defaults","authors":"D Doder, M Raskovic, Z Markovic, Z Ognjanovic","year":"2010","venue":"Int J Approx Reason","doi":null,"url":null,"internal_url":null},{"position":4,"raw":"[Grant and Hunter, 2008] J. Grant and A. Hunter. Analysing inconsistent first-order knowledgebases. Artif Intell, 172(8-9):1064-1093, 2008.","title":"Analysing inconsistent first-order knowledgebases","authors":"J Grant, A Hunter","year":"2008","venue":"Artif Intell","doi":null,"url":null,"internal_url":null},{"position":5,"raw":"[Grant and Hunter, 2011] J. Grant and A. Hunter. Measur- ing consistency gain and information loss in stepwise in- consistency resolution. In Proc. of the 11th European Conf. on Symbolic and Quantitative Approaches to Rea- soning with Uncertainty (ECSQARU'11), pages 362-373. Springer, 2011.","title":"Measuring consistency gain and information loss in stepwise inconsistency resolution","authors":"J Grant, A Hunter","year":"2011","venue":"Proc. of the 11th European Conf. on Symbolic and Quantitative Approaches to Reasoning with Uncertainty (ECSQARU'11)","doi":null,"url":null,"internal_url":null},{"position":6,"raw":"[Grant and Hunter, 2013] J. Grant and A. Hunter. Distance- based measures of inconsistency. In Proc. of the 12th Eu- ropen Conf. on Symbolic and Quantitative Approaches to Reasoning with Uncertainty (ECSQARU'13), pages 230- 241. Springer, 2013.","title":"Distancebased measures of inconsistency","authors":"J Grant, A Hunter","year":"2013","venue":"Proc. of the 12th Europen Conf. on Symbolic and Quantitative Approaches to Reasoning with Uncertainty (ECSQARU'13)","doi":null,"url":null,"internal_url":null},{"position":7,"raw":"[Hansson, 2001] S. O. Hansson. A Textbook of Belief Dy- namics. Kluwer Academic Publishers, 2001.","title":"A Textbook of Belief Dynamics","authors":"S O Hansson","year":"2001","venue":null,"doi":null,"url":null,"internal_url":null},{"position":8,"raw":"[Hunter and Konieczny, 2004] A. Hunter and S. Konieczny. Approaches to measuring inconsistent information. In In- consistency Tolerance, pages 189-234. Springer, 2004.","title":"Approaches to measuring inconsistent information","authors":"A Hunter, S Konieczny","year":"2004","venue":"Inconsistency Tolerance","doi":null,"url":null,"internal_url":null},{"position":9,"raw":"[Hunter and Konieczny, 2006] A. Hunter and S. Konieczny. Shapley inconsistency values. In Proc. of the 10th Int. Conf. on Knowledge Representation (KR'06), pages 249- 259. AAAI Press, 2006.","title":"Shapley inconsistency values","authors":"A Hunter, S Konieczny","year":"2006","venue":"Proc. of the 10th Int. Conf. on Knowledge Representation (KR'06)","doi":null,"url":null,"internal_url":null},{"position":10,"raw":"[Hunter and Konieczny, 2008] A. Hunter and S. Konieczny. Measuring inconsistency through minimal inconsistent sets. In Proc. of the 11th Int. Conf. on Principles of Knowl- edge Representation and Reasoning (KR'2008), pages 358-366. AAAI Press, 2008.","title":"Measuring inconsistency through minimal inconsistent sets","authors":"A Hunter, S Konieczny","year":"2008","venue":"Proc. of the 11th Int. Conf. on Principles of Knowledge Representation and Reasoning (KR'2008)","doi":null,"url":null,"internal_url":null},{"position":11,"raw":"[Hunter and Konieczny, 2010] A. Hunter and S. Konieczny. On the measure of conflicts: Shapley inconsistency values. Artif Intell, 174(14):1007-1026, 2010.","title":"On the measure of conflicts: Shapley inconsistency values","authors":"A Hunter, S Konieczny","year":"2010","venue":"Artif Intell","doi":null,"url":null,"internal_url":null},{"position":12,"raw":"[Hunter et al., 2014] A. Hunter, S. Parsons, and M. Wooldridge. Measuring inconsistency in multi- agent systems. Künst Intell, 28:169-178, 2014.","title":"Measuring inconsistency in multiagent systems","authors":"A Hunter, S Parsons, M Wooldridge","year":"2014","venue":"Künst Intell","doi":null,"url":null,"internal_url":null},{"position":13,"raw":"[Jabbour and Raddaoui, 2013] S. Jabbour and B. Raddaoui. Measuring inconsistency through minimal proofs. In Pro- ceedings of the 12th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncer- tainty, pages 290-301. Springer, 2013.","title":"Measuring inconsistency through minimal proofs","authors":"S Jabbour, B Raddaoui","year":"2013","venue":"Proceedings of the 12th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty","doi":null,"url":null,"internal_url":null},{"position":14,"raw":"[Jabbour et al., 2014] S. Jabbour, Y. Ma, B. Raddaoui, and L. Sais. Prime implicates based inconsistency characteri- zation. In Proceedings of the 21st European Conference on Artificial Intelligence (ECAI'14), pages 1037-1038, 2014.","title":"Prime implicates based inconsistency characterization","authors":"S Jabbour, Y Ma, B Raddaoui, L Sais","year":"2014","venue":"Proceedings of the 21st European Conference on Artificial Intelligence (ECAI'14)","doi":null,"url":null,"internal_url":null},{"position":15,"raw":"[Knight, 2002] K. M. Knight. A Theory of Inconsistency. PhD thesis, University Of Manchester, 2002.","title":"A Theory of Inconsistency","authors":"K M Knight","year":"2002","venue":null,"doi":null,"url":null,"internal_url":null},{"position":16,"raw":"[Ma et al., 2007] Y. Ma, G. Qi, P. Hitzler, and Z. Lin. Mea- suring inconsistency for description logics based on para- consistent semantics. In Proceedings of the 9th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty, pages 30-41. Springer, 2007.","title":"Measuring inconsistency for description logics based on paraconsistent semantics","authors":"Y Ma, G Qi, P Hitzler, Z Lin","year":"2007","venue":"Proceedings of the 9th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty","doi":null,"url":null,"internal_url":null},{"position":17,"raw":"[Ma et al., 2009] Y. Ma, G. Qi, G. Xiao, P. Hitzler, and Z. Lin. An anytime algorithm for computing inconsis- tency measurement. In Knowledge Science, Engineering and Management, pages 29-40. Springer, 2009.","title":"An anytime algorithm for computing inconsistency measurement","authors":"Y Ma, G Qi, G Xiao, P Hitzler, Z Lin","year":"2009","venue":"Knowledge Science, Engineering and Management","doi":null,"url":null,"internal_url":null},{"position":18,"raw":"[Ma et al., 2012] J. Ma, W. Liu, and P. Miller. A charac- teristic function approach to inconsistency measures for knowledge bases. In Proc. of the 6th Int. Conf. on Scal- able Uncertainty Management (SUM'12), 2012.","title":"A characteristic function approach to inconsistency measures for knowledge bases","authors":"J Ma, W Liu, P Miller","year":"2012","venue":"Proc. of the 6th Int. Conf. on Scalable Uncertainty Management (SUM'12)","doi":null,"url":null,"internal_url":null},{"position":19,"raw":"[Makinson, 2005] D. Makinson. Bridges from Classical to Nonmonotonic Logic. College Publications, 2005.","title":"Bridges from Classical to Nonmonotonic Logic","authors":"D Makinson","year":"2005","venue":null,"doi":null,"url":null,"internal_url":null},{"position":20,"raw":"[McAreavey et al., 2014] K. McAreavey, W. Liu, and P. Miller. Computational approaches to finding and mea- suring inconsistency in arbitrary knowledge bases. Int J Approx Reason, 55:1659-1693, 2014.","title":"Computational approaches to finding and measuring inconsistency in arbitrary knowledge bases","authors":"K Mcareavey, W Liu, P Miller","year":"2014","venue":"Int J Approx Reason","doi":null,"url":null,"internal_url":null},{"position":21,"raw":"[Mu et al., 2011] K. Mu, W. Liu, Z. Jin, and D. Bell. A Syntax-based Approach to Measuring the Degree of In- consistency for Belief Bases. Int J Approx Reason, 52(7):978-999, 2011.","title":"A Syntax-based Approach to Measuring the Degree of Inconsistency for Belief Bases","authors":"K Mu, W Liu, Z Jin, D Bell","year":"2011","venue":"Int J Approx Reason","doi":null,"url":null,"internal_url":null},{"position":22,"raw":"[Potyka, 2014] N. Potyka. Linear programs for measuring inconsistency in probabilistic logics. In Proc. of the 14th Int. Conf. on Principles of Knowledge Representation and Reasoning, 2014.","title":"Linear programs for measuring inconsistency in probabilistic logics","authors":"N Potyka","year":"2014","venue":"Proc. of the 14th Int. Conf. on Principles of Knowledge Representation and Reasoning","doi":null,"url":null,"internal_url":null},{"position":23,"raw":"[Priest, 1979] G. Priest. Logic of Paradox. J Philos Logic, 8:219-241, 1979.","title":"Logic of Paradox","authors":"G Priest","year":"1979","venue":"J Philos Logic","doi":null,"url":null,"internal_url":null},{"position":24,"raw":"[Sperner, 1928] E. Sperner. Ein Satz über Untermengen einer endlichen Menge (in German). Mathematische Zeitschrift, 27(1):544-548, 1928.","title":"Ein Satz über Untermengen einer endlichen Menge","authors":"E Sperner","year":"1928","venue":"Mathematische Zeitschrift","doi":null,"url":null,"internal_url":null},{"position":25,"raw":"[Thimm, 2013] M. Thimm. Inconsistency measures for probabilistic logics. Artif Intell, 197:1-24, 2013.","title":"Inconsistency measures for probabilistic logics","authors":"M Thimm","year":"2013","venue":"Artif Intell","doi":null,"url":null,"internal_url":null},{"position":26,"raw":"[Thimm, 2016a] M. Thimm. On the expressivity of incon- sistency measures. Artif Intell, 234:120-151, 2016.","title":"On the expressivity of inconsistency measures","authors":"M Thimm","year":"2016","venue":"Artif Intell","doi":null,"url":null,"internal_url":null},{"position":27,"raw":"[Thimm, 2016b] M. Thimm. Stream-based inconsistency measurement. Int J Approx Reason, 68:68-87, 2016.","title":"Stream-based inconsistency measurement","authors":"M Thimm","year":"2016","venue":"Int J Approx Reason","doi":null,"url":null,"internal_url":null},{"position":28,"raw":"[Thimm, 2016c] Matthias Thimm. On the compliance of ra- tionality postulates for inconsistency measures: A more or less complete picture. Künst Intell, 2016.","title":"On the compliance of rationality postulates for inconsistency measures: A more or less complete picture","authors":"Matthias Thimm, Thimm","year":"2016","venue":"Künst Intell","doi":null,"url":null,"internal_url":null},{"position":29,"raw":"[Xiao and Ma, 2012] G. Xiao and Y. Ma. Inconsistency mea- surement based on variables in minimal unsatisfiable sub- sets. In Proceedings of the 20th European Conference on Artificial Intelligence (ECAI'12), 2012.","title":"Inconsistency measurement based on variables in minimal unsatisfiable subsets","authors":"G Xiao, Y Ma","year":"2012","venue":"Proceedings of the 20th European Conference on Artificial Intelligence (ECAI'12)","doi":null,"url":null,"internal_url":null},{"position":30,"raw":"[Zhou et al., 2009] L. Zhou, H. Huang, G. Qi, Y. Ma, Z. Huang, and Y. Qu. Measuring inconsistency in dl-lite ontologies. In Proceedings of the 2009 IEEE/WIC/ACM International Joint Conference on Web Intelligence and Intelligent Agent Technology -Volume 01, pages 349-356. IEEE Computer Society, 2009.","title":"Measuring inconsistency in dl-lite ontologies","authors":"L Zhou, H Huang, G Qi, Y Ma, Z Huang, Y Qu","year":"2009","venue":"Proceedings of the 2009 IEEE/WIC/ACM International Joint Conference on Web Intelligence and Intelligent Agent Technology","doi":null,"url":null,"internal_url":null}],"license_note":"Copyright International Joint Conferences on Artificial Intelligence."}