Package org.tweetyproject.arg.aspic.reasoner

Class RandomAspicReasoner<T extends Invertable>

java.lang.Object

org.tweetyproject.arg.aspic.reasoner.AbstractAspicReasoner<T>

org.tweetyproject.arg.aspic.reasoner.RandomAspicReasoner<T>

Type Parameters:

T - The type of formulas.

All Implemented Interfaces:

QualitativeReasoner<AspicArgumentationTheory<T>,T>, Reasoner<Boolean,AspicArgumentationTheory<T>,T>

public class RandomAspicReasoner<T extends Invertable>
extends AbstractAspicReasoner<T>

This class implements an approximate reasoner for ASPIC+ that randomly samples arguments.

Author:

Matthias Thimm

Constructor Summary

Constructors

Constructor	Description
RandomAspicReasoner(AbstractExtensionReasoner aafReasoner, int maxArguments, int maxDuplicates)	Creates a new instance.

Method Summary

Modifier and Type	Method	Description
DungTheory	getDungTheory(AspicArgumentationTheory<T> aat, T query)	Computes the Dung theory from which the answer will be derived
boolean	isInstalled()	Checks whether the underlying solver or reasoning mechanism used by this reasoner is installed and available for use.
String	toString()

Methods inherited from class org.tweetyproject.arg.aspic.reasoner.AbstractAspicReasoner

query, query, query

Methods inherited from class java.lang.Object

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

Constructor Details

RandomAspicReasoner

public RandomAspicReasoner(AbstractExtensionReasoner aafReasoner,
 int maxArguments,
 int maxDuplicates)

Creates a new instance.

Parameters:

aafReasoner - Underlying reasoner for AAFs.

maxArguments - The maximal number of arguments constructed by this reasoner.

maxDuplicates - The maximal number of duplicates tolerated before this reasoner cancels looking for more arguments (even if maxArguments is not yet reached).

Method Details

getDungTheory

public DungTheory getDungTheory(AspicArgumentationTheory<T> aat,
 T query)

Description copied from class: AbstractAspicReasoner

Computes the Dung theory from which the answer will be derived

Specified by:

getDungTheory in class AbstractAspicReasoner<T extends Invertable>

Parameters:

aat - some Aspic theory

query - some query

Returns:

a Dung theory

toString

public String toString()

Overrides:

toString in class Object

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.