- Type Parameters:
B
- the belief base type that can be queried
F
- the type of formulas that can be queries
- All Superinterfaces:
- Reasoner<java.lang.Double,B,F>
- All Known Implementing Classes:
- AbstractDeductiveArgumentationReasoner, AbstractMlnReasoner, AbstractPafReasoner, AbstractPclReasoner, AlchemyMlnReasoner, ApproximateNaiveMlnReasoner, CompilationReasoner, DefaultMeReasoner, GeneralizedMeReasoner, IssReasoner, IteratingMlnReasoner, MonteCarloPafReasoner, NaiveMlnReasoner, NaivePafReasoner, RpclMeReasoner, SimpleReasoner, SimpleSamplingMlnReasoner
public interface QuantitativeReasoner<B extends BeliefBase,F extends Formula>
extends Reasoner<java.lang.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