{"type":"ScholarlyArticle","title":"Dealing with Generic Contrariness in Structured Argumentation","authors":[{"name":"Pietro Baroni","slug":"pietro-baroni","given":"Pietro","family":"Baroni","affiliation":"University of Brescia Brescia , Italy"},{"name":"Massimiliano Giacomin","slug":"massimiliano-giacomin","given":"Massimiliano","family":"Giacomin","affiliation":""},{"name":"Beishui Liao","slug":"beishui-liao","given":"Beishui","family":"Liao","affiliation":"Zhejiang University -Univ. of Luxembourg Hangzhou , China -Luxembourg"}],"abstract":"The adoption of a generic contrariness notion in ASPIC+ substantially enhances its expressiveness with respect to other formalisms for structured argumentation. In particular, it opens the way to novel investigation directions, like the use of multivalued logics in the construction of arguments. This paper points out however that in the current version of ASPIC+ a serious technical difficulty related with generic contrariness is present. With the aim of preserving the same level of generality, the paper provides a solution based on a novel notion of closure of the contrariness relation at the level of sets of formulas and an abstract representation of conflicts between sets of arguments. The proposed solution is shown to satisfy the same rationality postulates as ASPIC+ and represents a starting point for further technical and conceptual developments in structured argumentation.","doi":null,"url":"https://ijcai.org/proceedings/2015/386","pdf":"https://ijcai.org/proceedings/2015/0386.pdf","markdown":"https://ijcai.org/proceedings/2015/386.md","bibtex":"https://ijcai.org/proceedings/2015/bibtex/386","volume":{"slug":"2015","title":"Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence","short_title":"IJCAI 2015","url":"https://ijcai.org/proceedings/2015/","year":2015,"location":"Buenos Aires, Argentina","dates":"25–31 July 2015","editors":"Qiang Yang and Michael Wooldridge","isbn":"978-1-57735-738-4","publisher":"International Joint Conferences on Artificial Intelligence","doi_prefix":""},"section":"Special Track on Knowledge Representation and Reasoning","track":"Special Track on Knowledge Representation and Reasoning","number":386,"pages":{"first":2727,"last":2732},"keywords":[],"videos":[],"references":[{"position":1,"raw":"[Amgoud et al., 2006] L. Amgoud, L. Bodenstaff, M. Cami- nada, P. McBurney, S. Parsons, H. Prakken, J. van Veenen, and G. Vreeswijk. Final review and report on formal argu- mentation system. Technical Report Deliverable D2.6, ASPIC project IST-FP6-002307, 2006.","title":"Final review and report on formal argumentation system","authors":"L Amgoud, L Bodenstaff, M Caminada, P Mcburney, S Parsons, H Prakken, J Van Veenen, G Vreeswijk","year":"2006","venue":null,"doi":null,"url":null,"internal_url":null},{"position":2,"raw":"[Baroni et al., 2011] P. Baroni, M. Caminada, and M. Giacomin. An introduction to argumentation semantics. Knowledge En- gineering Review, 26(4):365-410, 2011.","title":"An introduction to argumentation semantics","authors":"P Baroni, M Caminada, M Giacomin","year":"2011","venue":"Knowledge Engineering Review","doi":null,"url":null,"internal_url":null},{"position":3,"raw":"[Baroni et al., 2015] P. Baroni, M. Giacomin, and B. Liao. I don't care, I don't know ... I know too much! On incom- pleteness and undecidedness in abstract argumentation. In Advances in Knowledge Representation, Logic Programming, and Abstract Argumentation -Essays Dedicated to Gerhard Brewka on the Occasion of His 60th Birthday, volume 9060 of LNCS, pages 265-280. Springer, 2015.","title":"I don't care, I don't know ... I know too much! On incompleteness and undecidedness in abstract argumentation","authors":"P Baroni, M Giacomin, B Liao","year":"2015","venue":"Advances in Knowledge Representation, Logic Programming, and Abstract Argumentation -Essays Dedicated to Gerhard Brewka on the Occasion of His 60th Birthday","doi":null,"url":null,"internal_url":null},{"position":4,"raw":"[Belnap, 1977] N. D. Belnap. How a computer should think. In G. Ryle, editor, Contemporary aspects of philosophy, pages 30-56. Oriel Press, 1977.","title":"How a computer should think","authors":"N D Belnap","year":"1977","venue":"Contemporary aspects of philosophy","doi":null,"url":null,"internal_url":null},{"position":5,"raw":"[Bochman, 2003] A. Bochman. Collective argumentation and disjunctive logic programming. J. of Logic and Computation, 13(3):405-428, 2003.","title":"Collective argumentation and disjunctive logic programming","authors":"A Bochman","year":"2003","venue":"J. of Logic and Computation","doi":null,"url":null,"internal_url":null},{"position":6,"raw":"[Caminada and Amgoud, 2007] M. Caminada and L. Amgoud. On the evaluation of argumentation formalisms. Artif. Intell., 171:286 -310, 2007.","title":"On the evaluation of argumentation formalisms","authors":"M Caminada, L Amgoud","year":"2007","venue":"Artif. Intell","doi":null,"url":null,"internal_url":null},{"position":7,"raw":"[Dung, 1995] P. M. Dung. On the acceptability of arguments and its fundamental role in nonmonotonic reasoning, logic pro- gramming, and n-person games. Artif. Intell., 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":"P M Dung","year":"1995","venue":"Artif. Intell","doi":null,"url":null,"internal_url":null},{"position":8,"raw":"[Dung, 2014] P. M. Dung. An axiomatic analysis of structured argumentation for prioritized default reasoning. In Proc. of the 21st European Conf. on Artificial Intelligence (ECAI 2014), pages 267-272, 2014.","title":"An axiomatic analysis of structured argumentation for prioritized default reasoning","authors":"P M Dung","year":"2014","venue":"Proc. of the 21st European Conf. on Artificial Intelligence (ECAI 2014)","doi":null,"url":null,"internal_url":null},{"position":9,"raw":"[Gabbay, 2009] D. M. Gabbay. Fibring argumentation frames. Studia Logica, 93(2-3):231-295, 2009.","title":"Fibring argumentation frames","authors":"D M Gabbay","year":"2009","venue":"Studia Logica","doi":null,"url":null,"internal_url":null},{"position":10,"raw":"[Modgil and Prakken, 2013] S. Modgil and H. Prakken. A gen- eral account of argumentation with preferences. Artif. Intell., 195:361 -397, 2013.","title":"A general account of argumentation with preferences","authors":"S Modgil, H Prakken","year":"2013","venue":"Artif. Intell","doi":null,"url":null,"internal_url":null},{"position":11,"raw":"[Nielsen and Parsons, 2006] S. H. Nielsen and S. Parsons. A generalization of Dung's abstract framework for argumenta- tion: Arguing with sets of attacking arguments. In Third Int. Workshop on Argumentation in Multi-Agent Systems (ArgMAS 2006), Revised Selected and Invited Papers, volume 4766 of LNCS, pages 54-73. Springer, 2006.","title":"A generalization of Dung's abstract framework for argumentation: Arguing with sets of attacking arguments","authors":"S H Nielsen, S Parsons","year":"2006","venue":"Third Int. Workshop on Argumentation in Multi-Agent Systems (ArgMAS 2006), Revised Selected and Invited Papers","doi":null,"url":null,"internal_url":null},{"position":12,"raw":"[Oren and Norman, 2008] N. Oren and T. J. Norman. Semantics for evidence-based argumentation. In Proc. of the 2nd Int. Conf. on Computational Models of Argument (COMMA 2008), pages 276-284, 2008.","title":"Semantics for evidence-based argumentation","authors":"N Oren, T J Norman","year":"2008","venue":"Proc. of the 2nd Int. Conf. on Computational Models of Argument (COMMA 2008)","doi":null,"url":null,"internal_url":null},{"position":13,"raw":"[Prakken, 2010] H. Prakken. An abstract framework for argu- mentation with structured arguments. Argument & Computa- tion, 1(2):93-124, 2010.","title":"An abstract framework for argumentation with structured arguments","authors":"H Prakken","year":"2010","venue":"Argument & Computation","doi":null,"url":null,"internal_url":null},{"position":14,"raw":"[Vreeswijk, 1997] G. Vreeswijk. Abstract argumentation sys- tems. Artif. Intell., 90(1-2):225-279, 1997.","title":"Abstract argumentation systems","authors":"G Vreeswijk","year":"1997","venue":"Artif. Intell","doi":null,"url":null,"internal_url":null}],"license_note":"Copyright International Joint Conferences on Artificial Intelligence."}