Class IdealReasoner<T extends Formula>
java.lang.Object
org.tweetyproject.arg.aba.reasoner.GeneralAbaReasoner<T>
org.tweetyproject.arg.aba.reasoner.IdealReasoner<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>>
This reasoner for ABA theories performs inference on the ideal extension.
- Author:
- Nils Geilen (geilenn@uni-koblenz.de), Matthias Thimm
-
Constructor Summary
-
Method Summary
Modifier and TypeMethodDescriptionReturns a characterizing model of the given belief baseMethods inherited from class org.tweetyproject.arg.aba.reasoner.GeneralAbaReasoner
getModel, query, query
-
Constructor Details
-
IdealReasoner
public IdealReasoner()
-
-
Method Details
-
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
-