Class AbstractMlnReasoner

    • Method Summary

      Modifier and Type Method Description
      java.lang.Double query​(MarkovLogicNetwork mln, FolFormula query)
      Queries the given belief base for the given formula.
      java.lang.Double query​(MarkovLogicNetwork mln, FolFormula query, FolSignature signature)
      Queries the given MLN wrt.
      • Methods inherited from class java.lang.Object

        equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
    • Constructor Detail

      • AbstractMlnReasoner

        public AbstractMlnReasoner()
    • Method Detail

      • query

        public java.lang.Double query​(MarkovLogicNetwork mln,
                                      FolFormula query,
                                      FolSignature signature)
        Queries the given MLN wrt. the given signature
        Parameters:
        mln - some mln
        query - some query
        signature - some signature
        Returns:
        the answer to the query