QualitativeReasoner

Type Parameters:

B - the belief base type that can be queried

F - the type of formulas that can be queries

All Superinterfaces:

Reasoner<java.lang.Boolean,B,F>

All Known Implementing Classes:

AbstractAspicReasoner, AbstractConditionalLogicReasoner, AbstractDungReasoner, AbstractExtensionReasoner, AbstractModalReasoner, AbstractPropositionalLogicReasoner, AbstractSatExtensionReasoner, ArgumentationReasoner, BruteForceCReasoner, CompleteReasoner, CReasoner, EFOLReasoner, FlatABAReasoner, FolReasoner, GeneralABAReasoner, GrossiModgilRankingReasoner, IdealReasoner, LiteralReasoner, MleanCoPReasoner, ModuleBasedAspicReasoner, NaiveAspicReasoner, NaiveDefaultReasoner, NaiveFolReasoner, NaiveModalReasoner, NaiveReasoner, OutputReasoner, PreferredReasoner, ProboReasoner, Prover9FolReasoner, RandomAspicReasoner, RelationalBruteForceCReasoner, RuleBasedCReasoner, SatCompleteReasoner, SatReasoner, SatStableReasoner, SimpleAdmissibleReasoner, SimpleCF2Reasoner, SimpleCompleteReasoner, SimpleConflictFreeReasoner, SimpleGroundedReasoner, SimpleIdealReasoner, SimplePreferredReasoner, SimpleSccCompleteReasoner, SimpleSemiStableReasoner, SimpleStableReasoner, SimpleStageReasoner, SpassFolReasoner, SPASSModalReasoner, StableReasoner, StratifiedLabelingReasoner, WellFoundedReasoner, ZReasoner
```
public interface QualitativeReasoner<B extends BeliefBase,F extends Formula>
extends Reasoner<java.lang.Boolean,B,F>
```
The general interface for objects that are able to query a belief base with some formula and return either TRUE or FALSE as answer.

Author:

Matthias Thimm

Method Summary

All Methods Instance Methods Abstract Methods
Modifier and Type	Method and Description
`java.lang.Boolean`	`query(B beliefbase, F formula)` Queries the given belief base for the given formula.

- Method Detail
  - query
```
java.lang.Boolean query(B beliefbase,
                        F formula)
```
    Description copied from interface: Reasoner
    
    Queries the given belief base for the given formula.
    
    Specified by:
    
    query in interface Reasoner<java.lang.Boolean,B extends BeliefBase,F extends Formula>
    
    Parameters:
    
    beliefbase - a belief base
    
    formula - a formula
    
    Returns:
    
    the answer to the query

Interface QualitativeReasoner<B extends BeliefBase,F extends Formula>

Method Summary

Method Detail

query