Class UndisputedReasoner

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

public class UndisputedReasoner extends VacuousReductReasoner
Implements the 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 admissibility semantics as reduct semantics.
Author:
Matthias Thimm