{"type":"ScholarlyArticle","title":"A Study of Argumentative Characterisations of Preferred Subtheories","authors":[{"name":"Marcello D'Agostino","slug":"marcello-d-agostino","given":"Marcello","family":"D'Agostino","affiliation":"Department of Philosophy , University of Milan"},{"name":"Sanjay Modgil","slug":"sanjay-modgil","given":"Sanjay","family":"Modgil","affiliation":"Department of Informatics , King's College London"}],"abstract":"Classical logic argumentation (Cl-Arg) under the\r\nstable semantics yields argumentative characterisations\r\nof non-monotonic inference in Preferred Subtheories.\r\nThis paper studies these characterisations\r\nunder both the standard approach to Cl-Arg, and a\r\nrecent dialectical approach that is provably rational\r\nunder resource bounds. Two key contributions are\r\nmade. Firstly, the preferred extensions are shown\r\nto coincide with the stable extensions. This means\r\nthat algorithms and proof theories for the admissible\r\nsemantics can now be used to decide credulous\r\ninference in Preferred Subtheories. Secondly, we\r\nshow that as compared with the standard approach,\r\nthe grounded semantics applied to the dialectical\r\napproach more closely approximates sceptical inference\r\nin Preferred Subtheories.","doi":"10.24963/ijcai.2018/247","url":"https://ijcai.org/proceedings/2018/247","pdf":"https://ijcai.org/proceedings/2018/0247.pdf","markdown":"https://ijcai.org/proceedings/2018/247.md","bibtex":"https://ijcai.org/proceedings/2018/bibtex/247","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":247,"pages":{"first":1788,"last":1794},"keywords":["Knowledge Representation and Reasoning: Non-monotonic Reasoning","Agent-based and Multi-agent Systems: Agreement Technologies: Argumentation","Knowledge Representation and Reasoning: Computational Models of Argument"],"videos":[],"references":[{"position":1,"raw":"[Amgoud and Vesic, 2010] Leila Amgoud and Srdjan Vesic. Handling inconsistency with preference-based argumen- tation. In Scalable Uncertainty Management: 4th Inter- national Conference, SUM 2010, pages 56-69. Springer, 2010.","title":"Handling inconsistency with preference-based argumentation","authors":"Vesic Amgoud, Leila Amgoud, Srdjan Vesic","year":"2010","venue":"Scalable Uncertainty Management: 4th International Conference","doi":null,"url":null,"internal_url":null},{"position":2,"raw":"[Besnard and Hunter, 2008] Phillipe Besnard and Anthony Hunter. Elements of Argumentation. MIT Press, 2008.","title":"Elements of Argumentation","authors":"Phillipe Besnard, Anthony Hunter","year":"2008","venue":null,"doi":null,"url":null,"internal_url":null},{"position":3,"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. Artificial Intelligence, 93: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":"Artificial Intelligence","doi":null,"url":null,"internal_url":null},{"position":4,"raw":"[Brewka, 1989] Gerhard Brewka. Preferred subtheories: An extended logical framework for default reasoning. In Inter- national Joint Conference on Artificial Intelligence, pages 1043-1048, 1989.","title":"Preferred subtheories: An extended logical framework for default reasoning","authors":"Gerhard Brewka","year":"1989","venue":"International Joint Conference on Artificial Intelligence","doi":null,"url":null,"internal_url":"/proceedings/1989/167"},{"position":5,"raw":"[Brewka, 1991] Gerhard Brewka. Nonmonotonic Reason- ing: Logical Foundations of Commonsense. Cambridge University Press, 1991.","title":"Nonmonotonic Reasoning: Logical Foundations of Commonsense","authors":"Brewka","year":"1991","venue":null,"doi":null,"url":null,"internal_url":null},{"position":6,"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":7,"raw":"[Caminada et al., 2012] Martin W.A. Caminada, Walter E. Carnielli, and Paul E. Dunne. Semi-stable semantics. Logic and Computation, 22(5):1207-1254, 2012.","title":"Semi-stable semantics","authors":"W A Martin, Walter E Caminada, Paul E Carnielli, Dunne","year":"2012","venue":"Logic and Computation","doi":null,"url":null,"internal_url":null},{"position":8,"raw":"[Caminada et al., 2014] Martin W.A. Caminada, Sanjay Modgil, and Nir Oren. Preferences and unrestricted rebut. In Proc. International Conference on Computational Mod- els of Argument: COMMA 2014, pages 209-220, 2014.","title":"Preferences and unrestricted rebut","authors":"W A Martin, Sanjay Caminada, Nir Modgil, Oren","year":"2014","venue":"Proc. International Conference on Computational Models of Argument: COMMA 2014","doi":null,"url":null,"internal_url":null},{"position":9,"raw":"[D'Agostino and Modgil, 2016] Marcello D'Agostino and Sanjay Modgil. A rational account of classical logic ar- gumentation for real-world agents. In European Confer- ence on Artificial Intelligence (ECAI 2016), pages 141- 149, 2016.","title":"A rational account of classical logic argumentation for real-world agents","authors":"D' Agostino, Modgil ; Marcello D' Agostino, Sanjay Modgil","year":"2016","venue":"European Conference on Artificial Intelligence (ECAI 2016)","doi":null,"url":null,"internal_url":null},{"position":10,"raw":"[D'Agostino and Modgil, 2018] Marcello D'Agostino and Sanjay Modgil. Classical logic, argument and dialectic. Artificial Intelligence (to appear) https://nms.kcl. ac.uk/sanjay.modgil/AIJSubmission.pdf, 2018.","title":"Classical logic, argument and dialectic","authors":"D' Agostino, Modgil ; Marcello D' Agostino, Sanjay Modgil","year":"2018","venue":"Artificial Intelligence","doi":null,"url":"https://nms.kcl.ac.uk/sanjay.modgil/AIJSubmission.pdf","internal_url":null},{"position":11,"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":12,"raw":"[Dunne and Wooldridge, 2009] Paul E. Dunne and Michael Wooldridge. Chapter 5 : Complexity of abstract argumen- tation. In I. Rahwan and G. Simari, editors, Argumentation in AI, pages 85-104. Springer, 2009.","title":"Chapter 5 : Complexity of abstract argumentation","authors":"Paul E Dunne, Michael Wooldridge","year":"2009","venue":"Argumentation in AI","doi":null,"url":null,"internal_url":null},{"position":13,"raw":"[Gorogiannis and Hunter, 2011] Nikos Gorogiannis and An- thony Hunter. Instantiating abstract argumentation with classical logic arguments: Postulates and properties. Arti- ficial Intelligence, 175(10):1479 -1497, 2011.","title":"Nikos Gorogiannis and Anthony Hunter. Instantiating abstract argumentation with classical logic arguments: Postulates and properties","authors":"Hunter Gorogiannis","year":"2011","venue":"Artificial Intelligence","doi":null,"url":null,"internal_url":null},{"position":14,"raw":"[Modgil and Caminada, 2009] Sanjay Modgil and Martin Caminada. Chapter 6 : Proof theories and algorithms for abstract argumentation frameworks. In I. Rahwan and G. Simari, editors, Argumentation in AI, pages 105-129. Springer, 2009.","title":"Chapter 6 : Proof theories and algorithms for abstract argumentation frameworks","authors":"Caminada Modgil, Sanjay Modgil, Martin Caminada","year":"2009","venue":"Argumentation in AI","doi":null,"url":null,"internal_url":null},{"position":15,"raw":"[Modgil and Prakken, 2013] Sanjay Modgil and Henry Prakken. A general account of argumentation with preferences. Artificial Intelligence, 195:361-397, 2013.","title":"A general account of argumentation with preferences","authors":"Prakken Modgil, Sanjay Modgil, Henry Prakken","year":"2013","venue":"Artificial Intelligence","doi":null,"url":null,"internal_url":null},{"position":16,"raw":"[Prakken, 2005] Henry Prakken. Coherence and flexibility in dialogue games for argumentation. Journal of Logic and Computation, 15:1009-1040, 2005.","title":"Coherence and flexibility in dialogue games for argumentation","authors":"Henry Prakken, Prakken","year":"2005","venue":"Journal of Logic and Computation","doi":null,"url":null,"internal_url":null},{"position":17,"raw":"[Thang and Luong, 2014] Phan M. Thang and Huynh T. Luong. Translating preferred subtheories into struc- tured argumentation. Journal of Logic and Computation, 24(4):831-849, 2014.","title":"Translating preferred subtheories into structured argumentation","authors":"M Phan, Thang, T Huynh, Luong","year":"2014","venue":"Journal of Logic and Computation","doi":null,"url":null,"internal_url":null},{"position":18,"raw":"[Walton and Krabbe, 1995] Douglas N. Walton and Eric C. W. Krabbe. Commitment in Dialogue: Basic Concepts of Interpersonal Reasoning. State University of New York Press, NY, USA, 1995.","title":"Commitment in Dialogue: Basic Concepts of Interpersonal Reasoning","authors":"Douglas N Walton, Eric C W Krabbe","year":"1995","venue":null,"doi":null,"url":null,"internal_url":null}],"license_note":"Copyright International Joint Conferences on Artificial Intelligence."}