Package net.sf.tweety.commons
Interface Reasoner<O,B extends BeliefBase,F extends Formula>
-
- Type Parameters:
O
- the type of output to a queryB
- the belief base type that can be queriedF
- 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
,NaiveReasoner
,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
,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