Class UndisputedReasoner

java.lang.Object

org.tweetyproject.arg.dung.reasoner.AbstractDungReasoner

org.tweetyproject.arg.dung.reasoner.AbstractExtensionReasoner

org.tweetyproject.arg.dung.reasoner.VacuousReductReasoner

org.tweetyproject.arg.dung.reasoner.UndisputedReasoner

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

Constructor Summary

Constructors

Constructor	Description
UndisputedReasoner()	simple constructor

Method Summary

Methods inherited from class org.tweetyproject.arg.dung.reasoner.VacuousReductReasoner

getModel, getModels

Methods inherited from class org.tweetyproject.arg.dung.reasoner.AbstractExtensionReasoner

getSimpleReasonerForSemantics, isInstalled, query, query

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Details

UndisputedReasoner

public UndisputedReasoner()

simple constructor