T
- the language of the underlying ABA theorypublic class PreferredReasoner<T extends Formula> extends GeneralABAReasoner<T>
Constructor and Description |
---|
PreferredReasoner() |
Modifier and Type | Method and Description |
---|---|
java.util.Collection<AbaExtension<T>> |
getModels(ABATheory<T> abat)
Returns a characterizing model of the given belief base
|
getModel, query, query
public java.util.Collection<AbaExtension<T>> getModels(ABATheory<T> abat)
ModelProvider
getModels
in interface ModelProvider<Assumption<T extends Formula>,ABATheory<T extends Formula>,AbaExtension<T extends Formula>>
getModels
in class GeneralABAReasoner<T extends Formula>
abat
- some belief base