Extensions Flashcards
When is a set A of Args conflict free?
iff A does not attack itself
What is a admissible extension?
Conflict free and attacks each attacking argument
What is a prefered extension?
Maximal admissible
What is a complete extension?
A admissible extension containing all arguments it defends
What is a stable extension?
c-f and attacks each argument not in it
What is a grounded extension?
Minimal complete
What is a sceptical prefered extension?
Interesection of all prefered extensions
What is a ideal extension?
Maximal such that:
i) it is admissible
ii) It is contained in all prefered extensions
What is a semi-stable extension?
If it is complete such that A U A+ is maximal where A+ is the set of arguments attacked by A
When is a dispute tree:
1) Admissible
2) Grounded
3) Ideal
1) No nodes marked as both O and P and Every O has exactly one child 2) Admissible and Finite 3) Admissible and for noe O node there exists a admissble dispute tree for the node.