úÎ5Ó4“      Safe-Inferred Labelling of arguments. ;An abstract argumentation framework is a set of arguments E (represented as a list) and an attack relation on these arguments. ;Given an argumentation framework, determines whether args K (subset of the arguments in the AF), attacks an argument arg (in the AF). ;Given an argumentation framework, determines whether args 7 (subset of the arguments in the AF) is conflict-free. :Given an argumentation framework, determines whether an 2 argument is acceptable with respect to a list of args' (subset of the arguments in the AF). :Given an argumentation framework, determines whether an ( argument is acceptable with respect to args' (subset of the arguments in the AF). 6Given an argumentation framework, determines whether  the set of arguments args4 (subset of the arguments in the AF) is admissible,  i.e. if args is  and args is a subset of  f af args CGiven a characteristic function f, computes the grounded extension C by iterating on the empty set (list) until it reaches a fixpoint. #Given a list of arguments that are $ in an argumentation framework af,  an argument argK is unattacked if the list of its attackers, ignoring the outs, is empty. #Given a list of arguments that are $ in an argumentation framework af,  an argument arg1 is attacked if there exists an attacker that is . DComputes the grounded labelling for a Dung argumentation framework, . returning a list of arguments with statuses. \Based on section 4.1 of Proof Theories and Algorithms for Abstract Argumentation Frameworks  by Modgil and Caminada VThe grounded extension of an argumentation framework is just the grounded labelling, 1 keeping only those arguments that were labelled .         Safe-InferredGThe simplest abstract argument is an argument identifiable by its name Example AF: A -> B -> C Example AF: A <-> B KNow follow a few example outputs using the above argumentation frameworks.   setAttacks: [a,b]  c in the argumentation framework : setAttacks exampleAF [a,b] cTruesetAttacks exampleAF [b,c] aFalsesetAttacks exampleAF2 [] bFalse  conflictFree: [a,c] is  in the argumentation framework : conflictFree exampleAF [a,c]TrueconflictFree exampleAF [a,b,c]FalseconflictFree exampleAF2 [a,b]False  acceptable: c is acceptable w.r.t. [a,b] in the argumentation framework : acceptable exampleAF c [a,b]Trueacceptable exampleAF c []Falseacceptable exampleAF b [a,b,c]False  admissible: [a,b,c]. is admissible in the argumentation framework : admissible exampleAF [a,b,c]Falseadmissible exampleAF [a,c]Trueadmissible exampleAF [a]True  grounded: 6The grounded labelling of the argumentation framework : grounded exampleAF[("A",In),("C",In),("B",Out)]grounded exampleAF2![("A",Undecided),("B",Undecided)]  groundedExt: 6The grounded extension of the argumentation framework : groundedExt exampleAF ["A", "C"]groundedExt exampleAF2[]=fixed point function for a specific argumentation framework,  faf = f exampleAF.   groundedF: 6The grounded extension of the argumentation framework  using the fixpoint definition:  groundedF faf ["A","C"]groundedF (f exampleAF2)[]     Dung-0.9Language.Dung.AFLanguage.Dung.ExamplesStatus UndecidedOutInDungAFAF setAttacks conflictFree acceptablef admissible groundedF unattackedattackedgrounded groundedExtAbsArg exampleAF exampleAF2fafsubsetabc