{"type":"ScholarlyArticle","title":"A Fully Rational Account of Structured Argumentation Under Resource Bounds","authors":[{"name":"Marcello D'Agostino","slug":"marcello-d-agostino","given":"Marcello","family":"D'Agostino","affiliation":"University of Milan"},{"name":"Sanjay Modgil","slug":"sanjay-modgil","given":"Sanjay","family":"Modgil","affiliation":"Kings's College London"}],"abstract":"ASPIC+ is an established general framework for argumentation and non-monotonic reasoning. However, ASPIC+ does not satisfy the non-contamination rationality postulates, and moreover, tacitly assumes unbounded resources when demonstrating satisfaction of the consistency postulates. In this paper we present a new version of ASPIC+ – Dialectial ASPIC+ – that is fully rational under resource bounds.","doi":"10.24963/ijcai.2020/255","url":"https://ijcai.org/proceedings/2020/255","pdf":"https://ijcai.org/proceedings/2020/0255.pdf","markdown":"https://ijcai.org/proceedings/2020/255.md","bibtex":"https://ijcai.org/proceedings/2020/bibtex/255","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":255,"pages":{"first":1841,"last":1847},"keywords":["Agent-based and Multi-agent Systems: Agreement Technologies: Argumentation","Knowledge Representation and Reasoning: Non-monotonic Reasoning, Common-Sense Reasoning"],"videos":[{"label":"Video","url":"https://videos.ijcai20.org/24833/file_24833.m3u8","length_sec":320,"provider":"hls"}],"references":[{"position":1,"raw":"[Borg and Straßer, 2018] Anne Marie Borg and Christian Straßer. Relevance in structured argumentation. In Proc. Twenty-Seventh International Joint Conference on Artifi- cial Intelligence, IJCAI-18, pages 1753-1759, 2018.","title":"Relevance in structured argumentation","authors":"Straßer Borg, Anne, Marie Borg, Christian Straßer","year":"2018","venue":"Proc. Twenty-Seventh International Joint Conference on Artificial Intelligence, IJCAI-18","doi":null,"url":null,"internal_url":"/proceedings/2018/242"},{"position":2,"raw":"[Caminada and Amgoud, 2007] Martin Caminada and Leila Amgoud. On the evaluation of argumentation formalisms. Artificial Intelligence, 171(5-6):286-310, 2007.","title":"On the evaluation of argumentation formalisms","authors":"Amgoud Caminada, Martin Caminada, Leila Amgoud","year":"2007","venue":"Artificial Intelligence","doi":null,"url":null,"internal_url":null},{"position":3,"raw":"[Caminada et al., 2012] Martin Caminada, Walter Carnielli, and Paul Dunne. Semi-stable semantics. Journal of Logic and Computation, 22(5):1207-1254, 2012.","title":"Semi-stable semantics","authors":"Martin Caminada, Walter Carnielli, Paul Dunne","year":"2012","venue":"Journal of Logic and Computation","doi":null,"url":null,"internal_url":null},{"position":4,"raw":"[Caminada et al., 2014] Martin Caminada, Sanjay Modgil, and Nir Oren. Preferences and unrestricted rebut. In Com- putational Models of Argument: Proceedings of COMMA 2014, pages 209-220. IOS Press, 2014.","title":"Preferences and unrestricted rebut","authors":"Martin Caminada, Sanjay Modgil, Nir Oren","year":"2014","venue":"Computational Models of Argument: Proceedings of COMMA 2014","doi":null,"url":null,"internal_url":null},{"position":5,"raw":"[D'Agostino and Modgil, 2018] Marcello D'Agostino and Sanjay Modgil. Classical logic, argument and dialectic. Artificial Intelligence, 262:15-51, 2018.","title":"Classical logic, argument and dialectic","authors":"D' Agostino, Modgil ; Marcello D' Agostino, Sanjay Modgil","year":"2018","venue":"Artificial Intelligence","doi":null,"url":null,"internal_url":null},{"position":6,"raw":"[D'Agostino et al., 2019] Marcello D'Agostino, Dov Gab- bay, and Sanjay Modgil. Normality, non-contamination and logical depth in classical natural deduction. Studia Logica, pages 1-67, 2019.","title":"Normality, non-contamination and logical depth in classical natural deduction","authors":"D' Marcello, Dov Agostino, Sanjay Gabbay, Modgil","year":"2019","venue":"Studia Logica","doi":null,"url":null,"internal_url":null},{"position":7,"raw":"[Dong et al., 2019] Huimin Dong, Beishui Liao, Reka Markovich, and Leon van der Torre. From classical to non- monotonic deontic logic using aspic+. In International Workshop on Logic, Rationality and Interaction (LORI 2019), pages 71-85. Springer, 2019.","title":"From classical to nonmonotonic deontic logic using aspic+","authors":"Huimin Dong, Beishui Liao, Reka Markovich, Leon Van Der Torre","year":"2019","venue":"International Workshop on Logic, Rationality and Interaction (LORI 2019)","doi":null,"url":null,"internal_url":null},{"position":8,"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-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":9,"raw":"[Heyninck and Straßer, 2017] Jesse Heyninck and Christian Straßer. Revisiting unrestricted rebut and preferences in structured argumentation. In Proc.Twenty-Sixth Interna- tional Joint Conference on Artificial Intelligence, 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.Twenty-Sixth International Joint Conference on Artificial Intelligence, IJCAI-17","doi":null,"url":null,"internal_url":null},{"position":10,"raw":"[Heyninck and Straßer, 2019] Jesse Heyninck and Christian Straßer. A fully rational argumentation system for pre- ordered defeasible rules. In Proc. 18th International Con- ference on Autonomous Agents and MultiAgent Systems (AAMAS'19), pages 1704-1712, 2019.","title":"Jesse Heyninck and Christian Straßer. A fully rational argumentation system for preordered defeasible rules","authors":"Straßer Heyninck","year":"2019","venue":"Proc. 18th International Conference on Autonomous Agents and MultiAgent Systems (AAMAS'19)","doi":null,"url":null,"internal_url":null},{"position":11,"raw":"[Modgil and Prakken, 2013] Sanjay Modgil and Henry Prakken. A general account of argumentation and preferences. Artificial Intelligence, 195(0):361 -397, 2013.","title":"A general account of argumentation and preferences","authors":"Prakken Modgil, Sanjay Modgil, Henry Prakken","year":"2013","venue":"Artificial Intelligence","doi":null,"url":null,"internal_url":null},{"position":12,"raw":"[Modgil and Prakken, 2018] Sanjay Modgil and Henry Prakken. Abstract rule-based argumentation. In P. Ba- roni, D. Gabbay, M. Giacomin, and L. van derTorre, editors, Handbook of Formal Argumentation, Vol. 1, pages 286-361. London: College Publications, 2018.","title":"Abstract rule-based argumentation","authors":"Prakken Modgil, Sanjay Modgil, Henry Prakken","year":"2018","venue":"Handbook of Formal Argumentation","doi":null,"url":null,"internal_url":null},{"position":13,"raw":"[Wu and Podlaszewski, 2015] Yining Wu and Mikolaj Pod- laszewski. Implementing crash-resistance and non- interference in logic-based argumentation. Journal of Logic and Computation, 25:303-333, 2015.","title":"Implementing crash-resistance and noninterference in logic-based argumentation","authors":"Yining Wu, Mikolaj Podlaszewski","year":"2015","venue":"Journal of Logic and Computation","doi":null,"url":null,"internal_url":null}],"license_note":"Copyright International Joint Conferences on Artificial Intelligence."}