Interface Reasoner<O,B extends BeliefBase,F extends Formula>

Type Parameters:
O - the type of output to a query
B - the belief base type that can be queried
F - the type of formulas that can be queries
All Known Subinterfaces:
KOptimisationReasoner, QualitativeReasoner<B,F>, QuantitativeReasoner<B,F>
All Known Implementing Classes:
AbstractAcceptabilityReasoner, AbstractAspicReasoner, AbstractCAFReasoner, AbstractClaimBasedReasoner, AbstractConditionalLogicReasoner, AbstractDeductiveArgumentationReasoner, AbstractDungReasoner, AbstractExtendedExtensionReasoner, AbstractExtensionReasoner, AbstractExtensionSetAfReasoner, AbstractMlnReasoner, AbstractMlReasoner, AbstractPafReasoner, AbstractPclReasoner, AbstractPlReasoner, AbstractSatExtensionReasoner, AbstractSetAfReasoner, AlchemyMlnReasoner, ApproximateNaiveMlnReasoner, ArgumentationReasoner, ASPSolver, ClingoSolver, CompilationReasoner, CompleteReasoner, CReasoner, DefaultMeReasoner, DelpReasoner, DirectionalAspicReasoner, DLVSolver, EeeAcceptabilityReasoner, EFOLReasoner, FlatAbaReasoner, FlattenBasedExtendedExtensionReasoner, FolReasoner, FudgeAcceptabilityReasoner, GCF_GreedyKApproximationReasoner, GeneralAbaReasoner, GeneralizedMeReasoner, GFR_GreedyKApproximationReasoner, GgAdmissibleApproximationReasoner, GgAdmissibleAstApproximationReasoner, GsAdmissibleApproximationReasoner, GsAdmissibleAstApproximationReasoner, IaqAcceptabilityReasoner, IdealReasoner, IssReasoner, IteratingMlnReasoner, LiteralReasoner, MaxSatKAdmissibleAstReasoner, MaxSatKAdmissibleReasoner, MaxSatKStableAstReasoner, MaxSatKStableReasoner, MleanCoPReasoner, ModuleBasedAspicReasoner, MonteCarloPafReasoner, NaiveDlReasoner, NaiveQbfReasoner, OutputReasoner, PreferredReasoner, ProboI23Reasoner, ProboReasoner, Prover9FolReasoner, QualifiedReasoner, RandomAspicReasoner, RpclMeReasoner, RuleBasedCReasoner, SatCompleteReasoner, SatReasoner, SatStableReasoner, SccCF2Reasoner, SCF_GreedyKApproximationReasoner, SCF2Reasoner, SCOOCNaiveReasoner, SeeAcceptabilityReasoner, SeemAcceptabilityReasoner, SemiQualifiedReasoner, SerialisedExtensionReasoner, SFR_GreedyKApproximationReasoner, SimpleAdmissibleReasoner, SimpleAdmissibleSetAfReasoner, SimpleAspicReasoner, SimpleCAFAdmissibleReasoner, SimpleCAFGroundedReasoner, SimpleCAFPreferredReasoner, SimpleCAFStableReasoner, SimpleCAFWeakGroundedReasoner, SimpleClInheritedReasoner, SimpleClNaiveReasoner, SimpleClPreferredReaonser, SimpleClSemistableReasoner, SimpleClStableReasoner, SimpleClStagedReasoner, SimpleCompleteReasoner, SimpleCompleteSetAfReasoner, SimpleConflictFreeReasoner, SimpleConflictFreeSetAfReasoner, SimpleCReasoner, SimpleDeductiveReasoner, SimpleDefaultReasoner, SimpleEagerReasoner, SimpleEagerSetAfReasoner, SimpleExtendedAdmissibleReasoner, SimpleExtendedCompleteReasoner, SimpleExtendedConflictFreeReasoner, SimpleFolReasoner, SimpleGroundedReasoner, SimpleGroundedSetAfReasoner, SimpleIdealReasoner, SimpleIdealSetAfReasoner, SimpleInitialReasoner, SimpleMlnReasoner, SimpleMlReasoner, SimpleNaiveReasoner, SimplePafReasoner, SimplePlReasoner, SimplePreferredReasoner, SimplePreferredSetAfReasoner, SimpleRelationalCReasoner, SimpleResolutionBasedReasoner, SimpleSamplingMlnReasoner, 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 Reasoner<O,B extends BeliefBase,F extends Formula>
The general interface for objects that are able to query a belief base with some formula.
Author:
Matthias Thimm

  • Method Summary

    Modifier and Type
    Method
    Description
    O
    query(B beliefbase, F formula)
    Queries the given belief base for the given formula.

  • Method Details

    • query

      O query(B beliefbase, F formula)
      Queries the given belief base for the given formula.
      Parameters:
      beliefbase - a belief base
      formula - a formula
      Returns:
      the answer to the query