Class FlatAbaReasoner<T extends Formula>
java.lang.Object
org.tweetyproject.arg.aba.reasoner.GeneralAbaReasoner<T>
org.tweetyproject.arg.aba.reasoner.FlatAbaReasoner<T>
- Type Parameters:
T
- the type of formulas
- All Implemented Interfaces:
ModelProvider<Assumption<T>,AbaTheory<T>,AbaExtension<T>>
,QualitativeReasoner<AbaTheory<T>,Assumption<T>>
,Reasoner<Boolean,AbaTheory<T>,Assumption<T>>
This class models a reasoner over ABA formulae.
This reasoner can only be used with flat ABA theories because
only those can be transformed into Dung frameworks.
- Author:
- Nils Geilen, Matthias Thimm
-
Constructor Summary
-
Method Summary
Modifier and TypeMethodDescriptionReturns a characterizing model of the given belief basequery(AbaTheory<T> beliefbase, Assumption<T> query, InferenceMode inferenceMode)
Queries the given ABA theory for the given assumption using the given inference type.Methods inherited from class org.tweetyproject.arg.aba.reasoner.GeneralAbaReasoner
getModel, query
-
Constructor Details
-
FlatAbaReasoner
Creates a new instance- Parameters:
semantics
- an indicator for the used semantics (c.f. org.tweetyproject.arg.dung.semantics.Semantics)
-
-
Method Details
-
query
Description copied from class:GeneralAbaReasoner
Queries the given ABA theory for the given assumption using the given inference type.- Overrides:
query
in classGeneralAbaReasoner<T extends Formula>
- 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>>
- Specified by:
getModels
in classGeneralAbaReasoner<T extends Formula>
- Parameters:
abat
- some belief base- Returns:
- the (selected) models of the belief base
-