Abstract
The act of persuasion, a key component in rhetoric argumentation, may be viewed as a dynamics modifier. We extend Dung’s frameworks with acts of persuasion among agents, and consider interactions among attack, persuasion and defence that have been largely unheeded so far. We characterise basic notions of admissibilities in this framework, and show a way of enriching them through, effectively, CTL (computation tree logic) encoding, which also permits importation of the theoretical results known to the logic into our argumentation frameworks. Our aim is to complement the growing interest in coordination of static and dynamic argumentation.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsNotes
- 1.
We assume the standard notion of occurrence.
- 2.
The liberty of allowing arguments into \(\mathcal {M}\) causes no confusion, let alone issues. If one is so inclined, he/she may choose to consider that components of \(\delta \) that appear in \(\mathcal {M}\) are semantic counterparts of those that appear in the syntax of CTL with one-to-one correspondence between them.
References
Alchourrón, C.E., Makinson, D.: On the logic of theory change: safe contraction. Stud. Log. 44, 405–422 (1985)
Amgoud, L., Parsons, S., Maudet, N.: Arguments, dialogue and negotiation. In: ECAI, pp. 338–342 (2000)
Arisaka, R., Satoh, K.: Voluntary manslaughter? A case study with meta-argumentation with supports. In: Kurahashi, S., Ohta, Y., Arai, S., Satoh, K., Bekki, D. (eds.) JSAI-isAI 2016. LNCS, vol. 10247, pp. 241–252. Springer, Cham (2017). https://doi.org/10.1007/978-3-319-61572-1_16
Arisaka, R., Satoh, K.: Coalition formability semantics with conflict-eliminable sets of arguments. In: AAMAS, pp. 1469–1471 (2017)
Augusto, J.C., Simari, G.R.: A temporal argumentative system. AI Commun. 12(4), 237–257 (1999)
Baroni, P., Cerutti, F., Giacomin, M., Guida, G.: AFRA: argumentation framework with recursive attacks. Int. J. Approx. Reason. 52, 19–37 (2011)
Barringer, H., Gabbay, D.M.: Modal and temporal argumentation networks. In: Manna, Z., Peled, D.A. (eds.) Time for Verification. LNCS, vol. 6200, pp. 1–25. Springer, Heidelberg (2010). https://doi.org/10.1007/978-3-642-13754-9_1
Barringer, H., Gabbay, D.M., Woods, J.: Temporal dynamics of argumentation networks. In: Mechanizing Mathematical Reasoning, pp. 59–98 (2005)
Baumann, R., Brewka, G.: AGM meets abstract argumentation: expansion and revision for dung frameworks. In: IJCAI, pp. 2734–2740 (2015)
Bench-Capon, T.J.M.: Persuasion in practial argument using value-based argumentation frameworks. J. Log. Comput. 13(3), 429–448 (2003)
Bench-Capon, T.J.M., Doutre, S., Dunne, P.E.: Audiences in argumentation frameworks. Artif. Intell. 171(1), 42–71 (2007)
Black, E., Hunter, A.: Reasons and options for updating an opponent model in persuasion dialogues. In: Black, E., Modgil, S., Oren, N. (eds.) TAFA 2015. LNCS, vol. 9524, pp. 21–39. Springer, Cham (2015). https://doi.org/10.1007/978-3-319-28460-6_2
Budán, M.C.D., Cobo, M.L., Martinez, D.C., Simari, G.R.: Bipolarity in temporal argumentation frameworks. Int. J. Approx. Reason. 84, 1–22 (2017)
Cayrol, C., Fandinno, J., Fariñas del Cerro, L., Lagasquie-Schiex, M.-C.: Argumentation frameworks with recursive attacks and evidence-based supports. In: Ferrarotti, F., Woltran, S. (eds.) FoIKS 2018. LNCS, vol. 10833, pp. 150–169. Springer, Cham (2018). https://doi.org/10.1007/978-3-319-90050-6_9
Cayrol, C., de Saint-Cyr, F.D., Lagasquie-Schiex, M.-C.: Change in abstract argumentation frameworks: adding an argument. J. Artif. Intell. Res. 38, 49–84 (2010)
Cayrol, C., Lagasquie-Schiex, M.-C.: Bipolarity in argumentation graphs: towards a better understanding. In: Benferhat, S., Grant, J. (eds.) SUM 2011. LNCS, vol. 6929, pp. 137–148. Springer, Heidelberg (2011). https://doi.org/10.1007/978-3-642-23963-2_12
Chomsky, N.: Hopes and Prospects. Haymarket Books, Chicago (2010)
Coste-Marquis, S., Konieczny, S., Mailly, J.-G., Marquis, P.: A translation-based approach for revision of argumentation frameworks. In: Fermé, E., Leite, J. (eds.) JELIA 2014. LNCS, vol. 8761, pp. 397–411. Springer, Cham (2014). https://doi.org/10.1007/978-3-319-11558-0_28
Coste-Marquis, S., Konieczny, S., Mailly, J.-G., Marquis, P.: On the revision of argumentation systems: minimal change of arguments statuses. In: KR (2014)
Doutre, S., Herzig, A., Perrussel, L.: A dynamic logic framework for abstract argumentation. In: KR (2014)
Doutre, S., Maffre, F., McBurney, P.: A dynamic logic framework for abstract argumentation: adding and removing arguments. In: Benferhat, S., Tabia, K., Ali, M. (eds.) IEA/AIE 2017. LNCS, vol. 10351, pp. 295–305. Springer, Cham (2017). https://doi.org/10.1007/978-3-319-60045-1_32
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)
Fan, X., Toni, F.: Assumption-based argumentation dialogues. In: IJCAI, pp. 198–203 (2011)
Gabbay, D.M.: Semantics for higher level attacks in extended argumentation frames part 1: overview. Stud. Log. 93(2–3), 357–381 (2009)
Hadjinikolis, C., Siantos, Y., Modgil, S., Black, E., McBurney, P.: Opponent modelling in persuasion dialogues. In: IJCAI, pp. 164–170 (2013)
Hansson, S.O., Fermé, E.L., Cantwell, J., Falappa, M.A.: Credibility limited revision. J. Symb. Log. 66(4), 1581–1596 (2001)
Hunter, A.: Modelling the persuadee in asymmetric argumentation dialogues for persuasion. In: IJCAI, pp. 3055–3061 (2015)
Katsuno, H., Mendelzon, A.O.: On the difference between updating a knowledge base and revising it. In: Belief Revision. Cambridge University Press (1992)
Mann, N., Hunter, A.: Argumentation using temporal knowledge. In: COMMA, pp. 204–215 (2008)
McBurney, P., van Eijk, R., Parsons, S., Amgoud, L.: A dialogue-game protocol for agent purchase negotiations. J. Auton. Agents Multi-Agent Syst. 7, 235–273 (2003)
Prakken, H.: Coherence and flexibility in dialogue games for argumentation. J. Log. Comput. 15(6), 1009–1040 (2005)
Prakken, H.: Formal systems for persuasion dialogue. Knowl. Eng. Rev. 21(2), 163–188 (2006)
Rienstra, T., Thimm, M., Oren, N.: Opponent models with uncertainty for strategic argumentation. In: IJCAI, pp. 332–338 (2013)
Rotstein, N., Moguillansky, M.O., García, A.J., Simari, G.R.: An abstract argumentation framework for handling dynamics. In: Proceedings of the Argument, Dialogue and Decision Workshop in NMR 2008, pp. 131–139 (2008)
Acknowledgements
We thank anonymous reviewers for helpful comments. There was one suggestion concerning terms: to say to “convince” instead of “actively persuade” or “convert”. We seriously contemplated the suggested modification, and only in the end chose to leave the text as it was.
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2018 Springer Nature Switzerland AG
About this paper
Cite this paper
Arisaka, R., Satoh, K. (2018). Abstract Argumentation / Persuasion / Dynamics. In: Miller, T., Oren, N., Sakurai, Y., Noda, I., Savarimuthu, B.T.R., Cao Son, T. (eds) PRIMA 2018: Principles and Practice of Multi-Agent Systems. PRIMA 2018. Lecture Notes in Computer Science(), vol 11224. Springer, Cham. https://doi.org/10.1007/978-3-030-03098-8_20
Download citation
DOI: https://doi.org/10.1007/978-3-030-03098-8_20
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-030-03097-1
Online ISBN: 978-3-030-03098-8
eBook Packages: Computer ScienceComputer Science (R0)