Package org.tweetyproject.arg.dung.reasoner

Class FudgeAcceptabilityReasoner

java.lang.Object

org.tweetyproject.arg.dung.reasoner.AbstractDungReasoner

org.tweetyproject.arg.dung.reasoner.AbstractAcceptabilityReasoner

org.tweetyproject.arg.dung.reasoner.FudgeAcceptabilityReasoner

All Implemented Interfaces:

QualitativeReasoner<DungTheory,Argument>, Reasoner<Boolean,DungTheory,Argument>

public class FudgeAcceptabilityReasoner
extends AbstractAcceptabilityReasoner

Implements the Fudge approach to determine the set of acceptable arguments of an AF wrt. preferred semantics and skeptical reasoning, cf. [Thimm, Cerutti, Vallati; 2021, in preparation].

Author:

Matthias Thimm

Constructor Summary

Constructors

Constructor	Description
FudgeAcceptabilityReasoner(DimacsSatSolver satSolver)	Creates a new FudgeAcceptabilityReasoner.

Method Summary

Modifier and Type	Method	Description
Collection<Argument>	getAcceptableArguments(DungTheory aaf)	Returns the set of acceptable arguments of this reasoner.
boolean	isInstalled()	Checks whether the underlying solver or reasoning mechanism used by this reasoner is installed and available for use.

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

query

Methods inherited from class java.lang.Object

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

Constructor Details

FudgeAcceptabilityReasoner

public FudgeAcceptabilityReasoner(DimacsSatSolver satSolver)

Creates a new FudgeAcceptabilityReasoner.

Parameters:

satSolver - some DimacsSatSolver. *

Method Details

getAcceptableArguments

public Collection<Argument> getAcceptableArguments(DungTheory aaf)

Description copied from class: AbstractAcceptabilityReasoner

Returns the set of acceptable arguments of this reasoner.

Specified by:

getAcceptableArguments in class AbstractAcceptabilityReasoner

Parameters:

aaf - some AAF

Returns:

the set of acceptable arguments of this reasoner.

isInstalled

public boolean isInstalled()

Description copied from interface: QualitativeReasoner

Checks whether the underlying solver or reasoning mechanism used by this reasoner is installed and available for use. This can be helpful when the reasoner depends on external tools or libraries for performing the reasoning tasks.

Returns:

`true` if the solver is installed and available, `false` otherwise.