public class NaiveDefaultReasoner extends Reasoner
Modifier and Type | Field and Description |
---|---|
(package private) DefaultProcessTree |
tree |
Constructor and Description |
---|
NaiveDefaultReasoner(BeliefBase beliefBase) |
Modifier and Type | Method and Description |
---|---|
java.util.Collection<java.util.Collection<FolFormula>> |
getAllExtensions() |
Answer |
query(Formula query)
This method determines the answer of the given query
wrt.
|
getKnowledgeBase
DefaultProcessTree tree
public NaiveDefaultReasoner(BeliefBase beliefBase)
public Answer query(Formula query)
Reasoner
public java.util.Collection<java.util.Collection<FolFormula>> getAllExtensions()