Abstract
A dynamic framework, based on the Dynamic Logic of Propositional Assignments (\(\mathsf {DL\text {-}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.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Notes
- 1.
An equivalent way to express these formulas would be to use the set of enabled arguments. For example, to describe the stable extensions, we would write: \(\mathsf {Stable}_{\mathcal {A}, \mathcal {A}^{En}} = \bigwedge _{a \in \mathcal {A}^{En}} \big ( \mathsf {In}_{a} \leftrightarrow \lnot \bigvee _{b \in \mathcal {A}^{En}} ( \mathsf {In}_{b} \wedge \mathsf {Att}_{b,a} ) \big ) \wedge \bigwedge _{a \notin \mathcal {A}^{En}} \lnot \mathsf {In}_{a}\). This highlights the fact that when all arguments are enabled, i.e., when \(\mathcal {A}^{En}= \mathcal {A}\), we indeed retrieve formulas presented in [6].
References
Balbiani, P., Herzig, A., Troquard, N.: Dynamic logic of propositional assignments: a well-behaved variant of PDL. In: Logic in Computer Science (LICS). IEEE (2013)
Baroni, P., Giacomin, M.: Semantics of abstract argument systems. In: Simari, G., Rahwan, I. (eds.) Argumentation in Artificial Intelligence, pp. 25–44. Springer, US (2009)
Besnard, P., Doutre, S.: Checking the acceptability of a set of arguments. In: 10th International Workshop on Non-Monotonic Reasoning (NMR 2004), pp. 59–64 (2004)
Bratu, M., Andreoli, J.-M., Boissier, O., Castellani, S.: A software infrastructure for negotiation within inter-organisational alliances. In: Padget, J., Shehory, O., Parkes, D., Sadeh, N., Walsh, W.E. (eds.) AMEC 2002. LNCS, vol. 2531, pp. 161–179. Springer, Heidelberg (2002). doi:10.1007/3-540-36378-5_10
Coste-Marquis, S., Konieczny, S., Mailly, J.G., Marquis, P.: On the revision of argumentation systems: minimal change of arguments statuses. KR 14, 52–61 (2014)
Doutre, S., Herzig, A., Perrussel, L.: A dynamic logic framework for abstract argumentation. In: KR 2014, pp. 62–71. AAAI Press (2014)
Dung, P.M.: On the acceptability of arguments and its fundamental role in nonmonotonic reasoning, logic programming and n-person games. Artif. Intell. 77(2), 321–357 (1995)
Gaudou, B., Herzig, A., Lorini, E., Sibertin-Blanc, C.: How to do social simulation in logic: modelling the segregation game in a dynamic logic of assignments. In: Villatoro, D., Sabater-Mir, J., Sichman, J.S. (eds.) MABS 2011. LNCS, vol. 7124, pp. 59–73. Springer, Heidelberg (2012). doi:10.1007/978-3-642-28400-7_5
Harel, D.: Dynamic logic. In: Gabbay, D.M., Günthner, F. (eds.) Handbook of Philosophical Logic, vol. II, pp. 497–604. D. Reidel, Dordrecht (1984)
Herzig, A., Lorini, E., Moisan, F., Troquard, N.: A dynamic logic of normative systems. In: IJCAI 2011, pp. 228–233 (2011). www.irit.fr/~Andreas.Herzig/P/Ijcai11.html
Kamp, H., Reyle, U.: From Discourse to Logic: Introduction to Modeltheoretic Semantics of Natural Language, Formal Logic and Discourse Representation Theory, Studies in Linguistics and Philosophy, vol. 42. Kluwer Academic, Dordrecht, The Netherlands (1993)
Maffre, F.: Ignorance is bliss: observability-based dynamic epistemic logics and their applications. Ph.D. thesis, University of Toulouse (2016)
McBurney, P., Parsons, S.: Posit spaces: a performative theory of e-commerce. In: AAMAS 2003, pp. 624–631. ACM Press (2003)
Perrussel, L., Doutre, S., Thévenin, J.-M., McBurney, P.: A persuasion dialog for gaining access to information. In: Rahwan, I., Parsons, S., Reed, C. (eds.) ArgMAS 2007. LNCS, vol. 4946, pp. 63–79. Springer, Heidelberg (2008). doi:10.1007/978-3-540-78915-4_5
de Saint-Cyr, F.D., Bisquert, P., Cayrol, C., Lagasquie-Schiex, M.C.: Argumentation update in YALLA (yet another logic language for argumentation). Int. J. Approximate Reasoning 75, 57–92 (2016)
Acknowledgements
This work benefited from the support of the AMANDE project (ANR-13-BS02-0004) of the French National Research Agency (ANR).
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2017 Springer International Publishing AG
About this paper
Cite this paper
Doutre, S., Maffre, F., McBurney, P. (2017). A Dynamic Logic Framework for Abstract Argumentation: Adding and Removing Arguments. In: Benferhat, S., Tabia, K., Ali, M. (eds) Advances in Artificial Intelligence: From Theory to Practice. IEA/AIE 2017. Lecture Notes in Computer Science(), vol 10351. Springer, Cham. https://doi.org/10.1007/978-3-319-60045-1_32
Download citation
DOI: https://doi.org/10.1007/978-3-319-60045-1_32
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-60044-4
Online ISBN: 978-3-319-60045-1
eBook Packages: Computer ScienceComputer Science (R0)