Optimal Status Enforcement in Abstract Argumentation
Abstract
We present complexity results and algorithms for optimal status enforcement in abstract argumentation. Status enforcement is the task of adjusting a given argumentation framework (AF) to support given positive and negative argument statuses, i.e., to accept and reject specific arguments. We study optimal status enforcement as the problem of finding a structurally closest AF supporting given argument statuses. We establish complexity results for optimal status enforcement under several central AF semantics, develop constraint-based algorithms for NP and second-level complete variants of the problem, and empirically evaluate the procedures. PDF
Cite
Text
Niskanen et al. "Optimal Status Enforcement in Abstract Argumentation." International Joint Conference on Artificial Intelligence, 2016.Markdown
[Niskanen et al. "Optimal Status Enforcement in Abstract Argumentation." International Joint Conference on Artificial Intelligence, 2016.](https://mlanthology.org/ijcai/2016/niskanen2016ijcai-optimal/)BibTeX
@inproceedings{niskanen2016ijcai-optimal,
title = {{Optimal Status Enforcement in Abstract Argumentation}},
author = {Niskanen, Andreas and Wallner, Johannes Peter and Järvisalo, Matti},
booktitle = {International Joint Conference on Artificial Intelligence},
year = {2016},
pages = {1216-1222},
url = {https://mlanthology.org/ijcai/2016/niskanen2016ijcai-optimal/}
}