{"type":"ScholarlyArticle","title":"Semantics for Non-Flat Assumption-Based Argumentation, Revisited","authors":[{"name":"Jesse Heyninck","slug":"jesse-heyninck","given":"Jesse","family":"Heyninck","affiliation":"Department of Computer Science , Open Universiteit , Heerlen , the Netherlands; University of Cape Town and CAIR , South-Africa"},{"name":"Ofer Arieli","slug":"ofer-arieli","given":"Ofer","family":"Arieli","affiliation":"School of Computer Science , Tel-Aviv Academic College , Tel-Aviv , Israel"}],"abstract":"Assumption-based argumentation (ABA) is an argumentative formalism that allows for reasoning on the basis of defeasible assumptions and strict rules. Standard semantics for this formalism sometimes give rise to problematic behaviour in the presence of rules with assumptions in their heads. In this paper, we introduce a six-valued labelling semantics that overcomes these shortcomings while preserving all the usual properties of the standard Dung-style three-valued semantics for ABA frameworks, including existence of the complete semantics, uniqueness of the grounded semantics and preservation of the computational complexity of all main reasoning processes.","doi":"10.24963/ijcai.2024/378","url":"https://ijcai.org/proceedings/2024/378","pdf":"https://ijcai.org/proceedings/2024/0378.pdf","markdown":"https://ijcai.org/proceedings/2024/378.md","bibtex":"https://ijcai.org/proceedings/2024/bibtex/378","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":378,"pages":{"first":3413,"last":3420},"keywords":["Knowledge Representation and Reasoning: KRR: Non-monotonic reasoning","Knowledge Representation and Reasoning: KRR: Argumentation"],"videos":[],"references":[{"position":1,"raw":"[Arieli and Caminada, 2013] Ofer Arieli and Martin W. Caminada. A QBF-based formalization of abstract argumentation semantics. Journal of Applied Logic, 11(2):229-252, 2013.","title":"A QBF-based formalization of abstract argumentation semantics","authors":"Caminada ; ] Ofer Arieli, Martin W Arieli, Caminada","year":"2013","venue":"Journal of Applied Logic","doi":null,"url":null,"internal_url":null},{"position":2,"raw":"[Arieli and Straßer, 2015] Ofer Arieli and Christian Straßer. Sequent-based logical argumentation. Journal of Argu- ment and Computation, 6(1):73-99, 2015.","title":"Ofer Arieli and Christian Straßer. Sequent-based logical argumentation","authors":"Straßer Arieli","year":"2015","venue":"Journal of Argument and Computation","doi":null,"url":null,"internal_url":null},{"position":3,"raw":"[Arieli, 2016] Ofer Arieli. On the acceptance of loops in ar- gumentation frameworks. Journal of Logic and Computa- tion, 26(4):1203-1234, 2016.","title":"On the acceptance of loops in argumentation frameworks","authors":"Ofer Arieli, Arieli","year":"2016","venue":"Journal of Logic and Computation","doi":null,"url":null,"internal_url":null},{"position":4,"raw":"[Arieli, 2022] Ofer Arieli. Four-valued semantics for ab- stract argumentation frameworks using (extensions of)","title":"Four-valued semantics for abstract argumentation frameworks using (extensions of)","authors":"Ofer Arieli, Arieli","year":"2022","venue":null,"doi":null,"url":null,"internal_url":null},{"position":5,"raw":"Dunn-Belnap four-valued logic, volume 46 of Tributes, Essays in honor of J. M. Dunn. College Publications, 2022.","title":"Tributes, Essays in honor of J. M. Dunn","authors":null,"year":"2022","venue":null,"doi":null,"url":null,"internal_url":null},{"position":6,"raw":"[Baroni et al., 2018] Pietro Baroni, Dov Gabbay, Massimil- iano Giacomin, and Leendert van der Torre. Handbook of Formal Argumentation, volume 1. College Publications, 2018.","title":"Handbook of Formal Argumentation","authors":"Pietro Baroni, Dov Gabbay, Massimiliano Giacomin, Leendert Van Der Torre","year":"2018","venue":null,"doi":null,"url":null,"internal_url":null},{"position":7,"raw":"[Baroni et al., 2021] Pietro Baroni, Martin Caminada, and Massimiliano Giacomin. Abstract argumentation frame- works and their semantics. In Dov Gabbay, Massimiliano Giacomin, Guillermo Simari, and Matthias Thimm, edi- tors, Handbook of Formal Argumentation, volume 2. Col- lege Publications, 2021.","title":"Abstract argumentation frameworks and their semantics","authors":"Pietro Baroni, Martin Caminada, Massimiliano Giacomin","year":"2021","venue":"Handbook of Formal Argumentation","doi":null,"url":null,"internal_url":null},{"position":8,"raw":"[Besnard and Hunter, 2001] Philippe Besnard and Anthony Hunter. A logic-based theory of deductive arguments. Ar- tificial Intelligence, 128(1):203-235, 2001.","title":"A logic-based theory of deductive arguments","authors":"Philippe Besnard, Anthony Hunter","year":"2001","venue":"Artificial Intelligence","doi":null,"url":null,"internal_url":null},{"position":9,"raw":"[Besnard et al., 2020] Philippe Besnard, Claudette Cayrol, and Marie-Christine Lagasquie-Schiex. Logical theories and abstract argumentation: A survey of existing works. Journal of Argument & Computation, 11(1-2):41-102, 2020.","title":"Logical theories and abstract argumentation: A survey of existing works","authors":"Philippe Besnard, Claudette Cayrol, Marie-Christine Lagasquie-Schiex","year":"2020","venue":"Journal of Argument & Computation","doi":null,"url":null,"internal_url":null},{"position":10,"raw":"[Bistarelli and Taticchi, 2021] Stefano Bistarelli and Carlo Taticchi. A unifying four-state labelling semantics for bridging abstract argumentation frameworks and belief re- vision. In Proceedings of the 22nd Italian Conference on Theoretical Computer Science (ICTCS'21), volume 3072 of CEUR Workshop Proceedings, pages 93-106, 2021.","title":"A unifying four-state labelling semantics for bridging abstract argumentation frameworks and belief revision","authors":"Stefano Bistarelli, Carlo Taticchi","year":"2021","venue":"Proceedings of the 22nd Italian Conference on Theoretical Computer Science (ICTCS'21)","doi":null,"url":null,"internal_url":null},{"position":11,"raw":"[Bondarenko et al., 1997] Andrei Bondarenko, Phan Minh Dung, Robert Kowalski, and Francesca Toni. An ab- stract, argumentation-theoretic approach to default reason- ing. Artificial Intelligence, 93(1):63-101, 1997.","title":"An abstract, argumentation-theoretic approach to default reasoning","authors":"Andrei Bondarenko, Minh Phan, Robert Dung, Francesca Kowalski, Toni","year":"1997","venue":"Artificial Intelligence","doi":null,"url":null,"internal_url":null},{"position":12,"raw":"[Cerutti et al., 2017] Federico Cerutti, Sarah Alice Gaggl, Matthias Thimm, and Johannes Peter Wallner. Founda- tions of implementations for formal argumentation. Jour- nal of Applied Logics-IfCoLog Journal of Logics and their Applications, 4(8):2623-2706, 2017.","title":"Foundations of implementations for formal argumentation","authors":"Federico Cerutti, Alice Sarah, Matthias Gaggl, Johannes Thimm, Wallner Peter","year":"2017","venue":"Journal of Applied Logics-IfCoLog Journal of Logics and their Applications","doi":null,"url":null,"internal_url":null},{"position":13,"raw":"[Cousot and Cousot, 1979] Patrick Cousot and Radhia Cousot. Constructive versions of Tarski's fixed point theorems. Pacific journal of Mathematics, 82(1):43-57, 1979.","title":"Constructive versions of Tarski's fixed point theorems","authors":"Cousot Cousot, Patrick Cousot, Radhia Cousot","year":"1979","venue":"Pacific journal of Mathematics","doi":null,"url":null,"internal_url":null},{"position":14,"raw":"[Čyras et al., 2017] Kristijonas Čyras, Claudia Schulz, and Francesca Toni. Capturing bipolar argumentation in non- flat assumption-based argumentation. In International Conference on Principles and Practice of Multi-Agent Sys- tems, pages 386-402. Springer, 2017.","title":"Capturing bipolar argumentation in nonflat assumption-based argumentation","authors":"Čyras","year":"2017","venue":"International Conference on Principles and Practice of Multi-Agent Systems","doi":null,"url":null,"internal_url":null},{"position":15,"raw":"[Čyras et al., 2018] Kristijonas Čyras, Xiuyi Fan, Claudia Schulz, and Francesca Toni. Assumption-based argumen- tation: Disputes, explanations, preferences. Handbook of Formal Argumentation, pages 2407-2456, 2018.","title":"Kristijonas Čyras, Xiuyi Fan","authors":"Čyras","year":"2018","venue":"Assumption-based argumentation: Disputes, explanations, preferences. Handbook of Formal Argumentation","doi":null,"url":null,"internal_url":null},{"position":16,"raw":"[Čyras et al., 2021] Kristijonas Čyras, Quentin Heinrich, and Francesca Toni. Computational complexity of flat and generic assumption-based argumentation, with and without probabilities. Artificial Intelligence, 293:103449, 2021.","title":"Kristijonas Čyras, Quentin Heinrich, and Francesca Toni. Computational complexity of flat and generic assumption-based argumentation, with and without probabilities","authors":"Čyras","year":"2021","venue":"Artificial Intelligence","doi":null,"url":null,"internal_url":null},{"position":17,"raw":"[Dimopoulos et al., 2002] Yannis Dimopoulos, Bernhard Nebel, and Francesca Toni. On the computational com- plexity of assumption-based argumentation for default rea- soning. Artificial Intelligence, 141(1/2):57-78, 2002.","title":"On the computational complexity of assumption-based argumentation for default reasoning","authors":"Yannis Dimopoulos, Bernhard Nebel, Francesca Toni","year":"2002","venue":"Artificial Intelligence","doi":null,"url":null,"internal_url":null},{"position":18,"raw":"[Dung et al., 2009] Phan Minh Dung, Robert Kowalski, and Francesca Toni. Assumption-based argumentation. In Iyad Rahwan and Guillermo Simari, editors, Argumentation in Artificial Intelligence, pages 199-218. Springer, 2009.","title":"Assumption-based argumentation","authors":"Minh Phan, Robert Dung, Francesca Kowalski, Toni","year":"2009","venue":"Argumentation in Artificial Intelligence","doi":null,"url":null,"internal_url":null},{"position":19,"raw":"[Dung, 1995] Phan Minh Dung. On the acceptability of ar- guments and its fundamental role in nonmonotonic rea- soning, logic programming and n-person games. Artificial Intelligence, 77:321-358, 1995.","title":"On the acceptability of arguments and its fundamental role in nonmonotonic 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":"[Fitting, 2020] Melvin Fitting. Bilattice basics. IfCoLog Journal of Logics and their Applications, 7(6):973-1016, 2020.","title":"Bilattice basics","authors":"Melvin Fitting","year":"2020","venue":"IfCoLog Journal of Logics and their Applications","doi":null,"url":null,"internal_url":null},{"position":21,"raw":"[Gabbay et al., 2021] Dov Gabbay, Massimiliano Giacomin, Guillermo Simari, and Matthias Thimm. Handbook of For- mal Argumentation, volume 2. College Publications, 2021.","title":"Handbook of Formal Argumentation","authors":"Dov Gabbay, Massimiliano Giacomin, Guillermo Simari, Matthias Thimm","year":"2021","venue":null,"doi":null,"url":null,"internal_url":null},{"position":22,"raw":"[García and Simari, 2004] Alejandro García and Guillermo Simari. Defeasible logic programming: An argumentative approach. Theory and Practice in Logic Programming, 4(1-2):95-138, 2004.","title":"Alejandro García and Guillermo Simari. Defeasible logic programming: An argumentative approach","authors":"Simari García","year":"2004","venue":"Theory and Practice in Logic Programming","doi":null,"url":null,"internal_url":null},{"position":23,"raw":"[Jakobovits and Vermeir, 1999] Hadassa Jakobovits and Dirk Vermeir. Robust semantics for argumentation frame- works. Journal of Logic and Computation, 9(2):215-261, 1999.","title":"Robust semantics for argumentation frameworks","authors":"Vermeir Jakobovits, Hadassa Jakobovits, Dirk Vermeir","year":"1999","venue":"Journal of Logic and Computation","doi":null,"url":null,"internal_url":null},{"position":24,"raw":"[Modgil and Prakken, 2014] Sanjay Modgil and Henry Prakken. The ASPIC+ framework for structured argumen- tation: a tutorial. Argument and Computation, 5(1):31-62, 2014.","title":"The ASPIC+ framework for structured argumentation: a tutorial","authors":"Prakken Modgil, Sanjay Modgil, Henry Prakken","year":"2014","venue":"Argument and Computation","doi":null,"url":null,"internal_url":null},{"position":25,"raw":"[Schulz and Toni, 2017] Claudia Schulz and Francesca Toni. Labellings for assumption-based and abstract argumenta- tion. J. Approximate Reasoning, 84:110-149, 2017.","title":"Labellings for assumption-based and abstract argumentation","authors":"Claudia Schulz, Francesca Toni","year":"2017","venue":"J. Approximate Reasoning","doi":null,"url":null,"internal_url":null},{"position":26,"raw":"[Strass, 2013] Hannes Strass. Approximating operators and semantics for abstract dialectical frameworks. Artificial Intelligence, 205:39-70, 2013.","title":"Approximating operators and semantics for abstract dialectical frameworks","authors":"Hannes Strass, Strass","year":"2013","venue":"Artificial Intelligence","doi":null,"url":null,"internal_url":null},{"position":27,"raw":"[Toni, 2014] Francesca Toni. A tutorial on assumption-based argumentation. Journal of Argument and Computation, 5(1):89-117, 2014.","title":"A tutorial on assumption-based argumentation","authors":"Francesca Toni","year":"2014","venue":"Journal of Argument and Computation","doi":null,"url":null,"internal_url":null}],"license_note":"Copyright International Joint Conferences on Artificial Intelligence."}