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

Class AbstractAspicReasoner<T extends net.sf.tweety.logics.commons.syntax.interfaces.Invertable>

java.lang.Object

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

Type Parameters:

T - The type of formulas

All Implemented Interfaces:

net.sf.tweety.commons.QualitativeReasoner<AspicArgumentationTheory<T>,T>, net.sf.tweety.commons.Reasoner<Boolean,AspicArgumentationTheory<T>,T>

Direct Known Subclasses:

DirectionalAspicReasoner, ModuleBasedAspicReasoner, RandomAspicReasoner, SimpleAspicReasoner

public abstract class AbstractAspicReasoner<T extends net.sf.tweety.logics.commons.syntax.interfaces.Invertable>
extends Object
implements net.sf.tweety.commons.QualitativeReasoner<AspicArgumentationTheory<T>,T>

The abstract ancestor of all Aspic reasoner implementations

Author:

Matthias Thimm

Constructor Summary

Constructors

Constructor	Description
AbstractAspicReasoner(net.sf.tweety.arg.dung.reasoner.AbstractExtensionReasoner aafReasoner)	Creates a new instance

Method Summary

Modifier and Type	Method	Description
abstract net.sf.tweety.arg.dung.syntax.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)
Boolean	query(AspicArgumentationTheory<T> aat, T query, net.sf.tweety.commons.InferenceMode inferenceMode)	Queries the given AspicArgumentationTheory for the given formula using the given inference type.
Boolean	query(net.sf.tweety.arg.dung.syntax.DungTheory dt, T query, net.sf.tweety.commons.InferenceMode inferenceMode)

Methods inherited from class java.lang.Object

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

Constructor Detail

AbstractAspicReasoner

public AbstractAspicReasoner(net.sf.tweety.arg.dung.reasoner.AbstractExtensionReasoner aafReasoner)

Creates a new instance

Parameters:

aafReasoner - Underlying reasoner for AAFs.

Method Detail

getDungTheory

public abstract net.sf.tweety.arg.dung.syntax.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)

Specified by:

query in interface net.sf.tweety.commons.QualitativeReasoner<AspicArgumentationTheory<T extends net.sf.tweety.logics.commons.syntax.interfaces.Invertable>,T extends net.sf.tweety.logics.commons.syntax.interfaces.Invertable>

Specified by:

query in interface net.sf.tweety.commons.Reasoner<Boolean,AspicArgumentationTheory<T extends net.sf.tweety.logics.commons.syntax.interfaces.Invertable>,T extends net.sf.tweety.logics.commons.syntax.interfaces.Invertable>

query

public final Boolean query(AspicArgumentationTheory<T> aat,
                           T query,
                           net.sf.tweety.commons.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(net.sf.tweety.arg.dung.syntax.DungTheory dt,
                           T query,
                           net.sf.tweety.commons.InferenceMode inferenceMode)