{"type":"ScholarlyArticle","title":"Ranking Semantics for Argumentation Systems With Necessities","authors":[{"name":"Dragan Doder","slug":"dragan-doder","given":"Dragan","family":"Doder","affiliation":"Utrecht University , the Netherlands"},{"name":"Srdjan Vesic","slug":"srdjan-vesic","given":"Srdjan","family":"Vesic","affiliation":"CRIL -CNRS , Univ. Artois , France"},{"name":"Madalina Croitoru","slug":"madalina-croitoru","given":"Madalina","family":"Croitoru","affiliation":"University of Montpellier , France"}],"abstract":"Bipolar argumentation studies argumentation graphs where attacks are combined with another relation between arguments. Many kind of relations (e.g. deductive support, evidential support, necessities etc.) have been defined and investigated from a Dung semantics perspective. We place ourselves in the context of argumentation systems with necessities and provide the first study to investigate ranking semantics in this setting. To this end, we (1) provide a set of postulates specifically designed for necessities and (2) propose the first ranking-based semantics in the literature to be shown to respect these postulates.","doi":"10.24963/ijcai.2020/265","url":"https://ijcai.org/proceedings/2020/265","pdf":"https://ijcai.org/proceedings/2020/0265.pdf","markdown":"https://ijcai.org/proceedings/2020/265.md","bibtex":"https://ijcai.org/proceedings/2020/bibtex/265","volume":{"slug":"2020","title":"Proceedings of the Twenty-Ninth International Joint Conference on Artificial Intelligence","short_title":"IJCAI 2020","url":"https://ijcai.org/proceedings/2020/","year":2020,"location":"Yokohama","dates":"January 2021 (postponed from 11-17 July 2020)","editors":"Christian Bessiere","isbn":"978-0-9992411-6-5","publisher":"International Joint Conferences on Artificial Intelligence Organization","doi_prefix":"10.24963/ijcai.2020"},"section":"Knowledge Representation and Reasoning","track":"Main track","number":265,"pages":{"first":1912,"last":1918},"keywords":["Knowledge Representation and Reasoning: Computational Models of Argument"],"videos":[],"references":[{"position":1,"raw":"[Amgoud and Ben-Naim, 2013] Leila Amgoud and Jonathan Ben-Naim. Ranking-based semantics for argumentation frameworks. In International Conference on Scalable Uncertainty Management, pages 134-147.","title":"Leila Amgoud and Jonathan Ben-Naim. Ranking-based semantics for argumentation frameworks","authors":"Ben-Naim Amgoud","year":"2013","venue":"International Conference on Scalable Uncertainty Management","doi":null,"url":null,"internal_url":null},{"position":2,"raw":"[Amgoud and Ben-Naim, 2016] Leila Amgoud and Jonathan Ben-Naim. Axiomatic foundations of ac- ceptability semantics. In International Conference on Principles of Knowledge Representation and Reasoning, pages 2-11, 2016.","title":"Leila Amgoud and Jonathan Ben-Naim. Axiomatic foundations of acceptability semantics","authors":"Ben-Naim Amgoud","year":"2016","venue":"International Conference on Principles of Knowledge Representation and Reasoning","doi":null,"url":null,"internal_url":null},{"position":3,"raw":"[Amgoud and Ben-Naim, 2018] Leila Amgoud and Jonathan Ben-Naim. Weighted bipolar argumenta- tion graphs: Axioms and semantics. In International Joint Conference on Artificial Intelligence, pages 5194-5198, 2018.","title":"Leila Amgoud and Jonathan Ben-Naim. Weighted bipolar argumentation graphs: Axioms and semantics","authors":"Ben-Naim Amgoud","year":"2018","venue":"International Joint Conference on Artificial Intelligence","doi":null,"url":null,"internal_url":null},{"position":4,"raw":"[Amgoud and Doder, 2018] Leila Amgoud and Dragan Do- der. Gradual semantics for weighted graphs: An unify- ing approach. In International Conference on Principles of Knowledge Representation and Reasoning, pages 613- 614, 2018.","title":"Leila Amgoud and Dragan Doder. Gradual semantics for weighted graphs: An unifying approach","authors":"Doder Amgoud","year":"2018","venue":"International Conference on Principles of Knowledge Representation and Reasoning","doi":null,"url":null,"internal_url":null},{"position":5,"raw":"[Amgoud and Doder, 2019] Leila Amgoud and Dragan Do- der. Gradual semantics accounting for varied-strength at- tacks. In International Conference on Autonomous Agents and MultiAgent Systems, pages 1270-1278, 2019.","title":"Leila Amgoud and Dragan Doder. Gradual semantics accounting for varied-strength attacks","authors":"Doder Amgoud","year":"2019","venue":"International Conference on Autonomous Agents and MultiAgent Systems","doi":null,"url":null,"internal_url":null},{"position":6,"raw":"[Amgoud et al., 2008] Leila Amgoud, Claudette Cayrol, Marie-Christine Lagasquie-Schiex, and Pierre Livet. On bipolarity in argumentation frameworks. International Journal of Intelligent Systems, 23(10):1062-1093, 2008.","title":"On bipolarity in argumentation frameworks","authors":"Leila Amgoud, Claudette Cayrol, Marie-Christine Lagasquie-Schiex, Pierre Livet","year":"2008","venue":"International Journal of Intelligent Systems","doi":null,"url":null,"internal_url":null},{"position":7,"raw":"[Amgoud et al., 2017] Leila Amgoud, Jonathan Ben-Naim, Dragan Doder, and Srdjan Vesic. Acceptability semantics for weighted argumentation frameworks. In International Joint Conference on Artificial Intelligence, pages 56-62, 2017.","title":"Acceptability semantics for weighted argumentation frameworks","authors":"Leila Amgoud, Jonathan Ben-Naim, Dragan Doder, Srdjan Vesic","year":"2017","venue":"International Joint Conference on Artificial Intelligence","doi":null,"url":null,"internal_url":"/proceedings/2017/9"},{"position":8,"raw":"[Boella et al., 2010] Guido Boella, Dov M Gabbay, Leon van der Torre, and Serena Villata. Support in abstract argu- mentation. In International Conference on Computational Models of Argument, pages 40-51, 2010.","title":"Support in abstract argumentation","authors":"Guido Boella, Dov M Gabbay, Leon Van Der Torre, Serena Villata","year":"2010","venue":"International Conference on Computational Models of Argument","doi":null,"url":null,"internal_url":null},{"position":9,"raw":"[Bonzon et al., 2016] Elise Bonzon, Jérôme Delobelle, Sébastien Konieczny, and Nicolas Maudet. A comparative study of ranking-based semantics for abstract argumenta- tion. In AAAI Conference on Artificial Intelligence, pages 914-920, 2016.","title":"A comparative study of ranking-based semantics for abstract argumentation","authors":"Elise Bonzon, Jérôme Delobelle, Sébastien Konieczny, Nicolas Maudet","year":"2016","venue":"AAAI Conference on Artificial Intelligence","doi":null,"url":null,"internal_url":null},{"position":10,"raw":"[Boudhar et al., 2012] Imane Boudhar, Farid Nouioua, and Vincent Risch. Handling preferences in argumentation frameworks with necessities. In International Confer- ence on Agents and Artificial Intelligence, pages 340-345, 2012.","title":"Handling preferences in argumentation frameworks with necessities","authors":"Imane Boudhar, Farid Nouioua, Vincent Risch","year":"2012","venue":"International Conference on Agents and Artificial Intelligence","doi":null,"url":null,"internal_url":null},{"position":11,"raw":"[Cayrol and Lagasquie-Schiex, 2005a] Claudette Cayrol and Marie-Christine Lagasquie-Schiex. Gradual valuation for bipolar argumentation frameworks. In European Confer- ence on Symbolic and Quantitative Approaches to Reason- ing and Uncertainty, pages 366-377. Springer, 2005.","title":"Gradual valuation for bipolar argumentation frameworks","authors":"Lagasquie-Schiex Cayrol","year":"2005","venue":"European Conference on Symbolic and Quantitative Approaches to Reasoning and Uncertainty","doi":null,"url":null,"internal_url":null},{"position":12,"raw":"[Cayrol and Lagasquie-Schiex, 2005b] Claudette Cayrol and Marie-Christine Lagasquie-Schiex. On the acceptability of arguments in bipolar argumentation frameworks. In European Conference on Symbolic and Quantitative Ap- proaches to Reasoning and Uncertainty, pages 378-389. Springer, 2005. [Cayrol and Lagasquie-Schiex, 2013] Claudette Cayrol and Marie-Christine Lagasquie-Schiex. Bipolarity in argu- mentation graphs: Towards a better understanding. Inter- national Journal of Approximate Reasoning, 54(7):876- 899, 2013.","title":"Claudette Cayrol and Marie-Christine Lagasquie-Schiex. Bipolarity in argumentation graphs: Towards a better understanding","authors":"Lagasquie-Schiex ; Cayrol, Claudette Cayrol, Marie-Christine Lagasquie-Schiex","year":"2005","venue":"European Conference on Symbolic and Quantitative Approaches to Reasoning and Uncertainty","doi":null,"url":null,"internal_url":null},{"position":13,"raw":"[Cohen et al., 2015] Andrea Cohen, Sebastian Gottifredi, Alejandro Javier Garcia, and Guillermo Ricardo Simari. An approach to abstract argumentation with recursive at- tack and support. J. Applied Logic, 13(4):509-533, 2015.","title":"An approach to abstract argumentation with recursive attack and support","authors":"Andrea Cohen, Sebastian Gottifredi, Alejandro Javier Garcia, Guillermo Ricardo Simari","year":"2015","venue":"J. Applied Logic","doi":null,"url":null,"internal_url":null},{"position":14,"raw":"[Dung, 1995] Phan Minh Dung. An argumentation-theoretic foundation for logic programming. The Journal of logic programming, 22(2):151-177, 1995.","title":"An argumentation-theoretic foundation for logic programming","authors":"Phan Minh, Dung","year":"1995","venue":"The Journal of logic programming","doi":null,"url":null,"internal_url":null},{"position":15,"raw":"[Gottifredi et al., 2018] Sebastian Gottifredi, Andrea Cohen, Alejandro J Garcia, and Guillermo R Simari. Characteriz- ing acceptability semantics of argumentation frameworks with recursive attack and support relations. Artificial In- telligence, 262:336-368, 2018.","title":"Characterizing acceptability semantics of argumentation frameworks with recursive attack and support relations","authors":"Sebastian Gottifredi, Andrea Cohen, Alejandro J Garcia, Guillermo R Simari","year":"2018","venue":"Artificial Intelligence","doi":null,"url":null,"internal_url":null},{"position":16,"raw":"[Leite and Martins, 2011] João Leite and João G. Martins. Social abstract argumentation. In International Joint Con- ference on Artificial Intelligence, pages 2287-2292, 2011.","title":"Social abstract argumentation","authors":"João Leite, João G Martins","year":"2011","venue":"International Joint Conference on Artificial Intelligence","doi":null,"url":null,"internal_url":"/proceedings/2011/381"},{"position":17,"raw":"[Matt and Toni, 2008] Paul-Amaury Matt and Francesca Toni. A game-theoretic measure of argument strength for abstract argumentation. In European Workshop on Logics in Artificial Intelligence, pages 285-297. Springer, 2008.","title":"A game-theoretic measure of argument strength for abstract argumentation","authors":"Paul-Amaury Matt, Francesca Toni","year":"2008","venue":"European Workshop on Logics in Artificial Intelligence","doi":null,"url":null,"internal_url":null},{"position":18,"raw":"[Mossakowski and Neuhaus, 2018] Till Mossakowski and Fabian Neuhaus. Modular semantics and characteris- tics for bipolar weighted argumentation graphs. CoRR, abs/1807.06685, 2018.","title":"Till Mossakowski and Fabian Neuhaus. Modular semantics and characteristics for bipolar weighted argumentation graphs","authors":"Neuhaus Mossakowski","year":"2018","venue":null,"doi":null,"url":null,"internal_url":null},{"position":19,"raw":"[Nouioua and Risch, 2011] Farid Nouioua and Vincent Risch. Argumentation frameworks with necessities. In International Conference on Scalable Uncertainty Management, pages 163-176. Springer, 2011.","title":"Argumentation frameworks with necessities","authors":"Risch Nouioua","year":"2011","venue":"International Conference on Scalable Uncertainty Management","doi":null,"url":null,"internal_url":null},{"position":20,"raw":"[Nouioua, 2013] Farid Nouioua. AFs with necessities: fur- ther semantics and labelling characterization. In Interna- tional Conference on Scalable Uncertainty Management, pages 120-133. Springer, 2013.","title":"Farid Nouioua. AFs with necessities: further semantics and labelling characterization","authors":"Nouioua","year":"2013","venue":"International Conference on Scalable Uncertainty Management","doi":null,"url":null,"internal_url":null},{"position":21,"raw":"[Oren and Norman, 2008] Nir Oren and Timothy J Norman. Semantics for evidence-based argumentation. In Interna- tional Conference on Computational Models of Argument, pages 276-284. IOS Press, 2008.","title":"Semantics for evidence-based argumentation","authors":"Oren, Norman ;, Nir Oren, Timothy J Norman","year":"2008","venue":"International Conference on Computational Models of Argument","doi":null,"url":null,"internal_url":null},{"position":22,"raw":"[Potyka, 2019] Nico Potyka. Extending modular semantics for bipolar weighted argumentation. In International Con- ference on Autonomous Agents and MultiAgent Systems, pages 1722-1730, 2019.","title":"Extending modular semantics for bipolar weighted argumentation","authors":"Nico Potyka, Potyka","year":"2019","venue":"International Conference on Autonomous Agents and MultiAgent Systems","doi":null,"url":null,"internal_url":null},{"position":23,"raw":"[Rago et al., 2016] Antonio Rago, Francesca Toni, Marco Aurisicchio, and Pietro Baroni. Discontinuity-free de- cision support with quantitative argumentation debates. In International Conference on Principles of Knowledge Representation and Reasoning, pages 63-73, 2016.","title":"Discontinuity-free decision support with quantitative argumentation debates","authors":"Rago","year":"2016","venue":"International Conference on Principles of Knowledge Representation and Reasoning","doi":null,"url":null,"internal_url":null},{"position":24,"raw":"[Villata et al., 2012] Serena Villata, Guido Boella, Dov M Gabbay, and Leendert Van Der Torre. Modelling de- feasible and prioritized support in bipolar argumentation. Annals of Mathematics and Artificial Intelligence, 66(1- 4):163-197, 2012.","title":"Modelling defeasible and prioritized support in bipolar argumentation","authors":"Villata","year":"2012","venue":"Annals of Mathematics and Artificial Intelligence","doi":null,"url":null,"internal_url":null}],"license_note":"Copyright International Joint Conferences on Artificial Intelligence."}