Interface QuantitativeReasoner<B extends BeliefBase,​F extends Formula>

Type Parameters:
B - the belief base type that can be queried
F - the type of formulas that can be queries
All Superinterfaces:
Reasoner<Double,​B,​F>
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

    Methods inherited from interface org.tweetyproject.commons.Reasoner

    query