Title:
|
The stable-abducible argumentation semantics
|
Author:
|
Osorio, Mauricio; Nieves Sánchez, Juan Carlos; Carballido, José Luis
|
Other authors:
|
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:
|
We look at a general way of inducing semantics in argumentation theory by means of a mapping defined on the family of 2-valued models of a normal program, which is constructed in terms of the argumentation
framework. In this way we define a new argumentation semantics called stable abducible which lies in between the stable and the preferred semantics. The relevance of this new semantics is that it is nonempty
for any argumentation framework, and coincides with the stable argumentation semantics whenever this is non-empty. We study some of the properties of this semant. |
Abstract:
|
Peer Reviewed |
Subject(s):
|
-Àrees temàtiques de la UPC::Informàtica::Intel·ligència artificial::Representació del coneixement -Argumentation framework -Arrgumentation semantics -Logic programming semantics -Programació lògica |
Rights:
|
|
Document type:
|
Article - Published version Conference Object |
Share:
|
|