Package net.sf.tweety.arg.aba.reasoner
Class FlatABAReasoner<T extends Formula>
- java.lang.Object
-
- net.sf.tweety.arg.aba.reasoner.GeneralABAReasoner<T>
-
- net.sf.tweety.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<java.lang.Boolean,ABATheory<T>,Assumption<T>>
public class FlatABAReasoner<T extends Formula> extends GeneralABAReasoner<T>
- Author:
- Nils Geilen, Matthias Thimm This class models a reasoner over ABA formulae Can only be used with flat ABA theories because only those can be transformed into Dung frameworks
-
-
Constructor Summary
Constructors Constructor Description FlatABAReasoner(Semantics semantics)
Creates a new instance
-
Method Summary
Modifier and Type Method Description java.util.Collection<AbaExtension<T>>
getModels(ABATheory<T> abat)
Returns a characterizing model of the given belief basejava.lang.Boolean
query(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 net.sf.tweety.arg.aba.reasoner.GeneralABAReasoner
getModel, query
-
-
-
-
Field Detail
-
semantics
private Semantics semantics
-
-
Constructor Detail
-
FlatABAReasoner
public FlatABAReasoner(Semantics semantics)
Creates a new instance- Parameters:
semantics
- an indicator for the used semantics (c.f. net.sf.tweety.arg.dung.semantics.Semantics)
-
-
Method Detail
-
query
public java.lang.Boolean query(ABATheory<T> beliefbase, Assumption<T> query, InferenceMode inferenceMode)
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
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
-
-