Inferring acceptable arguments with Answer Set Programming

Following the argumentation framework and semantics proposed by Dung, we are interested in the problem of deciding which set of acceptable arguments support the decision making in an agent-based platform called CARREL. It is an agent-agency which mediates organ transplants. We present two possible ways to infer the stable and preferred extensions of an argumentation framework, one in a declarative way using Answer Set Programming(ASP) and the other one in a procedure way. Key words Argumentation, Logic Programming, Answer Set Programming, Agents.

• Type: Conference
• Year: 2005
• Where: ENC
• Authors: Mauricio Osorio, Claudia Zepeda, Juan Carlos Nieves, Ulises Cortés
• Keywords: Answer Set, Argumentation Framework, ENC 2005, Platform Called Carrel