{"type":"ScholarlyArticle","title":"Probabilistic bipolar abstract argumentation frameworks: complexity results","authors":[{"name":"Bettina Fazzinga","slug":"bettina-fazzinga","given":"Bettina","family":"Fazzinga","affiliation":"ICAR -CNR , Via P. Bucci , 87036 Rende (CS) - Italy"},{"name":"Sergio Flesca","slug":"sergio-flesca","given":"Sergio","family":"Flesca","affiliation":"DIMES -Università della Calabria , Via P. Bucci , 87036 Rende (CS) - Italy"},{"name":"Filippo Furfaro","slug":"filippo-furfaro","given":"Filippo","family":"Furfaro","affiliation":"DIMES -Università della Calabria , Via P. Bucci , 87036 Rende (CS) - Italy"}],"abstract":"Probabilistic Bipolar Abstract Argumentation Frameworks (prBAFs), combining the possibility of specifying supports between arguments with a probabilistic modeling of the uncertainty, are considered, and the complexity of the fundamentalproblem of computing extensions' probabilities is addressed.The most popular semantics of supports and extensions are considered, as well as different paradigms for defining the probabilistic encoding of the uncertainty.Interestingly, the presence of supports, which does not alter the complexity of verifying extensions in the deterministic case, is shown to introduce a new source of complexity in some probabilistic settings, for which tractable cases are also identified.","doi":"10.24963/ijcai.2018/249","url":"https://ijcai.org/proceedings/2018/249","pdf":"https://ijcai.org/proceedings/2018/0249.pdf","markdown":"https://ijcai.org/proceedings/2018/249.md","bibtex":"https://ijcai.org/proceedings/2018/bibtex/249","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":249,"pages":{"first":1803,"last":1809},"keywords":["Knowledge Representation and Reasoning: Computational Complexity of Reasoning","Knowledge Representation and Reasoning: Computational Models of Argument"],"videos":[],"references":[{"position":1,"raw":"[Amgoud and Vesic, 2011] Leila Amgoud and Srdjan Vesic. A new approach for preference-based argumentation frameworks. A. Math. Artif. Intell., 63(2):149-183, 2011.","title":"Leila Amgoud and Srdjan Vesic. A new approach for preference-based argumentation frameworks","authors":"Vesic Amgoud","year":"2011","venue":"A. Math. Artif. Intell","doi":null,"url":null,"internal_url":null},{"position":2,"raw":"[Baroni and Giacomin, 2009] Pietro Baroni and Massimil- iano Giacomin. Semantics of abstract argument systems. In Argum. in Artificial Intelligence, pages 25-44. 2009.","title":"Pietro Baroni and Massimiliano Giacomin","authors":"Giacomin Baroni","year":"2009","venue":"Argum. in Artificial Intelligence","doi":null,"url":null,"internal_url":null},{"position":3,"raw":"[Bench-Capon, 2003] Trevor J. M. Bench-Capon. Persua- sion in practical argument using value-based argumenta- tion frameworks. J. Log. Comput., 13(3):429-448, 2003.","title":"Persuasion in practical argument using value-based argumentation frameworks","authors":"J M Trevor, Bench-Capon","year":"2003","venue":"J. Log. Comput","doi":null,"url":null,"internal_url":null},{"position":4,"raw":"[Boella et al., 2010] Guido Boella, Dov M. Gabbay, Leen- dert W. N. van der Torre, and Serena Villata. Support in abstract argumentation. In Proc. of COMMA 2010, pages 111-122, 2010.","title":"Support in abstract argumentation","authors":"Guido Boella, Dov M Gabbay, W N Leendert, Serena Van Der Torre, Villata","year":"2010","venue":"Proc. of COMMA 2010","doi":null,"url":null,"internal_url":null},{"position":5,"raw":"[Brewka and Woltran, 2010] Gerhard Brewka and Stefan Woltran. Abstract dialectical frameworks. In Proc. of KR, pages 102-111, 2010.","title":"Abstract dialectical frameworks","authors":"Woltran Brewka, Gerhard Brewka, Stefan Woltran","year":"2010","venue":"Proc. of KR","doi":null,"url":null,"internal_url":null},{"position":6,"raw":"[Cayrol and Lagasquie-Schiex, 2005] Claudette Cayrol and Marie-Christine Lagasquie-Schiex. On the acceptability of arguments in bipolar argumentation frameworks. In Proc. of ECSQARU, pages 378-389, 2005.","title":"On the acceptability of arguments in bipolar argumentation frameworks","authors":"Lagasquie-Schiex ; Cayrol, Claudette Cayrol, Marie-Christine Lagasquie-Schiex","year":"2005","venue":"Proc. of ECSQARU","doi":null,"url":null,"internal_url":null},{"position":7,"raw":"[Cayrol and Lagasquie-Schiex, 2009] Claudette Cayrol and Marie-Cristine Lagasquie-Schiex. Bipolar abstract argu- mentation systems. In Argum. in Artif. Intell., pages 65- 84. 2009.","title":"Claudette Cayrol and Marie-Cristine Lagasquie-Schiex. Bipolar abstract argumentation systems","authors":"Lagasquie-Schiex Cayrol","year":"2009","venue":"Argum. in Artif. Intell","doi":null,"url":null,"internal_url":null},{"position":8,"raw":"[Cayrol and Lagasquie-Schiex, 2013] Claudette Cayrol and Marie-Christine Lagasquie-Schiex. Bipolarity in argu- mentation graphs: Towards a better understanding. Int. J. Approx. Reasoning, 54(7):876-899, 2013.","title":"Claudette Cayrol and Marie-Christine Lagasquie-Schiex. Bipolarity in argumentation graphs: Towards a better understanding","authors":"Lagasquie-Schiex Cayrol","year":"2013","venue":"Int. J. Approx. Reasoning","doi":null,"url":null,"internal_url":null},{"position":9,"raw":"[Cohen et al., 2012] Andrea Cohen, Alejandro Javier García, and Guillermo Ricardo Simari. Backing and undercutting in abstract argumentation frameworks. In Proc. of FoIKS, pages 107-123, 2012.","title":"Backing and undercutting in abstract argumentation frameworks","authors":"Andrea Cohen, Alejandro Javier García, Guillermo Ricardo Simari","year":"2012","venue":"Proc. of FoIKS","doi":null,"url":null,"internal_url":null},{"position":10,"raw":"[Cohen et al., 2014] Andrea Cohen, Sebastian Gottifredi, Alejandro Javier García, and Guillermo Ricardo Simari. A survey of different approaches to support in argumentation systems. Know. Eng. Review, 29(5):513-550, 2014.","title":"A survey of different approaches to support in argumentation systems","authors":"Andrea Cohen, Sebastian Gottifredi, Alejandro Javier García, Guillermo Ricardo Simari","year":"2014","venue":"Know. Eng. Review","doi":null,"url":null,"internal_url":null},{"position":11,"raw":"[Coste-Marquis et al., 2012] Sylvie Coste-Marquis, Sébastien Konieczny, Pierre Marquis, and Mohand Akli Ouali. Weighted attacks in argumentation frameworks. In Proc. of KR, pages 593-597, 2012.","title":"Weighted attacks in argumentation frameworks","authors":"Sylvie Coste-Marquis, Sébastien Konieczny, Pierre Marquis, Mohand Akli, Ouali","year":"2012","venue":"Proc. of KR","doi":null,"url":null,"internal_url":null},{"position":12,"raw":"[Doder and Woltran, 2014] Dragan Doder and Stefan Woltran. Probabilistic argumentation frameworks -A logical approach. In Proc. of SUM, pages 134-147, 2014.","title":"Probabilistic argumentation frameworks -A logical approach","authors":"Dragan Doder, Stefan Woltran","year":"2014","venue":"Proc. of SUM","doi":null,"url":null,"internal_url":null},{"position":13,"raw":"[Dondio, 2014] Pierpaolo Dondio. Toward a computational analysis of probabilistic argumentation frameworks. Cy- bernetics and Systems, 45(3):254-278, 2014.","title":"Toward a computational analysis of probabilistic argumentation frameworks","authors":"Pierpaolo Dondio","year":"2014","venue":"Cybernetics and Systems","doi":null,"url":null,"internal_url":null},{"position":14,"raw":"[Dung et al., 2007] Phan Minh Dung, Paolo Mancarella, and Francesca Toni. Computing ideal sceptical argumentation. Artif. Intell., 171(10-15):642-674, 2007.","title":"Computing ideal sceptical argumentation","authors":"Minh Phan, Paolo Dung, Francesca Mancarella, Toni","year":"2007","venue":"Artif. Intell","doi":null,"url":null,"internal_url":null},{"position":15,"raw":"[Dung, 1995] Phan Minh Dung. On the acceptability of ar- guments and its fundamental role in nonmonotonic reason- ing, logic programming and n-person games. Artif. Intell., 77(2):321-358, 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":"Artif. Intell","doi":null,"url":null,"internal_url":null},{"position":16,"raw":"[Dunne and Wooldridge, 2009] Paul E. Dunne and Michael Wooldridge. Complexity of abstract argumentation. In Argum. in Artificial Intelligence, pages 85-104. 2009.","title":"Complexity of abstract argumentation","authors":"Paul E Dunne, Michael Wooldridge","year":"2009","venue":"Argum. in Artificial Intelligence","doi":null,"url":null,"internal_url":null},{"position":17,"raw":"[Dunne et al., 2011] Paul E. Dunne, Anthony Hunter, Pe- ter McBurney, Simon Parsons, and Michael Wooldridge. Weighted argument systems: Basic definitions, algo- rithms, and complexity results. Artif. Intell., 175(2), 2011.","title":"Weighted argument systems: Basic definitions, algorithms, and complexity results","authors":"Paul E Dunne, Anthony Hunter, Peter Mcburney, Simon Parsons, Michael Wooldridge","year":"2011","venue":"Artif. Intell","doi":null,"url":null,"internal_url":null},{"position":18,"raw":"[Dunne, 2009] Paul E. Dunne. The computational complex- ity of ideal semantics. Artif. Intell., 173(18), 2009.","title":"The computational complexity of ideal semantics","authors":"Paul E Dunne","year":"2009","venue":"Artif. Intell","doi":null,"url":null,"internal_url":null},{"position":19,"raw":"[Fazzinga et al., 2013] Bettina Fazzinga, Sergio Flesca, and Francesco Parisi. On the complexity of probabilistic ab- stract argumentation. In Proc. of IJCAI, pages 898-904, 2013.","title":"On the complexity of probabilistic abstract argumentation","authors":"Bettina Fazzinga, Sergio Flesca, Francesco Parisi","year":"2013","venue":"Proc. of IJCAI","doi":null,"url":null,"internal_url":"/proceedings/2013/138"},{"position":20,"raw":"[Fazzinga et al., 2015] Bettina Fazzinga, Sergio Flesca, and Francesco Parisi. On the complexity of probabilistic ab- stract argumentation frameworks. ACM Trans. Comput. Log. (TOCL), 16(3):22, 2015.","title":"On the complexity of probabilistic abstract argumentation frameworks","authors":"Bettina Fazzinga, Sergio Flesca, Francesco Parisi","year":"2015","venue":"ACM Trans. Comput. Log. (TOCL)","doi":null,"url":null,"internal_url":null},{"position":21,"raw":"[Fazzinga et al., 2016] Bettina Fazzinga, Sergio Flesca, and Filippo Furfaro. Computing extensions' probabilities in probabilistic abstract argumentation: Beyond indepen- dence. In Proc. of ECAI, pages 1588-1589, 2016.","title":"Computing extensions' probabilities in probabilistic abstract argumentation: Beyond independence","authors":"Fazzinga","year":"2016","venue":"Proc. of ECAI","doi":null,"url":null,"internal_url":null},{"position":22,"raw":"[Hunter and Thimm, 2014a] Anthony Hunter and Matthias Thimm. Probabilistic argumentation with epistemic ex- tensions. In Proc. of DARe@ECAI, 2014.","title":"Probabilistic argumentation with epistemic extensions","authors":"Thimm ; Hunter, Anthony Hunter, Matthias Thimm","year":"2014","venue":"Proc. of DARe@ECAI","doi":null,"url":null,"internal_url":null},{"position":23,"raw":"[Hunter and Thimm, 2014b] Anthony Hunter and Matthias Thimm. Probabilistic argumentation with incomplete in- formation. In Proc. of ECAI, pages 1033-1034, 2014.","title":"Probabilistic argumentation with incomplete information","authors":"Thimm ; Hunter, Anthony Hunter, Matthias Thimm","year":"2014","venue":"Proc. of ECAI","doi":null,"url":null,"internal_url":null},{"position":24,"raw":"[Hunter, 2012] Anthony Hunter. Some foundations for prob- abilistic abstract argumentation. In Proc. of COMMA, pages 117-128, 2012.","title":"Some foundations for probabilistic abstract argumentation","authors":"Anthony Hunter","year":"2012","venue":"Proc. of COMMA","doi":null,"url":null,"internal_url":null},{"position":25,"raw":"[Hunter, 2013] Anthony Hunter. A probabilistic approach to modelling uncertain logical arguments. Int. J. Approx. Reasoning, 54(1):47-81, 2013.","title":"A probabilistic approach to modelling uncertain logical arguments","authors":"Anthony Hunter","year":"2013","venue":"Int. J. Approx. Reasoning","doi":null,"url":null,"internal_url":null},{"position":26,"raw":"[Hunter, 2014] Anthony Hunter. Probabilistic qualification of attack in abstract argumentation. Int. J. Approx. Rea- soning, 55(2):607-638, 2014.","title":"Probabilistic qualification of attack in abstract argumentation","authors":"Anthony Hunter","year":"2014","venue":"Int. J. Approx. Reasoning","doi":null,"url":null,"internal_url":null},{"position":27,"raw":"[Li et al., 2011] Hengfei Li, Nir Oren, and Timothy J. Nor- man. Probabilistic argumentation frameworks. In Proc.of TAFA, 2011.","title":"Probabilistic argumentation frameworks","authors":"Hengfei Li, Nir Oren, Timothy J","year":"2011","venue":"Proc.of TAFA","doi":null,"url":null,"internal_url":null},{"position":28,"raw":"[Martínez et al., 2006] Diego C. Martínez, Alejandro Javier García, and Guillermo Ricardo Simari. On acceptability in abstract argumentation frameworks with an extended de- feat relation. In Proc. of COMMA, pages 273-278, 2006.","title":"On acceptability in abstract argumentation frameworks with an extended defeat relation","authors":"Martínez","year":"2006","venue":"Proc. of COMMA","doi":null,"url":null,"internal_url":null},{"position":29,"raw":"[Modgil, 2009] Sanjay Modgil. Reasoning about prefer- ences in argumentation frameworks. Artif. Intell., 173(9- 10):901-934, 2009.","title":"Reasoning about preferences in argumentation frameworks","authors":"Sanjay Modgil","year":"2009","venue":"Artif. Intell","doi":null,"url":null,"internal_url":null},{"position":30,"raw":"[Nouioua and Risch, 2010] Farid Nouioua and Vincent Risch. Bipolar argumentation frameworks with spe- cialized supports. In Proc. of ICTAI, pages 215-218, 2010.","title":"Bipolar argumentation frameworks with specialized supports","authors":"Risch Nouioua, Farid Nouioua, Vincent Risch","year":"2010","venue":"Proc. of ICTAI","doi":null,"url":null,"internal_url":null},{"position":31,"raw":"[Oren and Norman, 2008] Nir Oren and Timothy J. Norman. Semantics for evidence-based argumentation. In Proc. of COMMA, pages 276-284, 2008.","title":"Semantics for evidence-based argumentation","authors":"Oren, Norman ; ] Nir Oren, Timothy J Norman","year":"2008","venue":"Proc. of COMMA","doi":null,"url":null,"internal_url":null},{"position":32,"raw":"[Polberg and Hunter, 2018] Sylwia Polberg and Antony Hunter. Empirical evaluation of abstract argumentation: Supporting the need for bipolar and probabilistic ap- proaches. Int. J. Approx. Reasoning, 93:487-543, 2018.","title":"Empirical evaluation of abstract argumentation: Supporting the need for bipolar and probabilistic approaches","authors":"Sylwia Polberg, Antony Hunter","year":"2018","venue":"Int. J. Approx. Reasoning","doi":null,"url":null,"internal_url":null},{"position":33,"raw":"[Proietti, 2017] Carlo Proietti. Polarization and bipolar prob- abilistic argumentation frameworks. In Proc. of Work. AI 3 , pages 22-27, 2017.","title":"Polarization and bipolar probabilistic argumentation frameworks","authors":"Carlo Proietti","year":"2017","venue":"Proc. of Work. AI","doi":null,"url":null,"internal_url":null},{"position":34,"raw":"[Rienstra, 2012] Tjitze Rienstra. Towards a probabilistic dung-style argumentation system. In Proc. of AT, pages 138-152, 2012.","title":"Towards a probabilistic dung-style argumentation system","authors":"Tjitze Rienstra, Rienstra","year":"2012","venue":"Proc. of AT","doi":null,"url":null,"internal_url":null},{"position":35,"raw":"[Thimm, 2012] Matthias Thimm. A probabilistic semantics for abstract argumentation. In Proc. of ECAI, pages 750- 755, 2012.","title":"A probabilistic semantics for abstract argumentation","authors":"Matthias Thimm","year":"2012","venue":"Proc. of ECAI","doi":null,"url":null,"internal_url":null},{"position":36,"raw":"[Verheij, 2009] Bart Verheij. The toulmin argument model in artificial intelligence. In Argum. in Artificial Intelligence, pages 219-238. 2009.","title":"The toulmin argument model in artificial intelligence","authors":"Bart Verheij, Verheij","year":"2009","venue":"Argum. in Artificial Intelligence","doi":null,"url":null,"internal_url":null}],"license_note":"Copyright International Joint Conferences on Artificial Intelligence."}