{"type":"ScholarlyArticle","title":"AGM Meets Abstract Argumentation: Expansion and Revision for Dung Frameworks","authors":[{"name":"Ringo Baumann","slug":"ringo-baumann","given":"Ringo","family":"Baumann","affiliation":""},{"name":"Gerhard Brewka","slug":"gerhard-brewka","given":"Gerhard","family":"Brewka","affiliation":""}],"abstract":"In this paper we combine two of the most important areas of knowledge representation, namely belief revision and (abstract) argumentation. More precisely, we show how AGM-style expansion and revision operators can be defined for Dung's abstract argumentation frameworks (AFs). Our approach is based on a reformulation of the original AGM postulates for revision in terms of monotonic consequence relations for AFs. The latter are defined via a new family of logics, called Dung logics, which satisfy the important property that ordinary equivalence in these logics coincides with strong equivalence for the respective argumentation semantics. Based on these logics we define expansion as usual via intersection of models. We show the existence of such operators. This is far from trivial and requires to study realizability in the context of Dung logics. We then study revision operators. We show why standard approaches based on a distance measure on models do not work for AFs and present an operator satisfying all postulates for a specific Dung logic.","doi":null,"url":"https://ijcai.org/proceedings/2015/387","pdf":"https://ijcai.org/proceedings/2015/0387.pdf","markdown":"https://ijcai.org/proceedings/2015/387.md","bibtex":"https://ijcai.org/proceedings/2015/bibtex/387","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":387,"pages":{"first":2734,"last":2739},"keywords":[],"videos":[],"references":[],"license_note":"Copyright International Joint Conferences on Artificial Intelligence."}