Class SerialisedStronglyAdmissibleReasoner

java.lang.Object
All Implemented Interfaces:
ModelProvider<Argument,DungTheory,Extension<DungTheory>>, PostulateEvaluatable<Argument>, QualitativeReasoner<DungTheory,Argument>, Reasoner<Boolean,DungTheory,Argument>

public class SerialisedStronglyAdmissibleReasoner extends SerialisedAdmissibleReasoner
This class represents a reasoner to compute the extensions of the strongly admissible Semantics by serialising unattacked initial sets. A set of arguments E is strongly admissible iff every argument A in E is defended by some argument B in E \ {A}, which itself is strongly defended by E \ {A}, in other words, no argument in E is defended only by itself.
Version:
TweetyProject 1.23
Author:
Julian Sander