Issue No.06 - November/December (2007 vol.22)
Dorian Gaertner , Imperial College London
Francesca Toni , Imperial College London
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/MIS.2007.105
CaSAPI (Credulous and Skeptical Argumentation: Prolog Implementation) 3.0 determines the acceptability of claims, using the general-purpose framework of assumption-based argumentation, under the semantics of admissible extensions. This framework reduces the problem of computing arguments for and against claims to the problem of computing assumptions supporting these arguments. Unlike earlier computational models of assumption-based argumentation, CaSAPI 3.0 renders explicit the underlying dialectical structure of arguments and counterarguments. So, this system is beneficial for developing applications of argumentation requiring explicit justifications of claims in terms of full argument structures. This article is part of a special issue on argumentation technology.
argumentation, implemented systems, dialectical structure
Dorian Gaertner, Francesca Toni, "Computing Arguments and Attacks in Assumption-Based Argumentation", IEEE Intelligent Systems, vol.22, no. 6, pp. 24-33, November/December 2007, doi:10.1109/MIS.2007.105