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:

QualitativeReasoner<B,F>, QuantitativeReasoner<B,F>

All Known Implementing Classes:

AbstractAcceptabilityReasoner, AbstractAspicReasoner, AbstractConditionalLogicReasoner, AbstractDeductiveArgumentationReasoner, AbstractDungReasoner, AbstractExtensionReasoner, AbstractMlnReasoner, AbstractMlReasoner, AbstractPafReasoner, AbstractPclReasoner, AbstractPlReasoner, AbstractSatExtensionReasoner, AlchemyMlnReasoner, ApproximateNaiveMlnReasoner, ArgumentationReasoner, ASPSolver, ClingoSolver, CompilationReasoner, CompleteReasoner, CReasoner, DefaultMeReasoner, DelpReasoner, DirectionalAspicReasoner, DLVSolver, EeeAcceptabilityReasoner, EFOLReasoner, FlatAbaReasoner, FolReasoner, GeneralAbaReasoner, GeneralizedMeReasoner, IaqAcceptabilityReasoner, IdealReasoner, IssReasoner, IteratingMlnReasoner, LiteralReasoner, MleanCoPReasoner, ModuleBasedAspicReasoner, MonteCarloPafReasoner, NaiveDlReasoner, NaiveQbfReasoner, OutputReasoner, PreferredReasoner, ProboReasoner, Prover9FolReasoner, QualifiedReasoner, RandomAspicReasoner, RpclMeReasoner, RuleBasedCReasoner, SatCompleteReasoner, SatReasoner, SatStableReasoner, SccCF2Reasoner, SCF2Reasoner, SCOOCNaiveReasoner, SeeAcceptabilityReasoner, SeemAcceptabilityReasoner, SemiQualifiedReasoner, SimpleAdmissibleReasoner, SimpleAspicReasoner, SimpleCompleteReasoner, SimpleConflictFreeReasoner, SimpleCReasoner, SimpleDeductiveReasoner, SimpleDefaultReasoner, SimpleFolReasoner, SimpleGroundedReasoner, SimpleIdealReasoner, SimpleMlnReasoner, SimpleMlReasoner, SimpleNaiveReasoner, SimplePafReasoner, SimplePlReasoner, SimplePreferredReasoner, SimpleRelationalCReasoner, SimpleSamplingMlnReasoner, SimpleSccCompleteReasoner, SimpleSemiStableReasoner, SimpleStableReasoner, SimpleStageReasoner, SpassFolReasoner, SPASSMlReasoner, StableReasoner, Stage2Reasoner, StratifiedLabelingReasoner, WeaklyAdmissibleReasoner, 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 Detail

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