Package net.sf.tweety.arg.aba.reasoner
Class CompleteReasoner<T extends Formula>
- java.lang.Object
-
- net.sf.tweety.arg.aba.reasoner.GeneralAbaReasoner<T>
-
- net.sf.tweety.arg.aba.reasoner.CompleteReasoner<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>>
public class CompleteReasoner<T extends Formula> extends GeneralAbaReasoner<T>
This reasoner for ABA theories performs inference on the complete extensions.- Author:
- Nils Geilen (geilenn@uni-koblenz.de), Matthias Thimm
-
-
Constructor Summary
Constructors Constructor Description CompleteReasoner()
-
Method Summary
Modifier and Type Method Description java.util.Collection<AbaExtension<T>>
getModels(AbaTheory<T> abat)
Returns a characterizing model of the given belief base-
Methods inherited from class net.sf.tweety.arg.aba.reasoner.GeneralAbaReasoner
getModel, query, query
-
-
-
-
Method Detail
-
getModels
public java.util.Collection<AbaExtension<T>> getModels(AbaTheory<T> abat)
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
-
-