{"type":"ScholarlyArticle","title":"Extension Enforcement in Abstract Argumentation as an Optimization Problem","authors":[{"name":"Sylvie Coste-Marquis","slug":"sylvie-coste-marquis","given":"Sylvie","family":"Coste-Marquis","affiliation":""},{"name":"Sébastien Konieczny","slug":"sebastien-konieczny","given":"Sébastien","family":"Konieczny","affiliation":""},{"name":"Jean-Guy Mailly","slug":"jean-guy-mailly","given":"Jean-Guy","family":"Mailly","affiliation":""},{"name":"Pierre Marquis","slug":"pierre-marquis","given":"Pierre","family":"Marquis","affiliation":""}],"abstract":"Change in abstract argumentation frameworks (AFs) is a very active topic. Especially, the problem of enforcing a set E of arguments, i.e., ensuring that E is an extension (or a subset of an extension) of a given AF F, has received a particular attention in the recent years. In this paper, we define a new family of enforcement operators, for which enforcement can be achieved by adding new arguments (and attacks) to F (as in previous approaches to enforcement), but also by questioning some attacks (and non-attacks) of F. This family includes previous enforcement operators, but also new ones for which the success of the enforcement operation is guaranteed. We show how the enforcement problem for the operators of the family can be modeled as a pseudo-Boolean optimization problem. Intensive experiments show that the method is practical and that it scales up well.","doi":null,"url":"https://ijcai.org/proceedings/2015/407","pdf":"https://ijcai.org/proceedings/2015/0407.pdf","markdown":"https://ijcai.org/proceedings/2015/407.md","bibtex":"https://ijcai.org/proceedings/2015/bibtex/407","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":407,"pages":{"first":2876,"last":2881},"keywords":[],"videos":[],"references":[],"license_note":"Copyright International Joint Conferences on Artificial Intelligence."}