Class GeneralAbaReasoner<T extends Formula>
java.lang.Object
org.tweetyproject.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<Boolean,AbaTheory<T>,Assumption<T>>
- Direct Known Subclasses:
CompleteReasoner
,FlatAbaReasoner
,IdealReasoner
,PreferredReasoner
,StableReasoner
,WellFoundedReasoner
public abstract class GeneralAbaReasoner<T extends Formula>
extends 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
-
Method Summary
Modifier and TypeMethodDescriptionReturns a single (dedicated) model of the given belief base.abstract Collection<AbaExtension<T>>
Returns a characterizing model of the given belief basequery(AbaTheory<T> beliefbase, Assumption<T> query)
Queries the given belief base for the given formula.query(AbaTheory<T> beliefbase, Assumption<T> query, InferenceMode inferenceMode)
Queries the given ABA theory for the given assumption using the given inference type.
-
Constructor Details
-
GeneralAbaReasoner
public GeneralAbaReasoner()
-
-
Method Details
-
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<Boolean,AbaTheory<T extends Formula>,Assumption<T extends Formula>>
- Parameters:
beliefbase
- a belief basequery
- a formula- Returns:
- the answer to the query
-
query
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
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
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.
-