Package net.sf.tweety.commons

Interface QualitativeReasoner<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<Boolean,​B,​F>
    public interface QualitativeReasoner<B extends BeliefBase,​F extends Formula>
extends Reasoner<Boolean,​B,​F>
    The general interface for objects that are able to query a belief base with some formula and return either TRUE or FALSE as answer.
    Author:
    Matthias Thimm

    • Method Summary

      Modifier and Type Method Description
      Boolean query​(B beliefbase, F formula)
      Queries the given belief base for the given formula.

    • Method Detail

      • query

        Boolean query​(B beliefbase,
              F formula)
        Description copied from interface: Reasoner
        Queries the given belief base for the given formula.
        Specified by:
        query in interface Reasoner<Boolean,​B extends BeliefBase,​F extends Formula>
        Parameters:
        beliefbase - a belief base
        formula - a formula
        Returns:
        the answer to the query