• DocumentCode
    3228158
  • Title

    Inferring acceptable arguments with answer set programming

  • Author

    Osorio, Matias ; Zepeda, C.

  • Author_Institution
    Univ. de las Americas, Puebla, Mexico
  • fYear
    2005
  • fDate
    26-30 Sept. 2005
  • Firstpage
    198
  • Lastpage
    205
  • 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;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Computer Science, 2005. ENC 2005. Sixth Mexican International Conference on
  • ISSN
    1550-4069
  • Print_ISBN
    0-7695-2454-0
  • Type

    conf

  • DOI
    10.1109/ENC.2005.26
  • Filename
    1592219