A general schema for generating argumentation semantics from logic programming semantics
Visualitza/Obre
Estadístiques de LA Referencia / Recolecta
Inclou dades d'ús des de 2022
Cita com:
hdl:2117/87623
Tipus de documentReport de recerca
Data publicació2008-11
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
In this paper, by considering the idea that argumentation semantics can be viewed as a special form of logic programming semantics with negation as failure, we show that any logic programming semantics as the stable model semantics, the minimal models, etc., can define candidate argumentation semantics. These new argumentation semantics will overcome some of the problems of the Dung's argumentation semantics that have been discussed in the literature. The new argumentation semantics are based on a new recursive framework for logic programming semantics. This framework generalizes any logic programming semantics in order to build logic programming semantics which are always defined, satisfy the property of relevance and agree with the stable semantics for the class of stratified programs.
CitacióNieves, J. C., Osorio, M. "A general schema for generating argumentation semantics from logic programming semantics". 2008.
Forma partLSI-08-32-R
Col·leccions
Fitxers | Descripció | Mida | Format | Visualitza |
---|---|---|---|---|
R08-32.pdf | 289,2Kb | Visualitza/Obre |