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:
QualitativeReasoner<B,F>, QuantitativeReasoner<B,F>
All Known Implementing Classes:
AbstractAcceptabilityReasoner, AbstractAspicReasoner, AbstractClaimBasedReasoner, AbstractConditionalLogicReasoner, AbstractDeductiveArgumentationReasoner, AbstractDungReasoner, AbstractExtensionReasoner, AbstractExtensionSetAfReasoner, AbstractMlnReasoner, AbstractMlReasoner, AbstractPafReasoner, AbstractPclReasoner, AbstractPlReasoner, AbstractSatExtensionReasoner, AbstractSetAfReasoner, AlchemyMlnReasoner, ApproximateNaiveMlnReasoner, ArgumentationReasoner, ASPSolver, ClingoSolver, CompilationReasoner, CompleteReasoner, CReasoner, DefaultMeReasoner, DelpReasoner, DirectionalAspicReasoner, DLVSolver, EeeAcceptabilityReasoner, EFOLReasoner, FlatAbaReasoner, FolReasoner, FudgeAcceptabilityReasoner, GeneralAbaReasoner, GeneralizedMeReasoner, IaqAcceptabilityReasoner, IdealReasoner, IssReasoner, IteratingMlnReasoner, LiteralReasoner, MleanCoPReasoner, ModuleBasedAspicReasoner, MonteCarloPafReasoner, NaiveDlReasoner, NaiveQbfReasoner, OutputReasoner, PreferredReasoner, ProboI23Reasoner, ProboReasoner, Prover9FolReasoner, QualifiedReasoner, RandomAspicReasoner, RpclMeReasoner, 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, SimpleDeductiveReasoner, SimpleDefaultReasoner, SimpleEagerReasoner, SimpleEagerSetAfReasoner, SimpleFolReasoner, SimpleGroundedReasoner, SimpleGroundedSetAfReasoner, SimpleIdealReasoner, SimpleIdealSetAfReasoner, SimpleInitialReasoner, SimpleMlnReasoner, SimpleMlReasoner, SimpleNaiveReasoner, SimpleNaiveSetAfReasoner, 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
    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