Package org.tweetyproject.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<Boolean,B,F>
All Known Implementing Classes:
AbstractAcceptabilityReasoner, AbstractAspicReasoner, AbstractClaimBasedReasoner, AbstractConditionalLogicReasoner, AbstractDungReasoner, AbstractExtensionReasoner, AbstractExtensionSetAfReasoner, AbstractMlReasoner, AbstractPlReasoner, AbstractSatExtensionReasoner, AbstractSetAfReasoner, ArgumentationReasoner, ASPSolver, ClingoSolver, CompleteReasoner, CReasoner, DirectionalAspicReasoner, DLVSolver, EeeAcceptabilityReasoner, EFOLReasoner, FlatAbaReasoner, FolReasoner, FudgeAcceptabilityReasoner, GeneralAbaReasoner, IaqAcceptabilityReasoner, IdealReasoner, LiteralReasoner, MleanCoPReasoner, ModuleBasedAspicReasoner, NaiveDlReasoner, NaiveQbfReasoner, OutputReasoner, PreferredReasoner, ProboI23Reasoner, ProboReasoner, Prover9FolReasoner, QualifiedReasoner, RandomAspicReasoner, RuleBasedCReasoner, SatCompleteReasoner, SatReasoner, SatStableReasoner, SccCF2Reasoner, SCF2Reasoner, SCOOCNaiveReasoner, SeeAcceptabilityReasoner, SeemAcceptabilityReasoner, SemiQualifiedReasoner, SerialisableExtensionReasoner, SerialisedAdmissibleReasoner, SerialisedCompleteReasoner, SerialisedGroundedReasoner, SerialisedPreferredReasoner, SerialisedStableReasoner, SerialisedStronglyAdmissibleReasoner, SerialisedUnchallengedReasoner, SimpleAdmissibleReasoner, SimpleAdmissibleSetAfReasoner, SimpleAspicReasoner, SimpleClInheritedReasoner, SimpleClNaiveReasoner, SimpleClPreferredReaonser, SimpleClSemistableReasoner, SimpleClStableReasoner, SimpleClStagedReasoner, SimpleCompleteReasoner, SimpleCompleteSetAfReasoner, SimpleConflictFreeReasoner, SimpleConflictFreeSetAfReasoner, SimpleCReasoner, SimpleDefaultReasoner, SimpleEagerReasoner, SimpleEagerSetAfReasoner, SimpleFolReasoner, SimpleGroundedReasoner, SimpleGroundedSetAfReasoner, SimpleIdealReasoner, SimpleIdealSetAfReasoner, SimpleInitialReasoner, SimpleMlReasoner, SimpleNaiveReasoner, SimpleNaiveSetAfReasoner, SimplePlReasoner, SimplePreferredReasoner, SimplePreferredSetAfReasoner, SimpleRelationalCReasoner, SimpleResolutionBasedReasoner, SimpleSccCompleteReasoner, SimpleSccRecursiveReasoner, SimpleSemiStableReasoner, SimpleSemiStableSetAfReasoner, SimpleStableReasoner, SimpleStableSetAfReasoner, SimpleStageReasoner, SimpleStageSetAfReasoner, SolidAdmissibleReasoner, SpassFolReasoner, SPASSMlReasoner, StableReasoner, Stage2Reasoner, StratifiedLabelingReasoner, StronglyAdmissibleReasoner, StronglyUndisputedReasoner, UndisputedReasoner, VacuousReductReasoner, WeaklyAdmissibleReasoner, WeaklyCompleteReasoner, WeaklyGroundedReasoner, WeaklyPreferredReasoner, WellFoundedReasoner, ZReasoner
public interface QualitativeReasoner<B extends BeliefBase,F extends Formula> extends Reasoner<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
    boolean
    isInstalled()
     
    Boolean
    query(B beliefbase, F formula)
    Queries the given belief base for the given formula.

  • Method Details

    • query

      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<Boolean,B extends BeliefBase,F extends Formula>
      Parameters:
      beliefbase - a belief base
      formula - a formula
      Returns:
      the answer to the query

    • isInstalled

      boolean isInstalled()
      Returns:
      if the solver is installed