public abstract class AbstractDungReasoner extends java.lang.Object implements QualitativeReasoner<DungTheory,Argument>
Constructor and Description |
---|
AbstractDungReasoner() |
Modifier and Type | Method and Description |
---|---|
abstract java.lang.Boolean |
query(DungTheory beliefbase,
Argument formula)
Queries the given belief base for the given formula.
|
public abstract java.lang.Boolean query(DungTheory beliefbase, Argument formula)
Reasoner
query
in interface QualitativeReasoner<DungTheory,Argument>
query
in interface Reasoner<java.lang.Boolean,DungTheory,Argument>
beliefbase
- a belief baseformula
- a formula