Package net.sf.tweety.commons

Interface Reasoner<O,​B extends BeliefBase,​F extends Formula>

  • Type Parameters:
    O - the type of output to a query
    B - the belief base type that can be queried
    F - the type of formulas that can be queries
    All Known Subinterfaces:
    QualitativeReasoner<B,​F>, QuantitativeReasoner<B,​F>
    public interface Reasoner<O,​B extends BeliefBase,​F extends Formula>
    The general interface for objects that are able to query a belief base with some formula.
    Author:
    Matthias Thimm

    • Method Summary

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

    • Method Detail

      • query

        O query​(B beliefbase,
        F formula)
        Queries the given belief base for the given formula.
        Parameters:
        beliefbase - a belief base
        formula - a formula
        Returns:
        the answer to the query