Inferring preferred extensions by Pstable semantics

All of RECERCAT

To access the full text documents, please follow this link: http://hdl.handle.net/2117/87510

Title:	Inferring preferred extensions by Pstable semantics
Author:	Nieves Sánchez, Juan Carlos; Osorio Galindo, Mauricio
Other authors:	Universitat Politècnica de Catalunya. Departament de Llenguatges i Sistemes Informàtics
Abstract:	Given an argumentation framework AF, we present a normal program Psi_{AF}, such that the preferred extensions of AF correspond exactly with the pstable models of Psi_{AF}. Moreover, we motivate the notion of suitable codifications for developing metainterpreters of argumentation theory based on logic programming.
Subject(s):	-Àrees temàtiques de la UPC::Informàtica::Intel·ligència artificial -Argumentation theory -Logic programming -Non-monotonic reasoning
Rights:
Document type:	Article - Published version Report
Share: