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

    Modifier and Type
    Method
    Description
    boolean
     

    Methods inherited from interface org.tweetyproject.commons.Reasoner

    query
  • Method Details

    • isInstalled

      boolean isInstalled()
      Returns:
      if reasoner is installed