{"type":"ScholarlyArticle","title":"Relevance in Structured Argumentation","authors":[{"name":"AnneMarie Borg","slug":"annemarie-borg","given":"AnneMarie","family":"Borg","affiliation":"Ruhr-University Bochum , Germany"},{"name":"Christian Straßer","slug":"christian-stra-er","given":"Christian","family":"Straßer","affiliation":"Ruhr-University Bochum , Germany"}],"abstract":"We study properties related to relevance in non-monotonic consequence relations obtained by systems of structured argumentation. Relevance desiderata concern the robustness of a consequence relation under the addition of irrelevant information. For an account of what (ir)relevance amounts to we use syntactic and semantic considerations. Syntactic criteria have been proposed in the domain of relevance logic and were recently used in argumentation theory under the names of non-interference and crash-resistance. The basic idea is that the conclusions of a given argumentative theory should be robust under adding information that shares no propositional variables with the original database. Some semantic relevance criteria are known from non-monotonic logic. For instance, cautious monotony states that if we obtain certain conclusions from an argumentation theory, we may expect to still obtain the same conclusions if we add some of them to the given database. In this paper we investigate properties of structured argumentation systems that warrant relevance desiderata.","doi":"10.24963/ijcai.2018/242","url":"https://ijcai.org/proceedings/2018/242","pdf":"https://ijcai.org/proceedings/2018/0242.pdf","markdown":"https://ijcai.org/proceedings/2018/242.md","bibtex":"https://ijcai.org/proceedings/2018/bibtex/242","volume":{"slug":"2018","title":"Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence","short_title":"IJCAI 2018","url":"https://ijcai.org/proceedings/2018/","year":2018,"location":"Stockholm","dates":"13-19 July 2018","editors":"Jérôme Lang","isbn":"978-0-9992411-2-7","publisher":"International Joint Conferences on Artificial Intelligence Organization","doi_prefix":"10.24963/ijcai.2018"},"section":"Knowledge Representation and Reasoning","track":"Main track","number":242,"pages":{"first":1753,"last":1759},"keywords":["Knowledge Representation and Reasoning: Computational Models of Argument","Knowledge Representation and Reasoning: Logics for Knowledge Representation","Knowledge Representation and Reasoning: Non-classical Logics for Knowledge Representation","Knowledge Representation and Reasoning: Non-monotonic Reasoning"],"videos":[],"references":[{"position":1,"raw":"[Arieli and Straßer, 2015] Ofer Arieli and Christian Straßer. Sequent-based logical argumentation. Arg&Comp, 6(1):73-99, 2015.","title":"Ofer Arieli and Christian Straßer. Sequent-based logical argumentation","authors":"Straßer Arieli","year":"2015","venue":"Arg&Comp","doi":null,"url":null,"internal_url":null},{"position":2,"raw":"[Arieli et al., 2018] Ofer Arieli, AnneMarie Borg, and Chris- tian Straßer. Prioritized sequent-based argumentation. In Proceedings AAMAS 2018, 2018. Forthcoming.","title":"Prioritized sequent-based argumentation","authors":"Ofer Arieli, Annemarie Borg, Christian Straßer","year":"2018","venue":"Proceedings AAMAS 2018","doi":null,"url":null,"internal_url":null},{"position":3,"raw":"[Avron, 2014] Arnon Avron. What is relevance logic? An- nals of Pure and Applied Logic, 165(1):26-48, 2014.","title":"What is relevance logic? Annals of Pure and Applied Logic","authors":"Avron ; Arnon Avron","year":"2014","venue":null,"doi":null,"url":null,"internal_url":null},{"position":4,"raw":"[Avron, 2016] Arnon Avron. RM and its nice properties. In J. Michael Dunn on Information Based Logics, pages 15- 43. Springer, 2016.","title":"RM and its nice properties","authors":"Arnon Avron","year":"2016","venue":"J. Michael Dunn on Information Based Logics","doi":null,"url":null,"internal_url":null},{"position":5,"raw":"[Besnard and Hunter, 2014] Philippe Besnard and Anthony Hunter. Constructing argument graphs with deductive ar- guments: a tutorial. Arg&Comp, 5(1):5-30, 2014.","title":"Constructing argument graphs with deductive arguments: a tutorial","authors":"Hunter ; Besnard, Philippe Besnard, Anthony Hunter","year":"2014","venue":"Arg&Comp","doi":null,"url":null,"internal_url":null},{"position":6,"raw":"[Bondarenko et al., 1997] Andrei Bondarenko, Phan Minh Dung, Robert A. Kowalski, and Francesca Toni. An ab- stract, argumentation-theoretic approach to default reason- ing. ArtInt, 93(1):63 -101, 1997.","title":"An abstract, argumentation-theoretic approach to default reasoning","authors":"Andrei Bondarenko, Minh Phan, Robert A Dung, Francesca Kowalski, Toni","year":"1997","venue":"ArtInt","doi":null,"url":null,"internal_url":null},{"position":7,"raw":"[Caminada et al., 2011] Martin Caminada, Walter Carnielli, and Paul Dunne. Semi-stable semantics. Journal of Logic and Computation, 22(5):1207-1254, 2011.","title":"Semi-stable semantics","authors":"Martin Caminada, Walter Carnielli, Paul Dunne","year":"2011","venue":"Journal of Logic and Computation","doi":null,"url":null,"internal_url":null},{"position":8,"raw":"[Caminada et al., 2014] Martin Caminada, Sanjay Modgil, and Nir Oren. Preferences and unrestricted rebut. In Proc. COMMA'14, pages 209-220, 2014.","title":"Preferences and unrestricted rebut","authors":"Martin Caminada, Sanjay Modgil, Nir Oren","year":"2014","venue":"Proc. COMMA'14","doi":null,"url":null,"internal_url":null},{"position":9,"raw":"[Cyras and Toni, 2016] Kristijonas Cyras and Francesca Toni. ABA+: assumption-based argumentation with pref- erences. In Proc. KR'2016, pages 553-556, 2016.","title":"Kristijonas Cyras and Francesca Toni. ABA+: assumption-based argumentation with preferences","authors":"Toni Cyras","year":"2016","venue":"Proc. KR'2016","doi":null,"url":null,"internal_url":null},{"position":10,"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. ArtInt, 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":"ArtInt","doi":null,"url":null,"internal_url":null},{"position":11,"raw":"[Grooters and Prakken, 2016] Diana Grooters and Henry Prakken. Two aspects of relevance in structured argumen- tation: Minimality and paraconsistency. Journal of Artifi- cial Inteligence Research, 56:197-245, 2016.","title":"Two aspects of relevance in structured argumentation: Minimality and paraconsistency","authors":"Prakken Grooters, Diana Grooters, Henry Prakken","year":"2016","venue":"Journal of Artificial Inteligence Research","doi":null,"url":null,"internal_url":null},{"position":12,"raw":"[Heyninck and Straßer, 2016] Jesse Heyninck and Christian Straßer. Relations between assumption-based approaches in nonmonotonic logic and formal argumentation. In Proc. NMR'16, 2016.","title":"Jesse Heyninck and Christian Straßer. Relations between assumption-based approaches in nonmonotonic logic and formal argumentation","authors":"Straßer Heyninck","year":"2016","venue":"Proc. NMR'16","doi":null,"url":null,"internal_url":null},{"position":13,"raw":"[Heyninck and Straßer, 2017] Jesse Heyninck and Christian Straßer. Revisiting unrestricted rebut and preferences in structured argumentation. In Proc. IJCAI'17, pages 1088- 1092, 2017.","title":"Jesse Heyninck and Christian Straßer. Revisiting unrestricted rebut and preferences in structured argumentation","authors":"Straßer Heyninck","year":"2017","venue":"Proc. IJCAI'17","doi":null,"url":null,"internal_url":null},{"position":14,"raw":"[Makinson, 2003] David Makinson. Bridges between clas- sical and nonmonotonic logic. Logic Journal of IGPL, 11(1):69-96, 2003.","title":"Bridges between classical and nonmonotonic logic","authors":"David Makinson","year":"2003","venue":"Logic Journal of IGPL","doi":null,"url":null,"internal_url":null},{"position":15,"raw":"[Prakken, 2010] Henry Prakken. An abstract framework for argumentation with structured arguments. Arg&Comp, 1(2):93-124, 2010.","title":"An abstract framework for argumentation with structured arguments","authors":"Henry Prakken, Prakken","year":"2010","venue":"Arg&Comp","doi":null,"url":null,"internal_url":null},{"position":16,"raw":"[Wu and Podlaszewski, 2014] Yining Wu and Mikołaj Pod- laszewski. Implementing crash-resistance and non- interference in logic-based argumentation. Journal of Logic and Computation, 25(2):303-333, 2014.","title":"Implementing crash-resistance and noninterference in logic-based argumentation","authors":"Yining Wu, Mikołaj Podlaszewski","year":"2014","venue":"Journal of Logic and Computation","doi":null,"url":null,"internal_url":null}],"license_note":"Copyright International Joint Conferences on Artificial Intelligence."}