Interface QualitativeReasoner<B extends BeliefBase,​F extends Formula>

    • Method Summary

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

      • query

        java.lang.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<java.lang.Boolean,​B extends BeliefBase,​F extends Formula>
        Parameters:
        beliefbase - a belief base
        formula - a formula
        Returns:
        the answer to the query