Package org.tweetyproject.commons
Interface QuantitativeReasoner<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 Known Implementing Classes:
AbstractDeductiveArgumentationReasoner
,AbstractMlnReasoner
,AbstractPafReasoner
,AbstractPclReasoner
,AlchemyMlnReasoner
,ApproximateNaiveMlnReasoner
,CompilationReasoner
,DefaultMeReasoner
,GeneralizedMeReasoner
,IssReasoner
,IteratingMlnReasoner
,MonteCarloPafReasoner
,RpclMeReasoner
,SimpleDeductiveReasoner
,SimpleMlnReasoner
,SimplePafReasoner
,SimpleSamplingMlnReasoner
public interface QuantitativeReasoner<B extends BeliefBase,F extends Formula>
extends Reasoner<Double,B,F>
The general interface for objects that are able to query a belief base
with some formula and return a degree (double value) of its acceptability.
- Author:
- Matthias Thimm
-
Method Summary
-
Method Details
-
isInstalled
boolean isInstalled()- Returns:
- if reasoner is installed
-