Package org.tweetyproject.arg.aspic.reasoner

Class AbstractAspicReasoner<T extends Invertable>

java.lang.Object

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

Type Parameters:

T - The type of formulas

All Implemented Interfaces:

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

Direct Known Subclasses:

DirectionalAspicReasoner, ModuleBasedAspicReasoner, RandomAspicReasoner, SimpleAspicReasoner

public abstract class AbstractAspicReasoner<T extends Invertable>
extends Object
implements QualitativeReasoner<AspicArgumentationTheory<T>,T>

The abstract ancestor of all Aspic reasoner implementations

Author:

Matthias Thimm

Constructor Summary

Constructors

Constructor	Description
AbstractAspicReasoner(AbstractExtensionReasoner aafReasoner)	Creates a new instance

Method Summary

Modifier and Type	Method	Description
abstract DungTheory	getDungTheory(AspicArgumentationTheory<T> aat, T query)	Computes the Dung theory from which the answer will be derived
Boolean	query(AspicArgumentationTheory<T> aat, T query)	Queries the given belief base with the provided formula and returns a boolean result.
final Boolean	query(AspicArgumentationTheory<T> aat, T query, InferenceMode inferenceMode)	Queries the given AspicArgumentationTheory for the given formula using the given inference type.
final Boolean	query(DungTheory dt, T query, InferenceMode inferenceMode)

Methods inherited from class java.lang.Object

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

Methods inherited from interface org.tweetyproject.commons.QualitativeReasoner

isInstalled

Constructor Details

AbstractAspicReasoner

public AbstractAspicReasoner(AbstractExtensionReasoner aafReasoner)

Creates a new instance

Parameters:

aafReasoner - Underlying reasoner for AAFs.

Method Details

getDungTheory

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

Computes the Dung theory from which the answer will be derived

Parameters:

aat - some Aspic theory

query - some query

Returns:

a Dung theory

query

public Boolean query(AspicArgumentationTheory<T> aat,
 T query)

Description copied from interface: QualitativeReasoner

Queries the given belief base with the provided formula and returns a boolean result. The result indicates whether the formula is entailed or satisfied by the belief base according to the qualitative reasoning method implemented by the reasoner.

Specified by:

query in interface QualitativeReasoner<AspicArgumentationTheory<T extends Invertable>,T extends Invertable>

Specified by:

query in interface Reasoner<Boolean,AspicArgumentationTheory<T extends Invertable>,T extends Invertable>

Parameters:

aat - The belief base to be queried.

query - The formula for which the query is made.

Returns:

`TRUE` if the formula is entailed or satisfied by the belief base, `FALSE` otherwise.

query

public final Boolean query(AspicArgumentationTheory<T> aat,
 T query,
 InferenceMode inferenceMode)

Queries the given AspicArgumentationTheory for the given formula using the given inference type.

Parameters:

aat - an AspicArgumentationTheory

query - a formula

inferenceMode - either Semantics.SCEPTICAL_INFERENCE or Semantics.CREDULOUS_INFERENCE

Returns:

"true" if the formula is accepted

query

public final Boolean query(DungTheory dt,
 T query,
 InferenceMode inferenceMode)

Parameters:

dt - dung theory

query - a formula

inferenceMode - either Semantics.SCEPTICAL_INFERENCE or Semantics.CREDULOUS_INFERENCE

Returns:

"true" if the formula is accepted