Package net.sf.tweety.arg.aba.reasoner

Class GeneralABAReasoner<T extends net.sf.tweety.commons.Formula>

java.lang.Object

net.sf.tweety.arg.aba.reasoner.GeneralABAReasoner<T>

Type Parameters:

T - the language of the underlying ABA theory

All Implemented Interfaces:

net.sf.tweety.commons.ModelProvider<Assumption<T>,ABATheory<T>,AbaExtension<T>>, net.sf.tweety.commons.QualitativeReasoner<ABATheory<T>,Assumption<T>>, net.sf.tweety.commons.Reasoner<Boolean,ABATheory<T>,Assumption<T>>

Direct Known Subclasses:

CompleteReasoner, FlatABAReasoner, IdealReasoner, PreferredReasoner, StableReasoner, WellFoundedReasoner

public abstract class GeneralABAReasoner<T extends net.sf.tweety.commons.Formula>
extends Object
implements net.sf.tweety.commons.QualitativeReasoner<ABATheory<T>,Assumption<T>>, net.sf.tweety.commons.ModelProvider<Assumption<T>,ABATheory<T>,AbaExtension<T>>

Author:

Nils Geilen (geilenn@uni-koblenz.de), Matthias Thimm This is an abstract gerneralization over non-flat ABA reasoners

Constructor Summary

Constructors

Constructor	Description
GeneralABAReasoner()

Method Summary

Modifier and Type	Method	Description
AbaExtension<T>	getModel(ABATheory<T> bbase)
abstract Collection<AbaExtension<T>>	getModels(ABATheory<T> bbase)
Boolean	query(ABATheory<T> beliefbase, Assumption<T> query)
Boolean	query(ABATheory<T> beliefbase, Assumption<T> query, net.sf.tweety.commons.InferenceMode inferenceMode)	Queries the given ABA theory for the given assumption using the given inference type.

Methods inherited from class java.lang.Object

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

Constructor Detail

GeneralABAReasoner

public GeneralABAReasoner()

Method Detail

query

public Boolean query(ABATheory<T> beliefbase,
                     Assumption<T> query)

Specified by:

query in interface net.sf.tweety.commons.QualitativeReasoner<ABATheory<T extends net.sf.tweety.commons.Formula>,Assumption<T extends net.sf.tweety.commons.Formula>>

Specified by:

query in interface net.sf.tweety.commons.Reasoner<Boolean,ABATheory<T extends net.sf.tweety.commons.Formula>,Assumption<T extends net.sf.tweety.commons.Formula>>

query

public Boolean query(ABATheory<T> beliefbase,
                     Assumption<T> query,
                     net.sf.tweety.commons.InferenceMode inferenceMode)

Queries the given ABA theory for the given assumption using the given inference type.

Parameters:

beliefbase - an ABA theory

query - some assumption

inferenceMode - either InferenceMode.SKEPTICAL or InferenceMode.CREDULOUS

Returns:

"true" if the query is accepted

getModels

public abstract Collection<AbaExtension<T>> getModels(ABATheory<T> bbase)

Specified by:

getModels in interface net.sf.tweety.commons.ModelProvider<Assumption<T extends net.sf.tweety.commons.Formula>,ABATheory<T extends net.sf.tweety.commons.Formula>,AbaExtension<T extends net.sf.tweety.commons.Formula>>

getModel

public AbaExtension<T> getModel(ABATheory<T> bbase)

Specified by:

getModel in interface net.sf.tweety.commons.ModelProvider<Assumption<T extends net.sf.tweety.commons.Formula>,ABATheory<T extends net.sf.tweety.commons.Formula>,AbaExtension<T extends net.sf.tweety.commons.Formula>>