TY - CHAP
T1 - A dynamic logic framework for abstract argumentation
T2 - 30th International Conference on Industrial, Engineering, and Other Applications of Applied Intelligent Systems, IEA/AIE 2017
AU - Doutre, Sylvie
AU - Maffre, Faustine
AU - McBurney, Peter
PY - 2017/6/3
Y1 - 2017/6/3
N2 - 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.
AB - 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.
UR - http://www.scopus.com/inward/record.url?scp=85026302665&partnerID=8YFLogxK
U2 - 10.1007/978-3-319-60045-1_32
DO - 10.1007/978-3-319-60045-1_32
M3 - Other chapter contribution
AN - SCOPUS:85026302665
SN - 9783319600444
VL - 10351 LNCS
T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
SP - 295
EP - 305
BT - Advances in Artificial Intelligence: From Theory to Practice
PB - Springer Verlag
Y2 - 27 June 2017 through 30 June 2017
ER -