Class StronglyUndisputedReasoner

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

public class StronglyUndisputedReasoner extends VacuousReductReasoner
Implements the strongly undisputed semantics, as proposed in [Thimm. On Undisputed Sets in Abstract Argumentation. AAAI2023]. This is an instance of the vacuous reduct reasoner with conflict-free semantics as base semantics and undisputed semantics as reduct semantics.
Author:
Matthias Thimm