Package org.tweetyproject.commons

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, 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, IaqAcceptabilityReasoner, IdealReasoner, IssReasoner, IteratingMlnReasoner, LiteralReasoner, 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, SerialisableExtensionReasoner, SerialisedAdmissibleReasoner, SerialisedCompleteReasoner, SerialisedGroundedReasoner, SerialisedPreferredReasoner, SerialisedStableReasoner, SerialisedStronglyAdmissibleReasoner, SerialisedUnchallengedReasoner, SFR_GreedyKApproximationReasoner, SimpleAdmissibleReasoner, SimpleAdmissibleSetAfReasoner, SimpleAspicReasoner, 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