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 for the given formula.
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: Reasoner

Queries the given belief base for the given formula.

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 - a belief base

query - a formula

Returns:

the answer to the query

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