Package net.sf.tweety.commons

Interface QualitativeReasoner<B extends BeliefBase,F extends Formula>

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:

AbstractAcceptabilityReasoner, AbstractAspicReasoner, AbstractConditionalLogicReasoner, AbstractDialecticalFrameworkReasoner, AbstractDungReasoner, AbstractExtensionReasoner, AbstractMlReasoner, AbstractPlReasoner, AbstractSatExtensionReasoner, AdmissibleReasoner, ArgumentationReasoner, ASPSolver, ClingoSolver, CompleteReasoner, CompleteReasoner, ConflictFreeReasoner, CReasoner, DirectionalAspicReasoner, DLVSolver, EeeAcceptabilityReasoner, EFOLReasoner, FlatAbaReasoner, FolReasoner, GeneralAbaReasoner, GroundReasoner, IaqAcceptabilityReasoner, IdealReasoner, LiteralReasoner, MleanCoPReasoner, ModelReasoner, ModuleBasedAspicReasoner, NaiveDlReasoner, NaiveQbfReasoner, NaiveReasoner, OutputReasoner, PipelineReasoner, PreferredReasoner, PreferredReasoner, ProboReasoner, Prover9FolReasoner, RandomAspicReasoner, RuleBasedCReasoner, SatCompleteReasoner, SatReasoner, SatStableReasoner, SeeAcceptabilityReasoner, SeemAcceptabilityReasoner, SimpleAdmissibleReasoner, SimpleAspicReasoner, SimpleCF2Reasoner, SimpleCompleteReasoner, SimpleConflictFreeReasoner, SimpleCReasoner, SimpleDefaultReasoner, SimpleFolReasoner, SimpleGroundedReasoner, SimpleIdealReasoner, SimpleMlReasoner, SimplePlReasoner, SimplePreferredReasoner, SimpleRelationalCReasoner, SimpleSccCompleteReasoner, SimpleSemiStableReasoner, SimpleStableReasoner, SimpleStageReasoner, SpassFolReasoner, SPASSMlReasoner, StableReasoner, 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

Modifier and Type	Method	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