Abstract
Assumption-based argumentation can serve as an effective computational tool for argumentation-based epistemic and practical reasoning, as required in a number of applications. In this paper we substantiate this claim by presenting formal mappings from frameworks for epistemic and practical reasoning onto assumption-based argumentation frameworks. We also correlate these mappings to formulations of epistemic and practical reasoning in abstract argumentation terms.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Bench-Capon, T., Prakken, H.: Justifying actions by accruing arguments. In: COMMA 2006 (2006)
Bondarenko, A., Dung, P., Kowalski, R., Toni, F.: An abstract, argumentation-theoretic framework for default reasoning. Artificial Intelligence 93(1-2), 63–101 (1997)
Brewka, G.: Well-founded semantics for extended logic programs with dynamic preferences. Journal of Artificial Intelligence Research 4, 19 (1996)
Caminada, M., Amgoud, L.: An axiomatic account of formal argumentation. In: Proc. AAAI (2005)
Dimopoulos, Y., Nebel, B., Toni, F.: On the computational complexity of assumption-based argumentation for default reasoning. Artificial Intelligence 141, 57–78 (2002)
Dung, P.: The acceptability of arguments and its fundamental role in non-monotonic reasoning and logic programming and n-person game. Artificial Intelligence 77, 321–357 (1995)
Dung, P., Kowalski, R., Toni, F.: Dialectic proof procedures for assumption-based, admissible argumentation. Artificial Intelligence 170, 114–159 (2006)
Dung, P., Mancarella, P., Toni, F.: A dialectic procedure for sceptical, assumption-based argumentation. In: 1st International Conference on Computational Models of Argument (COMMA 2006) (September 2006)
Dung, P.M., Mancarella, P., Toni, F.: Computing ideal sceptical argumentation. Artificial Intelligence, Special Issue on Argumentation in Artificial Intelligence 171(10-15), 642–674 (2007)
Gaertner, D., Toni, F.: A credulous and sceptical argumentation system. In: Proceedings of ArgNMR (2007), www.doc.ic.ac.uk/~dg00/casapi.html
Gaertner, D., Toni, F.: On computing arguments and attacks in assumption-based argumentation. IEEE Intelligent Systems, Special Issue on Argumentation Technology 22(6), 24–33 (2007)
Garcia, A., Simari, G.: Defeasible logic programming: An argumentative approach. Journal of Theory and Practice of Logic Prog. 4(1-2), 95–138 (2004)
Governatori, G., Maher, M.J., Billington, D., Antoniou, G.: Argumentation semantics for defeasible logics. Journal of Logic and Computation 14(5), 675–702 (2004)
Kakas, A., Mancarella, P., Dung, P.: The acceptability semantics for logic programs. In: Hentenryck, P.V. (ed.) Proc. ICLP, pp. 504–519. MIT Press, Cambridge (1994)
Kakas, A., Moraitis, P.: Argumentation based decision making for autonomous agents. In: Proceedings of AAMAS 2003, pp. 883–890 (2003)
Kakas, A.C., Moraitis, P.: Argumentation based decision making for autonomous agents. In: AAMAS, pp. 883–890 (2003)
Kowalski, R.A., Toni, F.: Abstract argumentation. Journal of Artificial Intelligence and Law, Special Issue on Logical Models of Argumentation 4(3-4), 275–296 (1996)
Prakken, H., Sartor, G.: On the relation between legal language and legal argument: assumptions, applicability and dynamic priorities. In: Proc. of the 5th ICAIL, pp. 1–10. ACM Press, New York (1995)
Prakken, H., Sartor, G.: Argument-based extended logic programming with defeasible priorities. Journal of Applied Non-Classical Logics 7(1), 25–75 (1997)
Prakken, H., Sartor, G.: The role of logic in computational models of legal argument: a critical survey. In: Kakas, A.C., Sadri, F. (eds.) Computational Logic: Logic Programming and Beyond. LNCS (LNAI), vol. 2408, pp. 342–381. Springer, Heidelberg (2002)
Rahwan, I., Amgoud, L.: An argumentation-based approach for practical reasoning. In: Proc. AAMAS 2006, pp. 347–354. ACM Press, New York (2006)
Toni, F.: Assumption-based argumentation for closed and consistent defeasible reasoning. In: Nitta, K., Tojo, S., Satoh, K. (eds.) Proceedings First International Workshop on Juris-informatics (JURISIN 2007), in association with The 21th Annual Conference of The Japanese Society for Artificial Intelligence (JSAI 2007), 19 June (2007)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2008 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Toni, F. (2008). Assumption-Based Argumentation for Epistemic and Practical Reasoning. In: Casanovas, P., Sartor, G., Casellas, N., Rubino, R. (eds) Computable Models of the Law. Lecture Notes in Computer Science(), vol 4884. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-85569-9_12
Download citation
DOI: https://doi.org/10.1007/978-3-540-85569-9_12
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-85568-2
Online ISBN: 978-3-540-85569-9
eBook Packages: Computer ScienceComputer Science (R0)