Abstract
In abstract argumentation arguments are just points in a network of attacks: they do not hold premisses, conclusions or internal structure. So is there a meaningful way in which two arguments, belonging possibly to different attack graphs, can be said to be equivalent? The paper argues for a positive answer and, interfacing methods from modal logic, the theory of argument games and the equational approach to argumentation, puts forth and explores a formal theory of equivalence for abstract argumentation.
[...] actual reasoning may be more like weaving a piece of cloth from many threads than forging a chain with links in linear mathematical proof style [...]
van Benthem [7, p. 83]
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Similar content being viewed by others
Notes
- 1.
- 2.
Cf. [24] for a recent overview of argument games.
- 3.
This property is known in modal logic as image-finiteness of the accessibility relation of a Kripke frame [9, Chap. 2].
- 4.
The reader is referred to [12] for a detailed presentation of this result.
- 5.
A proof of this statement in the general setting of complete partial orders can be found in [31, Corollary 3.7].
- 6.
- 7.
More generally, the claim is a direct consequence of the existence of a homomorphism from the term algebra \(\mathsf {Term} = \langle \fancyscript{L}, \wedge , \lnot , \bot , \lozenge \rangle \) of language \(\fancyscript{L}\) (without universal modality) to the complex algebra \(\mathsf {Set}_{\fancyscript{A}} = \langle 2^A, \cap , -, \emptyset , f \rangle \) where \(f: \wp (A) \longrightarrow \wp (A)\) such that [9, Chap. 5].
- 8.
See Blackburn et al. [9, Chap. 3.1].
- 9.
It is worth observing that this three-set partition corresponds to the labeling of arguments as “in” (i.e., belonging to the extension at issue), “out” (i.e, being attacked by the extension at issue), and “undecided” (i.e., neither of the above) of the labeling-based semantics of argumentation [2, 10].
- 10.
It is worth stressing that this is a refinement of the common understanding of ‘status of an argument’ in the literature on argumentation theory.
- 11.
See [9, Chap. 2].
- 12.
- 13.
The function is partial because only sequences compatible with the move function \(\mathtt{m}\) below need to be considered.
- 14.
These games are determined by the Gale-Stewart theorem since it can always be decided whether a dialogue is winning for \(\fancyscript{P}\), i.e., the winning positions for \(\fancyscript{P}\) are an open set (cf. [23, Chap. 6]).
- 15.
- 16.
References
Atkinson K, Bench-Capon T (2007) Argumentation and standards of proof. In: Proceedings of the 11th international conference on artificial intelligence and law (ICAIL’07), ACM, pp 107–116
Baroni P, Giacomin M (2009) Semantics of abstract argument systems. In: Rahwan I, Simari GR (eds) Argumentation in artifical intelligence, Springer, Dordrecht
Baroni P, Caminada M, Giacomin M (2011) An introduction to argumentation semantics. Knowl Eng Rev 26(4):365–410
van Benthem J (1983) Modal logic and classical logic. Monographs in philosophical logic and formal Linguistics, Bibliopolis, Berkeley
van Benthem J (2002) Extensive games as process models. J Logic Lang Inform 11:289–313
van Benthem J (2011) Logical dynamics of information and interaction. Cambridge University Press, Cambridge
van Benthem J (2012) The nets of reason. Argument Comput 3(2–3):83–86
van Benthem J (2014) Logic in games. MIT Press, Cambridge, MA
Blackburn P, de Rijke M, Venema Y (2001) Modal logic. Cambridge University Press, Cambridge
Caminada M (2006) On the issue of reinstatement in argumentation. In: Fischer M, van der Hoek W, Konev B, Lisitsa A (eds) Logics in artificial intelligence. Proceedings of JELIA 2006, pp 111–123
Caminada M, Gabbay D (2009) A logical account of formal argumentation. Studia Logica 93(2):109–145
Davey BA, Priestley HA (1990) Introduction to lattices and order. Cambridge University Press, Cambridge
Dung PM (1994) Logic programming as dialogue games. Technical report. Division of computer science, Asian Institute of Technology
Dung PM (1995) On the acceptability of arguments and its fundamental role in nonmonotonic reasoning, logic programming and n-person games. Artif Intell 77(2):321–358
Gabbay D (2011a) Introducing equational semantics for argumentation networks. In: Liu W (ed) Proceedings of ECSQARU 2011, no. 6717 in LNAI, pp 19–35
Gabbay D (2011b) Sampling logic and argumentation networks: a manifesto (vol 2). In: Gupta A, van Benthem J (eds) Logic and philosophy today, Studies in logic, vol 30, College Publications, pp 231–250
Gabbay D (2012) An equational approach to argumentation networks. Argument Comput 3 (2–3):87–142
Gabbay D (2013) Meta-Logical investigations in argumentation networks. College Publications, London
Gratie C, Florea AM, Meyer J (2012) Full hybrid mu-calculus, its bisimulation invariance and application to argumentation. Proc COMMA 2012:181–194
Grossi D (2009) Doing argumentation theory in modal logic. ILLC Prepublication Series PP-2009–24, Institute for Logic, Language and Computation
Grossi D (2010) On the logic of argumentation theory. In: van der Hoek W, Kaminka G, Lespérance Y, Sen S (eds) Proceedings of the 9th international conference on autonomous agents and multiagent systems (AAMAS 2010), IFAAMAS, pp 409–416
Grossi D (2011) Argumentation theory in the view of modal logic. In: McBurney P, Rahwan I (eds) Post-proceedings of the 7th international workshop on argumentation in Multi-Agent systems, no. 6614 in LNAI, pp 190–208
Kanamori A (1994) The Higher Infinite. Springer, Dordrecht
Modgil S, Caminada M (2009) Proof theories and algorithms for abstract argumentation frameworks. In: Rahwan I, Simari G (ed) Argumentation in AI, Springer, pp 105–132
Osborne MJ, Rubinstein A (1994) A course in game theory. MIT Press, Cambridge
Parikh R (2002) Social software. Synthese 132(3):187–211
Pollock JL (1987) Defeasible reasoning. Cogn Sci 11:481–518
Pollock JL (1991) A theory of defeasible reasoning. Int J Intell Syst 6(1):33–54
Prakken H (2009) Models of persuasion dialogue. In: Rahwan I, Simari G (eds) Argumentation in Artificial Intelligence, chap 14, Springer, Dordrecht
Toulmin S (1958) The uses of argument. Cambridge University Press, Cambridge
Venema Y (2008) Lectures on the modal \(\mu \)-calculus. Renmin University, Beijing
Acknowledgments
We would like to thank Johan van Benthem for the many useful suggestions that helped us shape this last version of the paper.
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2014 Springer International Publishing Switzerland
About this chapter
Cite this chapter
Gabbay, D., Grossi, D. (2014). When are Two Arguments the Same? Equivalence in Abstract Argumentation. In: Baltag, A., Smets, S. (eds) Johan van Benthem on Logic and Information Dynamics. Outstanding Contributions to Logic, vol 5. Springer, Cham. https://doi.org/10.1007/978-3-319-06025-5_25
Download citation
DOI: https://doi.org/10.1007/978-3-319-06025-5_25
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-06024-8
Online ISBN: 978-3-319-06025-5
eBook Packages: Humanities, Social Sciences and LawPhilosophy and Religion (R0)