Title :
Inferring acceptable arguments with answer set programming
Author :
Osorio, Matias ; Zepeda, C.
Author_Institution :
Univ. de las Americas, Puebla, Mexico
Abstract :
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.
Keywords :
biological organs; decision making; inference mechanisms; logic programming; medical computing; multi-agent systems; CARREL; acceptable argument; agent-agency; agent-based platform; answer set programming; decision making; logic programming; organ transplant; Application specific processors; Decision making; Diseases; Genetics; Health information management; Injuries; Legislation; Logic programming; Management training; Writing;
Conference_Titel :
Computer Science, 2005. ENC 2005. Sixth Mexican International Conference on
Print_ISBN :
0-7695-2454-0
DOI :
10.1109/ENC.2005.26