Package net.sf.tweety.commons
Interface QualitativeReasoner<B extends BeliefBase,F extends Formula>
-
- Type Parameters:
B
- the belief base type that can be queriedF
- the type of formulas that can be queries
- All Superinterfaces:
Reasoner<java.lang.Boolean,B,F>
- All Known Implementing Classes:
AbstractAcceptabilityReasoner
,AbstractAspicReasoner
,AbstractConditionalLogicReasoner
,AbstractDungReasoner
,AbstractExtensionReasoner
,AbstractMlReasoner
,AbstractPlReasoner
,AbstractSatExtensionReasoner
,ArgumentationReasoner
,ASPSolver
,ClingoSolver
,CompleteReasoner
,CReasoner
,DirectionalAspicReasoner
,DLVSolver
,EeeAcceptabilityReasoner
,EFOLReasoner
,FlatAbaReasoner
,FolReasoner
,GeneralAbaReasoner
,IaqAcceptabilityReasoner
,IdealReasoner
,LiteralReasoner
,MleanCoPReasoner
,ModuleBasedAspicReasoner
,NaiveDlReasoner
,NaiveQbfReasoner
,NaiveReasoner
,OutputReasoner
,PreferredReasoner
,ProboReasoner
,Prover9FolReasoner
,QualifiedReasoner
,RandomAspicReasoner
,RuleBasedCReasoner
,SatCompleteReasoner
,SatReasoner
,SatStableReasoner
,SccCF2Reasoner
,SCF2Reasoner
,SCOOCNaiveReasoner
,SeeAcceptabilityReasoner
,SeemAcceptabilityReasoner
,SemiQualifiedReasoner
,SimpleAdmissibleReasoner
,SimpleAspicReasoner
,SimpleCompleteReasoner
,SimpleConflictFreeReasoner
,SimpleCReasoner
,SimpleDefaultReasoner
,SimpleFolReasoner
,SimpleGroundedReasoner
,SimpleIdealReasoner
,SimpleMlReasoner
,SimplePlReasoner
,SimplePreferredReasoner
,SimpleRelationalCReasoner
,SimpleSccCompleteReasoner
,SimpleSemiStableReasoner
,SimpleStableReasoner
,SimpleStageReasoner
,SpassFolReasoner
,SPASSMlReasoner
,StableReasoner
,Stage2Reasoner
,StratifiedLabelingReasoner
,WeaklyAdmissibleReasoner
,WellFoundedReasoner
,ZReasoner
public interface QualitativeReasoner<B extends BeliefBase,F extends Formula> extends Reasoner<java.lang.Boolean,B,F>
The general interface for objects that are able to query a belief base with some formula and return either TRUE or FALSE as answer.- Author:
- Matthias Thimm