{"type":"ScholarlyArticle","title":"Limits and Possibilities of Forgetting in Abstract Argumentation","authors":[{"name":"Ringo Baumann","slug":"ringo-baumann","given":"Ringo","family":"Baumann","affiliation":"Universität Leipzig"},{"name":"Matti Berthold","slug":"matti-berthold","given":"Matti","family":"Berthold","affiliation":"Universität Leipzig"}],"abstract":"The topic of forgetting has been extensively studied in the field of knowledge representation and reasoning for many major formalisms. Quite recently it has been introduced to abstract argumentation. However, many already known as well as essential aspects about forgetting like strong persistence or strong invariance have been left unconsidered. We show that forgetting in abstract argumentation cannot be reduced to forgetting in logic programming. In addition, we deal with the more general problem of forgetting whole sets of arguments and show that iterative application of existing operators for single arguments does not necessarily yield a desirable result as it may not produce an informationally economic argumentation framework. As a consequence we provide a systematic and exhaustive study of forgetting desiderata and associated operations adapted to the intrinsics of abstract argumentation. We show the limits and shed light on the possibilities.","doi":"10.24963/ijcai.2022/352","url":"https://ijcai.org/proceedings/2022/352","pdf":"https://ijcai.org/proceedings/2022/0352.pdf","markdown":"https://ijcai.org/proceedings/2022/352.md","bibtex":"https://ijcai.org/proceedings/2022/bibtex/352","volume":{"slug":"2022","title":"Proceedings of the Thirty-First International Joint Conference on Artificial Intelligence","short_title":"IJCAI 2022","url":"https://ijcai.org/proceedings/2022/","year":2022,"location":"Vienna","dates":"23-29 July 2022","editors":"Luc De Raedt","isbn":"978-1-956792-00-3","publisher":"International Joint Conferences on Artificial Intelligence Organization","doi_prefix":"10.24963/ijcai.2022"},"section":"Knowledge Representation and Reasoning","track":"Main Track","number":352,"pages":{"first":2539,"last":2545},"keywords":["Knowledge Representation and Reasoning: Belief Change","Knowledge Representation and Reasoning: Argumentation","Knowledge Representation and Reasoning: Non-monotonic Reasoning","Knowledge Representation and Reasoning: Logic Programming"],"videos":[{"label":"Video #1","url":"https://slideslive.com/38986989","length_sec":89,"provider":"slideslive"},{"label":"Video #2","url":"https://slideslive.com/38985132","length_sec":692,"provider":"slideslive"}],"references":[{"position":1,"raw":"[Baroni and Giacomin, 2007] Pietro Baroni and Massimil- iano Giacomin. On principle-based evaluation of extension- based argumentation semantics. Artificial Intelligence, 171:675-700, 2007.","title":"Pietro Baroni and Massimiliano Giacomin. On principle-based evaluation of extensionbased argumentation semantics","authors":"Giacomin Baroni","year":"2007","venue":"Artificial Intelligence","doi":null,"url":null,"internal_url":null},{"position":2,"raw":"[Baroni et al., 2018a] P. Baroni, D. Gabbay, M. Giacomin, and L. van der Torre. Handbook of Formal Argumentation. College Publications, 2018.","title":"Handbook of Formal Argumentation","authors":"Baroni","year":"2018","venue":null,"doi":null,"url":null,"internal_url":null},{"position":3,"raw":"[Baroni et al., 2018b] Pietro Baroni, Martin Caminada, and Massimiliano Giacomin. Abstract argumentation frame- works and their semantics. In Handbook of Formal Argu- mentation, chapter 4. College Publications, 2018.","title":"Abstract argumentation frameworks and their semantics","authors":"Baroni","year":"2018","venue":"Handbook of Formal Argumentation","doi":null,"url":null,"internal_url":null},{"position":4,"raw":"[Baumann and Spanring, 2015] Ringo Baumann and Christof Spanring. Infinite argumentation frameworks - On the existence and uniqueness of extensions. In Essays Dedicated to Gerhard Brewka on the Occasion of His 60th Birthday, volume 9060, pages 281-295. Springer, 2015.","title":"Infinite argumentation frameworks -On the existence and uniqueness of extensions","authors":"Spanring Baumann, Ringo Baumann, Christof Spanring","year":"2015","venue":"Essays Dedicated to Gerhard Brewka on the Occasion of His 60th Birthday","doi":null,"url":null,"internal_url":null},{"position":5,"raw":"[Baumann et al., 2020] Ringo Baumann, Dov M. Gabbay, and Odinaldo Rodrigues. Forgetting an argument. In Pro- ceedings of (IJCAI-20), pages 2750-2757. AAAI Press, 2020.","title":"Forgetting an argument","authors":"Ringo Baumann, Dov M Gabbay, Odinaldo Rodrigues","year":"2020","venue":"Proceedings of (IJCAI-20)","doi":null,"url":null,"internal_url":null},{"position":6,"raw":"[Baumann, 2018] Ringo Baumann. On the nature of argumen- tation semantics: Existence and uniqueness, expressibility, and replaceability. In Handbook of Formal Argumentation, chapter 18. College Publications, 2018. also appears in If- CoLog Journal of Logics and their Applications 4(8):2779- 2886.","title":"On the nature of argumentation semantics: Existence and uniqueness, expressibility, and replaceability","authors":"Ringo Baumann, Baumann","year":"2018","venue":"Handbook of Formal Argumentation, chapter 18","doi":null,"url":null,"internal_url":null},{"position":7,"raw":"[Berthold et al., 2019a] Matti Berthold, Ricardo Gonc ¸alves, Matthias Knorr, and João Leite. Forgetting in answer set programming with anonymous cycles. In Proceedings of (EPIA-19), pages 552-565, Cham, 2019. Springer.","title":"Forgetting in answer set programming with anonymous cycles","authors":"Berthold","year":"2019","venue":"Proceedings of (EPIA-19)","doi":null,"url":null,"internal_url":null},{"position":8,"raw":"[Berthold et al., 2019b] Matti Berthold, Ricardo Gonc ¸alves, Matthias Knorr, and João Leite. A syntactic operator for forgetting that satisfies strong persistence. Theory and Practice in Logic Programming, 19(5-6):1038-1055, 2019.","title":"A syntactic operator for forgetting that satisfies strong persistence","authors":"Berthold","year":"2019","venue":"Theory and Practice in Logic Programming","doi":null,"url":null,"internal_url":null},{"position":9,"raw":"[Berthold, 2022] Matti Berthold. On syntactic forgetting with strong persistence. In Proceedings of (KR-22), 2022. To appear.","title":"On syntactic forgetting with strong persistence","authors":"Matti Berthold","year":"2022","venue":"Proceedings of (KR-22)","doi":null,"url":null,"internal_url":null},{"position":10,"raw":"[Bisquert et al., 2011] Pierre Bisquert, Claudette Cayrol, Flo- rence Dupin de Saint-Cyr, and Marie-Christine Lagasquie- Schiex. Change in argumentation systems: Exploring the interest of removing an argument. In Proceedings of (SUM- 11), pages 275-288, 2011.","title":"Florence Dupin de Saint-Cyr, and Marie-Christine Lagasquie-Schiex. Change in argumentation systems: Exploring the interest of removing an argument","authors":"Bisquert","year":"2011","venue":"Proceedings of (SUM-11)","doi":null,"url":null,"internal_url":null},{"position":11,"raw":"[Dung, 1995] Phan Minh Dung. On the acceptability of argu- ments and its fundamental role in nonmonotonic reasoning, logic programming and n-person games. Artificial Intelli- gence, 77(2):321-357, 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":12,"raw":"[Dunne et al., 2015] Paul E. Dunne, Wolfgang Dvořák, Thomas Linsbichler, and Stefan Woltran. Characteristics of multiple viewpoints in abstract argumentation. Artificial Intelligence, 228:153-178, 2015.","title":"Characteristics of multiple viewpoints in abstract argumentation","authors":"Paul E Dunne, Wolfgang Dvořák, Thomas Linsbichler, Stefan Woltran","year":"2015","venue":"Artificial Intelligence","doi":null,"url":null,"internal_url":null},{"position":13,"raw":"[Eiter and Kern-Isberner, 2018] Thomas Eiter and Gabriele Kern-Isberner. A brief survey on forgetting from a knowledge representation and reasoning perspective. KI - Künstliche Intelligenz, 2018.","title":"A brief survey on forgetting from a knowledge representation and reasoning perspective","authors":"Thomas Eiter, Gabriele Kern-Isberner","year":"2018","venue":"KI -Künstliche Intelligenz","doi":null,"url":null,"internal_url":null},{"position":14,"raw":"[Eiter et al., 2013] Thomas Eiter, Michael Fink, Jörg Pührer, Hans Tompits, and Stefan Woltran. Model-based recast- ing in answer-set programming. Journal of Applied Non- Classical Logics, 23(1-2):75-104, 2013.","title":"Model-based recasting in answer-set programming","authors":"Thomas Eiter, Michael Fink, Jörg Pührer, Hans Tompits, Stefan Woltran","year":"2013","venue":"Journal of Applied Non-Classical Logics","doi":null,"url":null,"internal_url":null},{"position":15,"raw":"[Gonc ¸alves et al., 2016a] Ricardo Gonc ¸alves, Matthias Knorr, and João Leite. The ultimate guide to forgetting in answer set programming. In Proceedings of (KR-16), pages 135-144, 2016.","title":"The ultimate guide to forgetting in answer set programming","authors":"Gonc ¸alves","year":"2016","venue":"Proceedings of (KR-16)","doi":null,"url":null,"internal_url":null},{"position":16,"raw":"[Gonc ¸alves et al., 2016b] Ricardo Gonc ¸alves, Matthias Knorr, and João Leite. You can't always forget what you want: On the limits of forgetting in answer set programming. In Proceedings of (ECAI-16), pages 957-965, 2016.","title":"You can't always forget what you want: On the limits of forgetting in answer set programming","authors":"Gonc ¸alves","year":"2016","venue":"Proceedings of (ECAI-16)","doi":null,"url":null,"internal_url":null},{"position":17,"raw":"[Gonc ¸alves et al., 2017] Ricardo Gonc ¸alves, Matthias Knorr, João Leite, and Stefan Woltran. When you must forget: Beyond strong persistence when forgetting in answer set programming. Theory and Practice in Logic Programming, 17(5-6):837-854, 2017.","title":"When you must forget: Beyond strong persistence when forgetting in answer set programming","authors":"Ricardo Gonc ¸alves, Matthias Knorr, João Leite, Stefan Woltran","year":"2017","venue":"Theory and Practice in Logic Programming","doi":null,"url":null,"internal_url":null},{"position":18,"raw":"[Knorr and Alferes, 2014] Matthias Knorr and José Júlio Alferes. Preserving strong equivalence while forgetting. In Proceedings of (JELIA-14), pages 412-425, 2014.","title":"Preserving strong equivalence while forgetting","authors":"Alferes Knorr, Matthias Knorr, José Júlio, Alferes","year":"2014","venue":"Proceedings of (JELIA-14)","doi":null,"url":null,"internal_url":null},{"position":19,"raw":"[Lifschitz et al., 1999] Vladimir Lifschitz, Lappoon R. Tang, and Hudson Turner. Nested expressions in logic programs. Annals of Mathematics and Artificial Intelligence, 25(3- 4):369-389, 1999.","title":"Nested expressions in logic programs","authors":"Vladimir Lifschitz, Lappoon R Tang, Hudson Turner","year":"1999","venue":"Annals of Mathematics and Artificial Intelligence","doi":null,"url":null,"internal_url":null},{"position":20,"raw":"[Lifschitz et al., 2001] Vladimir Lifschitz, David Pearce, and Agustín Valverde. Strongly equivalent logic programs. ACM Transactions on Computational Logic, 2(4):526-541, 2001.","title":"Strongly equivalent logic programs","authors":"Vladimir Lifschitz, David Pearce, Agustín Valverde","year":"2001","venue":"ACM Transactions on Computational Logic","doi":null,"url":null,"internal_url":null},{"position":21,"raw":"[Lin and Reiter, 1994] Fangzhen Lin and Ray Reiter. Forget it. In Working Notes of AAAI Fall Symposium on Relevance, pages 154-159, 1994.","title":"Fangzhen Lin and Ray Reiter. Forget it","authors":"Reiter Lin","year":"1994","venue":"Working Notes of AAAI Fall Symposium on Relevance","doi":null,"url":null,"internal_url":null},{"position":22,"raw":"[Rienstra et al., 2020] Tjitze Rienstra, Chiaki Sakama, Leen- dert van der Torre, and Beishui Liao. A principle-based ro- bustness analysis of admissibility-based argumentation se- mantics. Argument & Computation, 11(3):305-339, 2020.","title":"A principle-based robustness analysis of admissibility-based argumentation semantics","authors":"Rienstra","year":"2020","venue":"Argument & Computation","doi":null,"url":null,"internal_url":null},{"position":23,"raw":"[Simari and Rahwan, 2009] Guillermo Ricardo Simari and Iyad Rahwan, editors. Argumentation in Artificial Intel- ligence. Springer, 2009.","title":"Argumentation in Artificial Intelligence","authors":null,"year":"2009","venue":null,"doi":null,"url":null,"internal_url":null},{"position":24,"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}],"license_note":"Copyright International Joint Conferences on Artificial Intelligence."}