Package net.sf.tweety.commons

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<java.lang.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<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

Method Summary

Methods inherited from interface net.sf.tweety.commons.Reasoner

query