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<Double,​B,​F>
    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 net.sf.tweety.commons.Reasoner

        query