AFRAs
Reduction to AFs
The following is an ASP implementation of the reduction from AFRAS to AFs introduced in [1].
% arguments
arg(X) :- afraA(X).
arg(R) :- afraR(R,X,Y), afraA(X).
% direct defeat
att(V,W) :- afraR(V,X,W), arg(W), afraA(X).
% indirect defeat
att(V,A) :- att(V,W), afraR(A,W,X), afraA(W).
You can find the
File on the ASPARTIX systempage.
Example AFRA
Encoding of the Bob example from [1] (AFRA input format):
afraA(a).
afraA(n).
afraA(p).
afraA(c).
afraA(g).
afraR(epsilon,a,n).
afraR(delta,n,gamma).
afraR(gamma,p,beta).
afraR(beta,c,g).
afraR(alpha,g,c).
Usage
TBFReferences
| [1] |
AFRA: Argumentation framework with recursive attacks. Pietro Baroni, Federico Cerutti, Massimiliano Giacomin, Giovanni Guida Int. J. Approx. Reasoning 52(1): 19-37 (2011) |