A dynamic logic framework for abstract argumentation: Adding and removing arguments

Sylvie Doutre*, Faustine Maffre, Peter McBurney

*Corresponding author for this work

Research output: Chapter in Book/Report/Conference proceedingOther chapter contributionpeer-review

11 Citations (Scopus)

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.

Original languageEnglish
Title of host publicationAdvances in Artificial Intelligence: From Theory to Practice
Subtitle of host publication30th International Conference on Industrial Engineering and Other Applications of Applied Intelligent Systems
PublisherSpringer Verlag
Pages295-305
Number of pages11
Volume10351 LNCS
ISBN (Electronic)9783319600451
ISBN (Print)9783319600444
DOIs
Publication statusE-pub ahead of print - 3 Jun 2017
Event30th International Conference on Industrial, Engineering, and Other Applications of Applied Intelligent Systems, IEA/AIE 2017 - Arras, France
Duration: 27 Jun 201730 Jun 2017

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume10351 LNCS
ISSN (Print)03029743
ISSN (Electronic)16113349

Conference

Conference30th International Conference on Industrial, Engineering, and Other Applications of Applied Intelligent Systems, IEA/AIE 2017
Country/TerritoryFrance
CityArras
Period27/06/201730/06/2017

Fingerprint

Dive into the research topics of 'A dynamic logic framework for abstract argumentation: Adding and removing arguments'. Together they form a unique fingerprint.

Cite this