Doutre, Sylvie, Maffre, Faustine and McBurney, Peter (2017) A Dynamic Logic Framework for Abstract Argumentation: Adding and Removing Arguments. In: The 30th International Conference on Industrial, Engineering, Other Applications of Applied Intelligent Systems (IEA/AIE 2017), 27 June 2017 - 30 June 2017, Arras, France.

Preview

Text Download (520kB) | Preview

Abstract

A dynamic framework, based on the Dynamic Logic of Propositional Assignments (DL-PA), has recently been proposed for Dung's abstract argument system. This framework allows the addition and the removal of attacks, and the modification of the acceptance status of arguments. We here extend this framework in order to capture the addition and the removal of arguments. We then apply the framework on an access control case, where an agent engages in an argued dialogue to access some information controlled by another agent.