public class FlatABAReasoner extends Reasoner
Modifier and Type | Field and Description |
---|---|
(package private) int |
inferencetype |
(package private) Semantics |
semantics |
Constructor and Description |
---|
FlatABAReasoner(BeliefBase beliefBase,
Semantics semantics,
int inferencetype)
Creates a new instance
|
Modifier and Type | Method and Description |
---|---|
java.util.Collection<java.util.Collection<Assumption<?>>> |
getExtensions() |
Answer |
query(Formula query)
This method determines the answer of the given query
wrt.
|
getKnowledgeBase
Semantics semantics
int inferencetype
public FlatABAReasoner(BeliefBase beliefBase, Semantics semantics, int inferencetype)
beliefBase
- an ABATheorysemantics
- an indicator for the used semantics (c.f.
net.sf.tweety.arg.dung.semantics.Semantics)inferencetype
- an indicator for the used inference (c.f.
net.sf.tweety.arg.dung.semantics.Semantics)public Answer query(Formula query)
Reasoner
public java.util.Collection<java.util.Collection<Assumption<?>>> getExtensions()