O
- the type of output to a queryB
- the belief base type that can be queriedF
- the type of formulas that can be queriespublic interface Reasoner<O,B extends BeliefBase,F extends Formula>
Modifier and Type | Method and Description |
---|---|
O |
query(B beliefbase,
F formula)
Queries the given belief base for the given formula.
|