Package net.sf.tweety.arg.aba.reasoner
Class GeneralAbaReasoner<T extends 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:
ModelProvider<Assumption<T>,AbaTheory<T>,AbaExtension<T>>
,QualitativeReasoner<AbaTheory<T>,Assumption<T>>
,Reasoner<java.lang.Boolean,AbaTheory<T>,Assumption<T>>
- Direct Known Subclasses:
CompleteReasoner
,FlatAbaReasoner
,IdealReasoner
,PreferredReasoner
,StableReasoner
,WellFoundedReasoner
public abstract class GeneralAbaReasoner<T extends Formula> extends java.lang.Object implements QualitativeReasoner<AbaTheory<T>,Assumption<T>>, ModelProvider<Assumption<T>,AbaTheory<T>,AbaExtension<T>>
This is an abstract generalization over non-flat ABA reasoners.- Author:
- Nils Geilen (geilenn@uni-koblenz.de), Matthias Thimm
-
-
Constructor Summary
Constructors Constructor Description GeneralAbaReasoner()
-
Method Summary
Modifier and Type Method Description AbaExtension<T>
getModel(AbaTheory<T> bbase)
Returns a single (dedicated) model of the given belief base.abstract java.util.Collection<AbaExtension<T>>
getModels(AbaTheory<T> bbase)
Returns a characterizing model of the given belief basejava.lang.Boolean
query(AbaTheory<T> beliefbase, Assumption<T> query)
Queries the given belief base for the given formula.java.lang.Boolean
query(AbaTheory<T> beliefbase, Assumption<T> query, InferenceMode inferenceMode)
Queries the given ABA theory for the given assumption using the given inference type.
-
-
-
Method Detail
-
query
public java.lang.Boolean query(AbaTheory<T> beliefbase, Assumption<T> query)
Description copied from interface:Reasoner
Queries the given belief base for the given formula.- Specified by:
query
in interfaceQualitativeReasoner<AbaTheory<T extends Formula>,Assumption<T extends Formula>>
- Specified by:
query
in interfaceReasoner<java.lang.Boolean,AbaTheory<T extends Formula>,Assumption<T extends Formula>>
- Parameters:
beliefbase
- a belief basequery
- a formula- Returns:
- the answer to the query
-
query
public java.lang.Boolean query(AbaTheory<T> beliefbase, Assumption<T> query, InferenceMode inferenceMode)
Queries the given ABA theory for the given assumption using the given inference type.- Parameters:
beliefbase
- an ABA theoryquery
- some assumptioninferenceMode
- either InferenceMode.SKEPTICAL or InferenceMode.CREDULOUS- Returns:
- "true" if the query is accepted
-
getModels
public abstract java.util.Collection<AbaExtension<T>> getModels(AbaTheory<T> bbase)
Description copied from interface:ModelProvider
Returns a characterizing model of the given belief base- Specified by:
getModels
in interfaceModelProvider<Assumption<T extends Formula>,AbaTheory<T extends Formula>,AbaExtension<T extends Formula>>
- Parameters:
bbase
- some belief base- Returns:
- the (selected) models of the belief base
-
getModel
public AbaExtension<T> getModel(AbaTheory<T> bbase)
Description copied from interface:ModelProvider
Returns a single (dedicated) model of the given belief base. If the implemented method allows for more than one dedicated model, the selection may be non-deterministic.- Specified by:
getModel
in interfaceModelProvider<Assumption<T extends Formula>,AbaTheory<T extends Formula>,AbaExtension<T extends Formula>>
- Parameters:
bbase
- some belief base- Returns:
- a selected model of the belief base.
-
-