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:

ModuleBasedAspicReasoner, NaiveAspicReasoner, RandomAspicReasoner

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 and Description
private AbstractExtensionReasoner	aafReasoner Underlying reasoner for AAFs.

Constructor Summary

Constructors

Constructor and Description
AbstractAspicReasoner(AbstractExtensionReasoner aafReasoner) Creates a new instance

Method Summary

Modifier and Type	Method and Description
protected abstract DungTheory	getDungTheory(AspicArgumentationTheory<T> aat, Formula 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, int inferenceType) Queries the given AspicArgumentationTheory for the given formula using the given inference type.

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

protected abstract DungTheory getDungTheory(AspicArgumentationTheory<T> aat,
                                            Formula 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 java.lang.Boolean query(AspicArgumentationTheory<T> aat,
                               T query,
                               int inferenceType)

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

Parameters:

aat - an AspicArgumentationTheory

query - a formula

inferenceType - either Semantics.SCEPTICAL_INFERENCE or Semantics.CREDULOUS_INFERENCE

Returns:

"true" if the formula is accepted