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.

[thumbnail of doutre_18972.pdf]
Download (520kB) | Preview


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.

Item Type: Conference or Workshop Item (Paper)
Date: 2017
Uncontrolled Keywords: Logical representation - Propositional variable - Dynamic logic - Boolean formula - Argument system
Divisions: Institut de Recherche en Informatique de Toulouse
Site: UT1
Date Deposited: 22 Feb 2019 15:14
Last Modified: 02 Apr 2021 15:58
View Item


Downloads per month over past year