{"type":"ScholarlyArticle","title":"On the Computational Complexity of Naive-Based Semantics for Abstract Dialectical Frameworks","authors":[{"name":"Sarah Alice Gaggl","slug":"sarah-alice-gaggl","given":"Sarah Alice","family":"Gaggl","affiliation":""},{"name":"Sebastian Rudolph","slug":"sebastian-rudolph","given":"Sebastian","family":"Rudolph","affiliation":""},{"name":"Hannes Strass","slug":"hannes-strass","given":"Hannes","family":"Strass","affiliation":""}],"abstract":"Abstract dialectical frameworks (ADFs) are a powerful generalization of Dung’s abstract argumentation frameworks. ADFs allow to model argumentation scenarios such that ADF semantics then provide interpretations of the scenarios. Among the considerable number of ADF semantics, the naive-based ones are built upon the fundamental concept of conflict-freeness. Intuitively, a three-valued interpretation of an ADF’s statements is conflict-free iff all true statements can possibly be accepted, and all false statements cannot possibly be accepted. In this paper, we perform an exhaustive analysis of the computational complexity of naive-based semantics. The results are quite interesting, for some of them involve little-known classes of the so-called Boolean hierarchy (another hierarchy in between classes of the polynomial hierarchy). Furthermore in credulous and sceptical entailment, the complexity can be different depending on whether we check for truth or falsity of a specific statement.","doi":null,"url":"https://ijcai.org/proceedings/2015/422","pdf":"https://ijcai.org/proceedings/2015/0422.pdf","markdown":"https://ijcai.org/proceedings/2015/422.md","bibtex":"https://ijcai.org/proceedings/2015/bibtex/422","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":422,"pages":{"first":2985,"last":2990},"keywords":[],"videos":[],"references":[],"license_note":"Copyright International Joint Conferences on Artificial Intelligence."}