A Dynamic Logic Framework for Abstract Argumentation: Adding and Removing Arguments

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.

[img]
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.

Item Type: Conference or Workshop Item (Paper)
Date: 2017
Uncontrolled Keywords: Logical representation - Propositional variable - Dynamic logic - Boolean formula - Argument system
Subjects: H- INFORMATIQUE
Divisions: Institut de Recherche en Informatique de Toulouse
Site: UT1
Date Deposited: 22 Feb 2019 15:14
Last Modified: 22 Feb 2019 15:14
URI: http://publications.ut-capitole.fr/id/eprint/28629

Actions (login required)

View Item View Item

Downloads

Downloads per month over past year