{"type":"ScholarlyArticle","title":"A Comparative Study of Ranking Formulas Based on Consistency","authors":[{"name":"Badran Raddaoui","slug":"badran-raddaoui","given":"Badran","family":"Raddaoui","affiliation":"SAMOVAR , Télécom SudParis , Institut Polytechnique de Paris , France; Institute for Philosophy II , Ruhr University Bochum , Germany"},{"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 -CNRS , Université d'Artois , France"}],"abstract":"Ranking is ubiquitous in everyday life. This paper is concerned with the problem of ranking information of a knowledge base when this latter is possibly inconsistent. In particular, the key issue is to elicit a plausibility order on the formulas in an inconsistent knowledge base. We show how such ordering can be obtained by using only the inherent structure of the knowledge base. We start by introducing a principled way a reasonable ranking framework for formulas should satisfy. Then, a variety of ordering criteria have been explored to define plausibility order over formulas based on consistency. Finally, we study the behaviour of the different formula ranking semantics in terms of the proposed logical postulates as well as their (in)-compatibility.","doi":"10.24963/ijcai.2023/371","url":"https://ijcai.org/proceedings/2023/371","pdf":"https://ijcai.org/proceedings/2023/0371.pdf","markdown":"https://ijcai.org/proceedings/2023/371.md","bibtex":"https://ijcai.org/proceedings/2023/bibtex/371","volume":{"slug":"2023","title":"Proceedings of the Thirty-Second International Joint Conference on Artificial Intelligence","short_title":"IJCAI 2023","url":"https://ijcai.org/proceedings/2023/","year":2023,"location":"Macao, SAR","dates":"19-25 August 2023","editors":"Edith Elkind","isbn":"978-1-956792-03-4","publisher":"International Joint Conferences on Artificial Intelligence Organization","doi_prefix":"10.24963/ijcai.2023"},"section":"Knowledge Representation and Reasoning","track":"Main Track","number":371,"pages":{"first":3330,"last":3337},"keywords":["Knowledge Representation and Reasoning: KRR: Preference modelling and preference-based reasoning","Knowledge Representation and Reasoning: KRR: Learning and reasoning"],"videos":[],"references":[{"position":1,"raw":"[Amgoud and Ben-Naim, 2015] Leila Amgoud and Jonathan Ben-Naim. Argumentation-based ranking logics. In AAMAS, pages 1511-1519, 2015.","title":"Leila Amgoud and Jonathan Ben-Naim","authors":"Ben-Naim Amgoud","year":"2015","venue":null,"doi":null,"url":null,"internal_url":null},{"position":2,"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 mcs-based 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":3,"raw":"[Bienvenu et al., 2014] Meghyn Bienvenu, Camille Bour- gaux, and Franc ¸ois Goasdoué. Querying inconsistent de- scription logic knowledge bases under preferred repair se- mantics. In AAAI, pages 996-1002, 2014.","title":"Querying inconsistent description logic knowledge bases under preferred repair semantics","authors":"Bienvenu","year":"2014","venue":"AAAI","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":"[Dalal, 1988] Mukesh Dalal. Investigations into a theory of knowledge base revision. In Howard E. Shrobe, Tom M. Mitchell, and Reid G. Smith, editors, AAAI, pages 475- 479, 1988.","title":"Investigations into a theory of knowledge base revision","authors":"Mukesh Dalal","year":"1988","venue":null,"doi":null,"url":null,"internal_url":null},{"position":6,"raw":"[Delgrande and Schaub, 2000] James P. Delgrande and Torsten Schaub. Expressing preferences in default logic. Artif. Intell., 123(1-2):41-87, 2000.","title":"Expressing preferences in default logic","authors":"James P Delgrande, Torsten Schaub","year":"2000","venue":"Artif. Intell","doi":null,"url":null,"internal_url":null},{"position":7,"raw":"[Delgrande et al., 2004] James P. Delgrande, Torsten Schaub, Hans Tompits, and Kewen Wang. A classifi- cation and survey of preference handling approaches in nonmonotonic reasoning. Comput. Intell., 20(2):308-334, 2004.","title":"A classification and survey of preference handling approaches in nonmonotonic reasoning","authors":"James P Delgrande, Torsten Schaub, Hans Tompits, Kewen Wang","year":"2004","venue":"Comput. Intell","doi":null,"url":null,"internal_url":null},{"position":8,"raw":"[Doignon et al., 2022] Jean-Paul Doignon, Stefano Moretti, and Meltem Öztürk. On the ordinal invariance of power indices on coalitional games. In IJCAI, pages 258-264, 2022.","title":"On the ordinal invariance of power indices on coalitional games","authors":"Jean-Paul Doignon, Stefano Moretti, Meltem Öztürk","year":"2022","venue":"IJCAI","doi":null,"url":null,"internal_url":"/proceedings/2022/37"},{"position":9,"raw":"[Domshlak et al., 2011] Carmel Domshlak, Eyke Hüllermeier, Souhila Kaci, and Henri Prade. Preferences in AI: an overview. Artif. Intell., 175(7-8):1037-1052, 2011.","title":"Preferences in AI: an overview","authors":"Carmel Domshlak, Eyke Hüllermeier, Souhila Kaci, Henri Prade","year":"2011","venue":"Artif. Intell","doi":null,"url":null,"internal_url":null},{"position":10,"raw":"[Dubois and Prade, 1988] Didier Dubois and Henri Prade. Default reasoning and possibility theory. Artif. Intell., 35(2):243-257, 1988.","title":"Default reasoning and possibility theory","authors":"Prade Dubois, Didier Dubois, Henri Prade","year":"1988","venue":"Artif. Intell","doi":null,"url":null,"internal_url":null},{"position":11,"raw":"[Hunter and Konieczny, 2008] Anthony Hunter and Sébastien Konieczny. Measuring inconsistency through minimal inconsistent sets. In Gerhard Brewka and Jérôme Lang, editors, 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":12,"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":13,"raw":"[Jabbour et al., 2014] Saïd Jabbour, Yue Ma, and Badran Raddaoui. Inconsistency measurement thanks to mus de- composition. In AAMAS, pages 877-884, 2014.","title":"Inconsistency measurement thanks to mus decomposition","authors":"Saïd Jabbour, Yue Ma, Badran Raddaoui","year":"2014","venue":"AAMAS","doi":null,"url":null,"internal_url":null},{"position":14,"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":"Jabbour","year":"2016","venue":null,"doi":null,"url":null,"internal_url":null},{"position":15,"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":16,"raw":"[Kendall, 1938] M. G. Kendall. A new measure of rank cor- relation. Biometrika, 30(1/2):81-93, 1938.","title":"A new measure of rank correlation","authors":"M G Kendall","year":"1938","venue":"Biometrika","doi":null,"url":null,"internal_url":null},{"position":17,"raw":"[Kimelfeld et al., 2020] Benny Kimelfeld, Ester Livshits, and Liat Peterfreund. Counting and enumerating preferred database repairs. Theor. Comput. Sci., 837:115-157, 2020.","title":"Counting and enumerating preferred database repairs","authors":"Kimelfeld","year":"2020","venue":"Theor. Comput. Sci","doi":null,"url":null,"internal_url":null},{"position":18,"raw":"[Klassen et al., 2018] Toryn Q. Klassen, Sheila A. McIlraith, and Hector J. Levesque. Specifying plausibility levels for iterated belief change in the situation calculus. In KR, pages 257-266, 2018.","title":"Specifying plausibility levels for iterated belief change in the situation calculus","authors":"Q Toryn, Sheila A Klassen, Hector J Mcilraith, Levesque","year":"2018","venue":null,"doi":null,"url":null,"internal_url":null},{"position":19,"raw":"[Konieczny et al., 2019] Sébastien Konieczny, Pierre Mar- quis, and Srdjan Vesic. Rational inference relations from maximal consistent subsets selection. In IJCAI, pages 1749-1755, 2019.","title":"Rational inference relations from maximal consistent subsets selection","authors":"Sébastien Konieczny, Pierre Marquis, Srdjan Vesic","year":"2019","venue":"IJCAI","doi":null,"url":null,"internal_url":"/proceedings/2019/242"},{"position":20,"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":21,"raw":"[Rescher and Manor, 1970] Nicholas Rescher and Ruth Manor. On inference from inconsistent premises. Theory and Decision, 1:179-217, 1970.","title":"Nicholas Rescher and Ruth Manor. On inference from inconsistent premises","authors":"Manor Rescher","year":"1970","venue":"Theory and Decision","doi":null,"url":null,"internal_url":null},{"position":22,"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":23,"raw":"[Ribeiro, 2022] Jandson S. Ribeiro. Kernel contraction and the order of relevance. In KR, 2022.","title":"Kernel contraction and the order of relevance","authors":"S Jandson, Ribeiro","year":"2022","venue":null,"doi":null,"url":null,"internal_url":null},{"position":24,"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},{"position":25,"raw":"[Thimm, 2016] Matthias Thimm. On the expressivity of in- consistency measures. Artif. Intell., 234:120-151, 2016.","title":"On the expressivity of inconsistency measures","authors":"Matthias Thimm","year":"2016","venue":"Artif. Intell","doi":null,"url":null,"internal_url":null},{"position":26,"raw":"[Yun et al., 2018] Bruno Yun, Srdjan Vesic, Madalina Croitoru, and Pierre Bisquert. Inconsistency measures for repair semantics in OBDA. In Jérôme Lang, editor, IJCAI, pages 1977-1983, 2018.","title":"Inconsistency measures for repair semantics in OBDA","authors":"Bruno Yun, Srdjan Vesic, Madalina Croitoru, Pierre Bisquert","year":"2018","venue":"IJCAI","doi":null,"url":null,"internal_url":"/proceedings/2018/273"}],"license_note":"Copyright International Joint Conferences on Artificial Intelligence."}