Package org.tweetyproject.arg.dung.reasoner

Class StronglyUndisputedReasoner

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.StronglyUndisputedReasoner

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

Constructor Summary

Constructors

Constructor	Description
StronglyUndisputedReasoner()	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

StronglyUndisputedReasoner

public StronglyUndisputedReasoner()

simple constructor