Package net.sf.tweety.arg.aspic.reasoner

Class AbstractAspicReasoner<T extends Invertable>

java.lang.Object

net.sf.tweety.arg.aspic.reasoner.AbstractAspicReasoner<T>

Type Parameters:

T - The type of formulas

All Implemented Interfaces:

QualitativeReasoner<AspicArgumentationTheory<T>,T>, Reasoner<java.lang.Boolean,AspicArgumentationTheory<T>,T>

Direct Known Subclasses:

DirectionalAspicReasoner, ModuleBasedAspicReasoner, RandomAspicReasoner, SimpleAspicReasoner

public abstract class AbstractAspicReasoner<T extends Invertable>
extends java.lang.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
java.lang.Boolean	query(AspicArgumentationTheory<T> aat, T query)	Queries the given belief base for the given formula.
java.lang.Boolean	query(AspicArgumentationTheory<T> aat, T query, InferenceMode inferenceMode)	Queries the given AspicArgumentationTheory for the given formula using the given inference type.
java.lang.Boolean	query(DungTheory dt, T query, InferenceMode inferenceMode)

Methods inherited from class java.lang.Object

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

Constructor Detail

AbstractAspicReasoner

public AbstractAspicReasoner(AbstractExtensionReasoner aafReasoner)

Creates a new instance

Parameters:

aafReasoner - Underlying reasoner for AAFs.

Method Detail

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 java.lang.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<java.lang.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 java.lang.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 java.lang.Boolean query(DungTheory dt,
                                     T query,
                                     InferenceMode inferenceMode)