{"type":"ScholarlyArticle","title":"Towards a Principle-based Framework for Assessing the Contribution of Formulas on the Conflicts of Knowledge Bases","authors":[{"name":"Badran Raddaoui","slug":"badran-raddaoui","given":"Badran","family":"Raddaoui","affiliation":"SAMOVAR , Télécom SudParis , Institut Polytechnique de Paris , France"},{"name":"Christian Straßer","slug":"christian-stra-er","given":"Christian","family":"Straßer","affiliation":"Institute for Philosophy II , Ruhr University Bochum , Germany"},{"name":"Said Jabbour","slug":"said-jabbour","given":"Said","family":"Jabbour","affiliation":"CRIL -University of Artois & CNRS , Lens , France"}],"abstract":"Logical conflicts are likely to arise in logic-based intelligent systems. Managing these conflicts has been intensely studied in various parts of Artificial Intelligence (AI). So far, the AI research community has paid more attention to measuring the degree of inconsistency of knowledge bases. The key question we address in the present paper is how much a given formula contributes to the inconsistency of a knowledge base. Different such measures are studied and compared in a principle-based way against the backdrop of a list of desiderata.\r\nTwo families of inconsistency measures are introduced and compared with measures from the literature: one is based on the notion of problematic formulas, while the other one is defined via the notion of free formulas in knowledge bases.","doi":"10.24963/ijcai.2024/392","url":"https://ijcai.org/proceedings/2024/392","pdf":"https://ijcai.org/proceedings/2024/0392.pdf","markdown":"https://ijcai.org/proceedings/2024/392.md","bibtex":"https://ijcai.org/proceedings/2024/bibtex/392","volume":{"slug":"2024","title":"Proceedings of the Thirty-Third International Joint Conference on Artificial Intelligence","short_title":"IJCAI 2024","url":"https://ijcai.org/proceedings/2024/","year":2024,"location":"Jeju, Korea","dates":"3-9 August 2024","editors":"Kate Larson","isbn":"978-1-956792-04-1","publisher":"International Joint Conferences on Artificial Intelligence Organization","doi_prefix":"10.24963/ijcai.2024"},"section":"Knowledge Representation and Reasoning","track":"Main Track","number":392,"pages":{"first":3541,"last":3548},"keywords":["Knowledge Representation and Reasoning: KRR: Reasoning about knowledge and belief","Knowledge Representation and Reasoning: KRR: Applications"],"videos":[],"references":[{"position":1,"raw":"[Ammoura et al., 2017] Meriem Ammoura, Yakoub Salhi, Brahim Oukacha, and Badran Raddaoui. On an MCS- based inconsistency measure. Int. J. Approx. Reason., 80:443-459, 2017.","title":"On an MCSbased inconsistency measure","authors":"Meriem Ammoura, Yakoub Salhi, Brahim Oukacha, Badran Raddaoui","year":"2017","venue":"Int. J. Approx. Reason","doi":null,"url":null,"internal_url":null},{"position":2,"raw":"[Besnard and Grant, 2020] Philippe Besnard and John Grant. Relative inconsistency measures. Artif. Intell., 280:103231, 2020.","title":"Relative inconsistency measures","authors":"Philippe Besnard, John Grant","year":"2020","venue":"Artif. Intell","doi":null,"url":null,"internal_url":null},{"position":3,"raw":"[Besnard, 2014] Philippe Besnard. Revisiting postulates for inconsistency measures. In European Conference on Log- ics in Artificial Intelligence, pages 383-396, 2014.","title":"Revisiting postulates for inconsistency measures","authors":"Philippe Besnard","year":"2014","venue":"European Conference on Logics in Artificial Intelligence","doi":null,"url":null,"internal_url":null},{"position":4,"raw":"[Bona et al., 2019] Glauber De Bona, John Grant, Anthony Hunter, and Sébastien Konieczny. Classifying inconsis- tency measures using graphs. J. Artif. Intell. Res., 66:937- 987, 2019.","title":"Classifying inconsistency measures using graphs","authors":"Glauber De Bona, John Grant, Anthony Hunter, Sébastien Konieczny","year":"2019","venue":"J. Artif. Intell. Res","doi":null,"url":null,"internal_url":null},{"position":5,"raw":"[Grant and Hunter, 2011] John Grant and Anthony Hunter. Measuring the good and the bad in inconsistent informa- tion. In IJCAI, pages 2632-2637, 2011.","title":"Measuring the good and the bad in inconsistent information","authors":"Hunter ; Grant, John Grant, Anthony Hunter","year":"2011","venue":"IJCAI","doi":null,"url":null,"internal_url":"/proceedings/2011/438"},{"position":6,"raw":"[Grant and Hunter, 2017] John Grant and Anthony Hunter. Analysing inconsistent information using distance-based measures. Int. J. Approx. Reason., 89:3-26, 2017.","title":"Analysing inconsistent information using distance-based measures","authors":"Hunter ; Grant, John Grant, Anthony Hunter","year":"2017","venue":"Int. J. Approx. Reason","doi":null,"url":null,"internal_url":null},{"position":7,"raw":"[Grant and Hunter, 2023] John Grant and Anthony Hunter. Semantic inconsistency measures using 3-valued logics. Int. J. Approx. Reason., 156:38-60, 2023.","title":"Semantic inconsistency measures using 3-valued logics","authors":"Hunter ; Grant, John Grant, Anthony Hunter","year":"2023","venue":"Int. J. Approx. Reason","doi":null,"url":null,"internal_url":null},{"position":8,"raw":"[Grant et al., 2021] John Grant, Maria Vanina Martinez, Cristian Molinaro, and Francesco Parisi. Dimensional inconsistency measures and postulates in spatio-temporal databases. J. Artif. Intell. Res., 71:733-780, 2021.","title":"Dimensional inconsistency measures and postulates in spatio-temporal databases","authors":"John Grant, Maria Vanina Martinez, Cristian Molinaro, Francesco Parisi","year":"2021","venue":"J. Artif. Intell. Res","doi":null,"url":null,"internal_url":null},{"position":9,"raw":"[Hunter and Konieczny, 2008] Anthony Hunter and Sébastien Konieczny. Measuring inconsistency through minimal inconsistent sets. In KR, pages 358-366, 2008.","title":"Measuring inconsistency through minimal inconsistent sets","authors":"Anthony Hunter, Sébastien Konieczny","year":"2008","venue":null,"doi":null,"url":null,"internal_url":null},{"position":10,"raw":"[Hunter and Konieczny, 2010] Anthony Hunter and Sébastien 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":"Anthony Hunter, Sébastien Konieczny","year":"2010","venue":"Artif. Intell","doi":null,"url":null,"internal_url":null},{"position":11,"raw":"[Jabbour et al., 2016] Saïd Jabbour, Yue Ma, Badran Rad- daoui, Lakhdar Sais, and Yakoub Salhi. A MIS parti- tion based framework for measuring inconsistency. In KR, pages 84-93, 2016.","title":"A MIS partition based framework for measuring inconsistency","authors":"Saïd Jabbour, Yue Ma, Badran Raddaoui, Lakhdar Sais, Yakoub Salhi","year":"2016","venue":null,"doi":null,"url":null,"internal_url":null},{"position":12,"raw":"[Jabbour et al., 2017] Saïd Jabbour, Yue Ma, Badran Rad- daoui, and Lakhdar Sais. Quantifying conflicts in proposi- tional logic through prime implicates. Int. J. Approx. Rea- son., 89:27-40, 2017.","title":"Quantifying conflicts in propositional logic through prime implicates","authors":"Saïd Jabbour, Yue Ma, Badran Raddaoui, Lakhdar Sais","year":"2017","venue":"Int. J. Approx. Reason","doi":null,"url":null,"internal_url":null},{"position":13,"raw":"[Konieczny et al., 2003] Sébastien Konieczny, Jérôme Lang, and Pierre Marquis. Quantifying information and contra- diction in propositional logic through test actions. In IJ- CAI, pages 106-111, 2003.","title":"Quantifying information and contradiction in propositional logic through test actions","authors":"Sébastien Konieczny, Jérôme Lang, Pierre Marquis","year":"2003","venue":"IJ-CAI","doi":null,"url":null,"internal_url":"/proceedings/2003/15"},{"position":14,"raw":"[Livshits and Kimelfeld, 2021] Ester Livshits and Benny Kimelfeld. The shapley value of inconsistency measures for functional dependencies. In ICDT, volume 186, pages 15:1-15:19, 2021.","title":"The shapley value of inconsistency measures for functional dependencies","authors":"Kimelfeld Livshits, Ester Livshits, Benny Kimelfeld","year":"2021","venue":"ICDT","doi":null,"url":null,"internal_url":null},{"position":15,"raw":"[Livshits et al., 2021] Ester Livshits, Rina Kochirgan, Segev Tsur, Ihab F. Ilyas, Benny Kimelfeld, and Sudeepa Roy. Properties of inconsistency measures for databases. In SIGMOD, pages 1182-1194, 2021.","title":"Properties of inconsistency measures for databases","authors":"Ester Livshits, Rina Kochirgan, Segev Tsur, F Ihab, Benny Ilyas, Sudeepa Kimelfeld, Roy","year":"2021","venue":"SIGMOD","doi":null,"url":null,"internal_url":null},{"position":16,"raw":"[Matt and Toni, 2008] Paul-Amaury Matt and Francesca Toni. A game-theoretic measure of argument strength for abstract argumentation. In JELIA, pages 285-297, 2008.","title":"A game-theoretic measure of argument strength for abstract argumentation","authors":"Paul-Amaury Matt, Francesca Toni","year":"2008","venue":"JELIA","doi":null,"url":null,"internal_url":null},{"position":17,"raw":"[Mu et al., 2012] Kedian Mu, Weiru Liu, and Zhi Jin. Mea- suring the blame of each formula for inconsistent priori- tized knowledge bases. J. Log. Comput., 22(3):481-516, 2012.","title":"Measuring the blame of each formula for inconsistent prioritized knowledge bases","authors":"Mu","year":"2012","venue":"J. Log. Comput","doi":null,"url":null,"internal_url":null},{"position":18,"raw":"[Mu, 2015] Kedian Mu. Responsibility for inconsistency. Int. J. Approx. Reason., 61:43-60, 2015.","title":"Kedian Mu. Responsibility for inconsistency","authors":"Mu","year":"2015","venue":"Int. J. Approx. Reason","doi":null,"url":null,"internal_url":null},{"position":19,"raw":"[Parisi and Grant, 2023] Francesco Parisi and John Grant. On measuring inconsistency in definite and indefi- nite databases with denial constraints. Artif. Intell., 318:103884, 2023.","title":"On measuring inconsistency in definite and indefinite databases with denial constraints","authors":"Francesco Parisi, John Grant","year":"2023","venue":"Artif. Intell","doi":null,"url":null,"internal_url":null},{"position":20,"raw":"[Raddaoui et al., 2023] Badran Raddaoui, Christian Straßer, and Saïd Jabbour. A comparative study of ranking for- mulas based on consistency. In IJCAI, pages 3330-3337, 2023.","title":"A comparative study of ranking formulas based on consistency","authors":"Badran Raddaoui, Christian Straßer, Saïd Jabbour","year":"2023","venue":"IJCAI","doi":null,"url":null,"internal_url":"/proceedings/2023/371"},{"position":21,"raw":"[Ribeiro and Thimm, 2021] Jandson S. Ribeiro and Matthias Thimm. Consolidation via tacit culpability measures: Be- tween explicit and implicit degrees of culpability. In KR, pages 529-538, 2021.","title":"Consolidation via tacit culpability measures: Between explicit and implicit degrees of culpability","authors":"Jandson S Ribeiro, Matthias Thimm","year":"2021","venue":null,"doi":null,"url":null,"internal_url":null},{"position":22,"raw":"[Salhi, 2020] Yakoub Salhi. Inconsistency measurement for improving logical formula clustering. In IJCAI, pages 1891-1897, 2020.","title":"Inconsistency measurement for improving logical formula clustering","authors":"Yakoub Salhi, Salhi","year":"2020","venue":"IJCAI","doi":null,"url":null,"internal_url":"/proceedings/2020/262"},{"position":23,"raw":"[Thimm and Wallner, 2019] Matthias Thimm and Jo- hannes Peter Wallner. On the complexity of inconsistency measurement. Artif. Intell., 275:411-456, 2019.","title":"On the complexity of inconsistency measurement","authors":"Wallner Thimm, Matthias Thimm, Johannes Peter, Wallner","year":"2019","venue":"Artif. Intell","doi":null,"url":null,"internal_url":null}],"license_note":"Copyright International Joint Conferences on Artificial Intelligence."}