Package net.sf.tweety.arg.aba.reasoner
Class IdealReasoner<T extends Formula>
- java.lang.Object
-
- net.sf.tweety.arg.aba.reasoner.GeneralABAReasoner<T>
-
- net.sf.tweety.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<java.lang.Boolean,ABATheory<T>,Assumption<T>>
public class IdealReasoner<T extends Formula> extends GeneralABAReasoner<T>
- Author:
- Nils Geilen (geilenn@uni-koblenz.de), Matthias Thimm This reasoner for ABA theories performs inference on the ideal extension.
-
-
Constructor Summary
Constructors Constructor Description IdealReasoner()
-
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
-
-