Abstract
Argumentation has the unique advantage of giving explanations to reasoning processes and results. Recent work studied how to give explanations for arguments that are acceptable, in terms of arguments defending it. This paper studies the counterpart of this problem by formalising explanations for arguments that are not acceptable. We give two different views (an argument-view and an attack-view) in explaining the non-acceptability of an argument and show the computation of explanations with debate trees.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Notes
- 1.
Here and after, \(\_\) denotes an anonymous variable as in Prolog.
References
Arioua, A., Tamani, N., Croitoru, M., Buche, P.: Query failure explanation in inconsistent knowledge bases using argumentation. In: Proceedings of the COMMA, pp. 101–108 (2014)
Baumann, R.: What does it take to enforce an argument? minimal change in abstract argumentation. In: Proceedings of the ECAI, pp. 127–132 (2012)
Baumann, R., Brewka, G.: Expanding argumentation frameworks: Enforcing and monotonicity results. In: Computational Models of Argument: Proceedings of COMMA 2010, Desenzano del Garda, Italy, 8–10 September 2010, pp. 75–86 (2010)
Bisquert, P., Cayrol, C., de Saint-Cyr, F.D., Lagasquie-Scheix, M.-C.: Change in Argumentation Systems: Exploring the Interest of Removing an Argument. In: Benferhat, S., Grant, J. (eds.) SUM 2011. LNCS, vol. 6929, pp. 275–288. Springer, Heidelberg (2011)
Booth, R., Gabbay, D.M., Kaci, S., Rienstra, T., Torre, L.V.D.: Abduction and dialogical proof in argumentation and logic programming. In: Proceedings of the ECAI, pp. 117–122 (2014)
Cayrol, C., Saint-Cyr, F.D., Lagasquie-Schiex, M.: Change in abstract argumentation frameworks: Adding an argument. JAIR 38, 49–84 (2010)
Cerutti, F., Tintarev, N., Oren, N.: Formal arguments, preferences, and natural language interfaces to humans: an empirical evaluation. In: ECAI 2014–21st European Conference on Artificial Intelligence, 18–22 August 2014, Prague, Czech Republic - Including Prestigious Applications of Intelligent Systems (PAIS 2014), pp. 207–212 (2014)
Chesñevar, C.I., Simari, G.R., Godo, L.: Computing dialectical trees efficiently in possibilistic defeasible logic programming. In: Baral, C., Greco, G., Leone, N., Terracina, G. (eds.) LPNMR 2005. LNCS (LNAI), vol. 3662, pp. 158–171. Springer, Heidelberg (2005)
Dung, P.M.: On the acceptability of arguments and its fundamental role in non-monotonic reasoning, logic programming and n-person games. AIJ 77(2), 321–357 (1995)
Dung, P.M., Kowalski, R.A., Toni, F.: Dialectic proof procedures for assumption-based, admissible argumentation. AIJ 170, 114–159 (2006)
Dung, P.M., Kowalski, R.A., Toni, F.: Assumption-based argumentation. In: Simari, G., Rahwan, I. (eds.) Argumentation in Artificial Intelligence, pp. 199–218. Springer, Heidelberg (2009)
Dung, P.M., Mancarella, P., Toni, F.: Computing ideal sceptical argumentation. AIJ 171(10–15), 642–674 (2007)
Fan, X., Toni, F.: Decision Making with Assumption-Based Argumentation. In: Black, E., Modgil, S., Oren, N. (eds.) TAFA 2013. LNCS, vol. 8306, pp. 127–142. Springer, Heidelberg (2014)
Fan, X., Toni, F.: On computing explanation in abstract argumentation. In: Proceedings of the ECAI (2014)
Fan, X., Toni, F.: On computing explanations in argumentation. In: Proceedings of the AAAI (2015)
Kontarinis, D., Bonzon, E., Maudet, N., Perotti, A., van der Torre, L., Villata, S.: Rewriting Rules for the Computation of Goal-Oriented Changes in an Argumentation System. In: Leite, J., Son, T.C., Torroni, P., van der Torre, L., Woltran, S. (eds.) CLIMA XIV 2013. LNCS, vol. 8143, pp. 51–68. Springer, Heidelberg (2013)
Modgil, S., Prakken, H.: The ASPIC\({}^{\text{+ }}\) framework for structured argumentation: a tutorial. Argum. Comput. 5(1), 31–62 (2014)
Modgil, S., et al.: The added value of argumentation. In: Ossowski, S. (ed.) Agreement Technologies, vol. 8, pp. 357–403. Springer, Heidelberg (2013)
Prakken, H.: Formal systems for persuasion dialogue. Knowl. Eng. Rev. 21(2), 163–188 (2006)
Rahwan, I., Simari, G.R.: Argumentation in Artificial Intelligence. Springer, Heidelberg (2009)
Rahwan, I., Madakkatel, M.I., Bonnefon, J.-F., Awan, R.N., Abdallah, S.: Behavioral experiments for assessing the abstract argumentation semantics of reinstatement. Cogn. Sci. 34(8), 1483–1502 (2010)
Rotstein, N.D., Moguillansky, M.O., Falappa, M.A., GarcÃa, A.J., Simari, G.R.: Argument theory change: Revision upon warrant. In: Computational Models of Argument: Proceedings of COMMA 2008, Toulouse, France, 28–30 May 2008, pp. 336–347 (2008)
Sakama, C.: Abduction in argumentation frameworks and its use in debate games. In: Nakano, Y., Satoh, K., Bekki, D. (eds.) JSAI-isAI 2013. LNCS, vol. 8417, pp. 285–303. Springer, Heidelberg (2014)
Tintarev, N., Masthoff, J.: Evaluating the effectiveness of explanations for recommender systems - methodological issues and empirical studies on the impact of personalization. User Model. User-Adapt. Interact. 22(4–5), 399–439 (2012)
Toni, F.: A tutorial on assumption-based argumentation. Argument & Computation, Special Issue: Tutorials on Structured Argumentation 5(1), 89–117 (2014)
Walton, D., Krabbe, E.: Commitment in Dialogue: Basic concept of interpersonal reasoning. State University of New York Press, Albany (1995)
Acknowledgements
This research was supported by the EPSRC TRaDAr project Transparent Rational Decisions by Argumentation: EP/J020915/1.
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2015 Springer International Publishing Switzerland
About this paper
Cite this paper
Fan, X., Toni, F. (2015). On Explanations for Non-Acceptable Arguments. In: Black, E., Modgil, S., Oren, N. (eds) Theory and Applications of Formal Argumentation. TAFA 2015. Lecture Notes in Computer Science(), vol 9524. Springer, Cham. https://doi.org/10.1007/978-3-319-28460-6_7
Download citation
DOI: https://doi.org/10.1007/978-3-319-28460-6_7
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-28459-0
Online ISBN: 978-3-319-28460-6
eBook Packages: Computer ScienceComputer Science (R0)