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

Field Summary

Fields

Modifier and Type	Field	Description
private AbstractExtensionReasoner	aafReasoner	Underlying reasoner for AAFs.

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

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

Field Detail

aafReasoner

private AbstractExtensionReasoner aafReasoner

Underlying reasoner for AAFs.

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)