{"type":"ScholarlyArticle","title":"Higher-Order Argumentation Frameworks: Principles and Gradual Semantics","authors":[{"name":"Leila Amgoud","slug":"leila-amgoud","given":"Leila","family":"Amgoud","affiliation":"CNRS -IRIT , France"},{"name":"Dragan Doder","slug":"dragan-doder","given":"Dragan","family":"Doder","affiliation":"Utrecht University , Netherlands"},{"name":"Marie-Christine Lagasquie-Schiex","slug":"marie-christine-lagasquie-schiex","given":"Marie-Christine","family":"Lagasquie-Schiex","affiliation":"Université Toulouse 3 -IRIT , France"}],"abstract":"The paper investigates how to evaluate elements in complex argumentation frameworks, where both arguments and attacks are weighted and might be attacked by arguments. We propose the first gradual semantics that assign a numerical value to every argument and attack. The value represents the acceptance (seriousness) degree of an argument (attack). We start by highlighting various technical challenges facing semantics in such complex settings, including how to deal with attacks vs arguments, and how to combine their values. We present principles that describe different strategies offered to semantics to meet such challenges. Then, we introduce various semantics per strategy. For instance, some semantics evaluate attacks and arguments in the same way while others, called hybrid, treat them differently.  Finally, the principles are used to compare the plethora of novel semantics. The final result is a catalogue of semantics with different formal guarantees and behaviours.","doi":"10.24963/ijcai.2024/357","url":"https://ijcai.org/proceedings/2024/357","pdf":"https://ijcai.org/proceedings/2024/0357.pdf","markdown":"https://ijcai.org/proceedings/2024/357.md","bibtex":"https://ijcai.org/proceedings/2024/bibtex/357","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":357,"pages":{"first":3224,"last":3231},"keywords":["Knowledge Representation and Reasoning: KRR: Argumentation","Knowledge Representation and Reasoning: KRR: Common-sense reasoning"],"videos":[],"references":[{"position":1,"raw":"[Amgoud and Ben-Naim, 2016] Leila Amgoud and Jonathan Ben-Naim. Axiomatic foundations of ac- ceptability semantics. In Proc. of KR, pages 2-11, 2016.","title":"Leila Amgoud and Jonathan Ben-Naim. Axiomatic foundations of acceptability semantics","authors":"Ben-Naim Amgoud","year":"2016","venue":"Proc. of KR","doi":null,"url":null,"internal_url":null},{"position":2,"raw":"[Amgoud and Doder, 2019] Leila Amgoud and Dragan Do- der. Gradual semantics accounting for varied-strength at- tacks. In Proc. of AAMAS, pages 1270-1278, 2019.","title":"Leila Amgoud and Dragan Doder. Gradual semantics accounting for varied-strength attacks","authors":"Doder Amgoud","year":"2019","venue":"Proc. of AAMAS","doi":null,"url":null,"internal_url":null},{"position":3,"raw":"[Amgoud and Prade, 2009] Leila Amgoud and Henri Prade. Using arguments for making and explaining decisions. Ar- tificial Intelligence, 173:413-436, 2009.","title":"Leila Amgoud and Henri Prade. Using arguments for making and explaining decisions","authors":"Prade Amgoud","year":"2009","venue":"Artificial Intelligence","doi":null,"url":null,"internal_url":null},{"position":4,"raw":"[Amgoud et al., 2017] Leila Amgoud, Jonathan Ben-Naim, Dragan Doder, and Serdjan Vesic. Acceptability semantics for weighted argumentation frameworks. In Proc of IJCAI, pages 56-62, 2017.","title":"Acceptability semantics for weighted argumentation frameworks","authors":"Leila Amgoud, Jonathan Ben-Naim, Dragan Doder, Serdjan Vesic","year":"2017","venue":"Proc of IJCAI","doi":null,"url":null,"internal_url":"/proceedings/2017/9"},{"position":5,"raw":"[Amgoud et al., 2022] Leila Amgoud, Dragan Doder, and Srdjan Vesic. Evaluation of argument strength in attack graphs: Foundations and semantics. Artificial Intelligence, 302:103607, 2022.","title":"Evaluation of argument strength in attack graphs: Foundations and semantics","authors":"Leila Amgoud, Dragan Doder, Srdjan Vesic","year":"2022","venue":"Artificial Intelligence","doi":null,"url":null,"internal_url":null},{"position":6,"raw":"[Baroni and Giacomin, 2007] Pietro Baroni and Massim- iliano Giacomin. On principle-based evaluation of extension-based argumentation semantics. Artificial Intel- ligence, 171(10-15):675-700, 2007.","title":"Pietro Baroni and Massimiliano Giacomin. On principle-based evaluation of extension-based argumentation semantics","authors":"Giacomin Baroni","year":"2007","venue":"Artificial Intelligence","doi":null,"url":null,"internal_url":null},{"position":7,"raw":"[Baroni et al., 2011] Pietro Baroni, Federico Cerutti, Massi- miliano Giacomin, and Giovanni Guida. AFRA: Argu- mentation framework with recursive attacks. International Journal of Approximate Reasoning, 52(1):19-37, 2011.","title":"AFRA: Argumentation framework with recursive attacks","authors":"Pietro Baroni, Federico Cerutti, Massimiliano Giacomin, Giovanni Guida","year":"2011","venue":"International Journal of Approximate Reasoning","doi":null,"url":null,"internal_url":null},{"position":8,"raw":"[Baroni et al., 2015] Pietro Baroni, Marco Romano, Francesca Toni, Marco Aurisicchio, and Giorgio Bertanza. Automatic evaluation of design alternatives with quan- titative argumentation. Argument & Computation, 6(1):24-49, 2015.","title":"Automatic evaluation of design alternatives with quantitative argumentation","authors":"Pietro Baroni, Marco Romano, Francesca Toni, Marco Aurisicchio, Giorgio Bertanza","year":"2015","venue":"Argument & Computation","doi":null,"url":null,"internal_url":null},{"position":9,"raw":"[Baroni et al., 2018] Pietro Baroni, Antonio Rago, and Francesca Toni. How many properties do we need for gradual argumentation? In Proceedings of the National Conference on Artificial Intelligence AAAI, pages 1736- 1743, 2018.","title":"How many properties do we need for gradual argumentation","authors":"Pietro Baroni, Antonio Rago, Francesca Toni","year":"2018","venue":"Proceedings of the National Conference on Artificial Intelligence AAAI","doi":null,"url":null,"internal_url":null},{"position":10,"raw":"[Barringer et al., 2005] Howard Barringer, Dov Gabbay, and John Woods. Temporal dynamics of support and attack networks : From argumentation to zoology. In Dieter Hutter and Werner Stephan, editors, Mechanizing Mathe- matical Reasoning, Essays in Honor of Jörg H. Siekmann. LNAI 2605, pages 59-98. Springer, 2005.","title":"Temporal dynamics of support and attack networks : From argumentation to zoology","authors":"Barringer","year":"2005","venue":"Mechanizing Mathematical Reasoning, Essays in Honor of Jörg H. Siekmann. LNAI","doi":null,"url":null,"internal_url":null},{"position":11,"raw":"[Boella et al., 2008] Guido Boella, Leon van der Torre, and Serena Villata. Social viewpoints for arguing about coali- tions. In Proceedings of the 11th Pacific Rim Internationa Conference on Multi-Agents (PRIMA), pages 66-77, 2008.","title":"Social viewpoints for arguing about coalitions","authors":"Guido Boella, Leon Van Der Torre, Serena Villata","year":"2008","venue":"Proceedings of the 11th Pacific Rim Internationa Conference on Multi-Agents (PRIMA)","doi":null,"url":null,"internal_url":null},{"position":12,"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 Proceedings of the AAAI Conference on Artificial Intelligence (AAAI), 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":"Proceedings of the AAAI Conference on Artificial Intelligence (AAAI)","doi":null,"url":null,"internal_url":null},{"position":13,"raw":"[Calvo et al., 2002] Tomasa Calvo, Anna Kolesárová, Magda Komorníková, and Radko Mesiar. Aggrega- tion Operators: Properties, Classes and Construction Methods, pages 3-104. Physica-Verlag HD, 2002.","title":"Aggregation Operators: Properties, Classes and Construction Methods","authors":"Tomasa Calvo, Anna Kolesárová, Magda Komorníková, Radko Mesiar","year":"2002","venue":null,"doi":null,"url":null,"internal_url":null},{"position":14,"raw":"[Cayrol and Lagasquie-Schiex, 2005] Claudette Cayrol and Marie-Christine Lagasquie-Schiex. Graduality in argu- mentation. Journal of Artificial Intelligence Research, 23:245-297, 2005.","title":"Claudette Cayrol and Marie-Christine Lagasquie-Schiex. Graduality in argumentation","authors":"Lagasquie-Schiex Cayrol","year":"2005","venue":"Journal of Artificial Intelligence Research","doi":null,"url":null,"internal_url":null},{"position":15,"raw":"[Cayrol et al., 2020] Claudette Cayrol, Jorge Fandinno, Luis Fariñas del Cerro, and Marie-Christine Lagasquie-Schiex. Valid attacks in argumentation frameworks with recursive attacks. Annals of Mathematics and Artificial Intelligence (Special Issue: Commonsense 2017), 2020.","title":"Valid attacks in argumentation frameworks with recursive attacks","authors":"Claudette Cayrol, Jorge Fandinno, Luis Fariñas Del Cerro, Marie-Christine Lagasquie-Schiex","year":"2017","venue":"Annals of Mathematics and Artificial Intelligence","doi":null,"url":null,"internal_url":null},{"position":16,"raw":"[Cayrol et al., 2021] Claudette Cayrol, Andrea Cohen, and Marie-Christine Lagasquie-Schiex. Higher-order interac- tions (bipolar or not) in abstract argumentation: A state of the art. IfCoLog Journal of Logics and their Applications FLAP, 8(6):1339-1436, 2021.","title":"Higher-order interactions (bipolar or not) in abstract argumentation: A state of the art","authors":"Claudette Cayrol, Andrea Cohen, Marie-Christine Lagasquie-Schiex","year":"2021","venue":"IfCoLog Journal of Logics and their Applications FLAP","doi":null,"url":null,"internal_url":null},{"position":17,"raw":"[da Costa Pereira et al., 2011] Célia da Costa Pereira, An- drea Tettamanzi, and Serena Villata. Changing one's mind: Erase or rewind? In Proc. of IJCAI, pages 164-171, 2011.","title":"Célia da Costa Pereira, Andrea Tettamanzi, and Serena Villata. Changing one's mind: Erase or rewind?","authors":"Costa Da, Pereira","year":"2011","venue":"Proc. of IJCAI","doi":null,"url":null,"internal_url":null},{"position":18,"raw":"[Doutre et al., 2022] Sylvie Doutre, Mickaël Lafages, and Marie-Christine Lagasquie-Schiex. Towards Algorithms for Argumentation Frameworks with Higher-order At- tacks. International Journal on Artificial Intelligence Tools, 31(07):2260007, 2022.","title":"Towards Algorithms for Argumentation Frameworks with Higher-order Attacks","authors":"Sylvie Doutre, Mickaël Lafages, Marie-Christine Lagasquie-Schiex","year":"2022","venue":"International Journal on Artificial Intelligence Tools","doi":null,"url":null,"internal_url":null},{"position":19,"raw":"[Dung, 1995] Phan Minh Dung. On the Acceptability of Arguments and its Fundamental Role in Non-Monotonic Reasoning, Logic Programming and n-Person Games. Ar- tificial Intelligence, 77:321-357, 1995.","title":"On the Acceptability of Arguments and its Fundamental Role in Non-Monotonic Reasoning, Logic Programming and n-Person Games","authors":"Phan Minh, Dung","year":"1995","venue":"Artificial Intelligence","doi":null,"url":null,"internal_url":null},{"position":20,"raw":"[Lafages, 2021] Mickaël Lafages. Algorithms for En- riched Abstract Argumentation Frameworks for Large- scale Cases. PhD thesis, Paul Sabatier Univ., 2021.","title":"Algorithms for Enriched Abstract Argumentation Frameworks for Largescale Cases","authors":"Mickaël Lafages","year":"2021","venue":null,"doi":null,"url":null,"internal_url":null},{"position":21,"raw":"[Leite and Martins, 2011] João Leite and João Martins. So- cial abstract argumentation. In Proceedings of the Inter- national Joint Conference on Artificial Intelligence IJCAI, pages 2287-2292, 2011.","title":"Social abstract argumentation","authors":"João Leite, João Martins","year":"2011","venue":"Proceedings of the International Joint Conference on Artificial Intelligence IJCAI","doi":null,"url":null,"internal_url":"/proceedings/2011/381"},{"position":22,"raw":"[Modgil, 2009] Sanjay Modgil. Reasoning about prefer- ences in argumentation frameworks. Artificial Intelli- gence, 173(9-10):901-934, 2009.","title":"Reasoning about preferences in argumentation frameworks","authors":"Sanjay Modgil","year":"2009","venue":"Artificial Intelligence","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 deci- sion support with quantitative argumentation debates. In Proc. of the fifteenth International Conference on Prin- ciples of Knowledge Representation and Reasoning KR, pages 63-73, 2016.","title":"Discontinuity-free decision support with quantitative argumentation debates","authors":"Rago","year":"2016","venue":"Proc. of the fifteenth International Conference on Principles of Knowledge Representation and Reasoning KR","doi":null,"url":null,"internal_url":null},{"position":24,"raw":"[Simari et al., 2021] Guillermo Simari, Massimiliano Gia- comin, Dov Gabbay, and Matthias Thimm, editors. Hand- book of Formal Argumentation, Vol. 2. College Publica- tions, 2021.","title":"Handbook of Formal Argumentation","authors":null,"year":"2021","venue":null,"doi":null,"url":null,"internal_url":null}],"license_note":"Copyright International Joint Conferences on Artificial Intelligence."}