Título:
|
Extension-based argumentation semantics via logic programming semantics with negation as failure
|
Autor/a:
|
Nieves Sánchez, Juan Carlos; Gómez Sebastià, Ignasi
|
Otros autores:
|
Universitat Politècnica de Catalunya. Departament de Llenguatges i Sistemes Informàtics; Universitat Politècnica de Catalunya. KEMLG - Grup d'Enginyeria del Coneixement i Aprenentatge Automàtic |
Abstract:
|
Extension-based argumentation semantics have been 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 (such
as the grounded semantics and stable semantics) can be characterized by logic
programming semantics with negation as failure. Recently, it has been shown that argumentation semantics such as the preferred semantics and the CF2 semantics
can be characterized in terms of logic programming semantics. In this paper, we make a short overview w.r.t. recent results in the close relationship between
extension-based semantics and logic programming semantics with negation as failure. We also show that there is enough evidence to believe that the use of declarative approaches based on logic programming semantics with negation
as failure is a practical approach for performing practical reasoning following an
argumentation reasoning approach. |
Abstract:
|
Peer Reviewed |
Materia(s):
|
-Àrees temàtiques de la UPC::Informàtica::Intel·ligència artificial -Logic programming (Computer science) -Multiagent systems -Programació lògica -Sistemes multiagent (Informàtica) |
Derechos:
|
|
Tipo de documento:
|
Artículo - Versión publicada Objeto de conferencia |
Editor:
|
CEUR Workshop Proceedings
|
Compartir:
|
|