Control Argumentation Frameworks


  • Yannis Dimopoulos University of Cyprus
  • Jean-Guy Mailly Paris Descartes University
  • Pavlos Moraitis Paris Descartes University



Argumentation, Multiagent Systems


Dynamics of argumentation is the family of techniques concerned with the evolution of an argumentation framework (AF), for instance to guarantee that a given set of arguments is accepted. This work proposes Control Argumentation Frameworks (CAFs), a new approach that generalizes existing techniques, namely normal extension enforcement, by accommodating the possibility of uncertainty in dynamic scenarios. A CAF is able to deal with situations where the exact set of arguments is unknown and subject to evolution, and the existence (or direction) of some attacks is also unknown. It can be used by an agent to ensure that a set of arguments is part of one (or every) extension whatever the actual set of arguments and attacks. A QBF encoding of reasoning with CAFs provides a computational mechanism for determining whether and how this goal can be reached. We also provide some results concerning soundness and completeness of the proposed encoding as well as complexity issues.




How to Cite

Dimopoulos, Y., Mailly, J.-G., & Moraitis, P. (2018). Control Argumentation Frameworks. Proceedings of the AAAI Conference on Artificial Intelligence, 32(1).



AAAI Technical Track: Multiagent Systems