Computing with Infinite Argumentation Frameworks: The Case of AFRAs
In recent years a large corpus of studies has arisen from Dung’s seminal abstract model of argumentation, including several extensions aimed at increasing its expressiveness. Most of these works focus on the case of finite argumentation frameworks, leaving the potential practical applications of infinite frameworks largely unexplored. In the context of a recently proposed extension of Dung’s framework called AFRA (Argumentation Framework with Recursive Attacks), this paper makes a first step to fill this gap. It is shown that, under some reasonable restrictions, infinite frameworks admit a compact finite specification and that, on this basis, computational problems which are tractable for finite frameworks may preserve the same property in the infinite case. In particular we provide a polynomial-time algorithm to compute the finite representation of the (possibly infinite) grounded extension of an AFRA with infinite attacks. An example concerning the representation of a moral dilemma is introduced to illustrate and instantiate the proposal and gives a preliminary idea of its potential applicability.
Unable to display preview. Download preview PDF.
- 1.Baroni, P., Cerutti, F., Giacomin, M., Guida, G.: An argumentation-based approach to modeling decision support contexts with what-if capabilities. In: AAAI Fall Symposium. Technical Report SS-09-06. pp. 2–7 (2009)Google Scholar
- 3.Baroni, P., Cerutti, F., Dunne, P.E., Giacomin, M.: Automata for infinite argumentation structures. Technical Report, Department of Computer Science, University of Liverpool, UK (2011)Google Scholar
- 7.Dunne, P.E.: Computability Theory – concepts and applications. Ellis–Horwood (1991)Google Scholar
- 8.Dunne, P.E., Modgil, S., Bench-Capon, T.: Computation in extended argumentation frameworks. In: Proceedings of 19th European Conference on Artificial Inteligence (ECAI 2010), Lisbon, pp. 119–124 (2010)Google Scholar
- 12.Hopcroft, J.E., Ullman, J.D.: Introduction to Automata Theory, Languages, and Computation. Addison-Wesley (1979)Google Scholar
- 14.Walton, D., Reed, C., Macagno, F.: Argumentation Schemes. Cambridge University Press, NY (2008)Google Scholar