LIPIcs.ICLP.2010.265.pdf
- Filesize: 108 kB
- 5 pages
Document
Towards a General Argumentation System based on Answer-Set Programming
Author
-
Part of:
Volume:
Technical Communications of the 26th International Conference on Logic Programming
Series: Leibniz International Proceedings in Informatics (LIPIcs)
Conference: International Conference on Logic Programming (ICLP) - License:
Creative Commons Attribution-NonCommercial-NoDerivs 3.0 Unported license
- Publication date: 2010-06-25
Cite AsGet BibTex
Sarah Alice Gaggl. Towards a General Argumentation System based on Answer-Set Programming. In Technical Communications of the 26th International Conference on Logic Programming. Leibniz International Proceedings in Informatics (LIPIcs), Volume 7, pp. 265-269, Schloss Dagstuhl - Leibniz-Zentrum für Informatik (2010)
https://doi.org/10.4230/LIPIcs.ICLP.2010.265
https://doi.org/10.4230/LIPIcs.ICLP.2010.265
Abstract
Within the last years, especially since the work proposed by Dung in 1995, argumentation has emerged as a central issue in Artificial Intelligence. With the so called argumentation frameworks (AFs) it is possible to represent statements (arguments) together with a binary attack relation between them.
The conflicts between the statements are solved on a semantical level by selecting acceptable sets of arguments. An increasing amount of data requires an automated computation of such solutions.
Logic Programming in particular Answer-Set Programming (ASP) turned out to be adequate to solve problems associated to such AFs.
In this work we use ASP to design a sophisticated system for the evaluation of several types of argumentation frameworks.
Keywords
- Argumentation
- Implementation
- Answer-Set Programming
Metrics
- Access Statistics
-
Total Accesses (updated on a weekly basis)
0PDF Downloads