Package org.tweetyproject.arg.dung.reasoner

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