CF2-extensions as answer-set models
Visualitza/Obre
10.3233/978-1-60750-619-5-391
Inclou dades d'ús des de 2022
Cita com:
hdl:2117/14338
Tipus de documentText en actes de congrés
Data publicació2010
EditorIOS Press
Condicions d'accésAccés obert
Tots els drets reservats. Aquesta obra està protegida pels drets de propietat intel·lectual i
industrial corresponents. Sense perjudici de les exempcions legals existents, queda prohibida la seva
reproducció, distribució, comunicació pública o transformació sense l'autorització del titular dels drets
Abstract
Extension-based argumentation semantics have shown to be a suitable approach for performing practical reasoning. Since extension-based argumentation semantics were formalized in terms of relationships between atomic arguments, it has been shown that extension-based argumentation semantics based on admissible sets such as stable semantics can be characterized in terms of answer sets. In this paper, we present an approach for characterizing SCC-recursive semantics in terms of answer set models. In particular, we will show a characterization of CF2 in terms of answer set models. This result suggests that not only extension-based
argumentation semantics based on admissible sets can be characterized in terms of answer sets; but also extension-based argumentation semantics based on Strongly Connected Components can be characterized in terms of answer sets.
CitacióOsorio, M.; Nieves, J. C.; Ignasi Gómez-Sebastià. CF2-extensions as answer-set models. A: International Conference on Computational Models of Argument. "Proceedings of the COMMA2010 Conference". Desenzano del Garda: IOS Press, 2010, p. 391-402.
ISBN978-1-60750-618-8
Versió de l'editorhttp://www.booksonline.iospress.nl/Content/View.aspx?piid=18276
Fitxers | Descripció | Mida | Format | Visualitza |
---|---|---|---|---|
COMMA2010.pdf | 561,6Kb | Visualitza/Obre |