Package org.tweetyproject.logics.mln.analysis

Class AbstractCoherenceMeasure

  • All Implemented Interfaces:
    java.io.Serializable
    Direct Known Subclasses:
    AggregatingCoherenceMeasure
    public abstract class AbstractCoherenceMeasure
extends java.lang.Object
implements java.io.Serializable
    This class represents an abstract coherence measure, i.e. a function that measures the coherence of an MLN by comparing the probabilities for the MLN's formulas with the intended ones.
    Author:
    Matthias Thimm
    See Also:
    Serialized Form

    • Method Summary

      Modifier and Type Method Description
      abstract double coherence​(MarkovLogicNetwork mln, AbstractMlnReasoner reasoner, FolSignature signature)
      Measures the coherence of the given MLN using the given reasoner.
      abstract java.lang.String toString()  

      • Methods inherited from class java.lang.Object

        equals, getClass, hashCode, notify, notifyAll, wait, wait, wait

    • Constructor Detail

      • AbstractCoherenceMeasure

        public AbstractCoherenceMeasure()

    • Method Detail

      • coherence

        public abstract double coherence​(MarkovLogicNetwork mln,
                                 AbstractMlnReasoner reasoner,
                                 FolSignature signature)
        Measures the coherence of the given MLN using the given reasoner.
        Parameters:
        mln - some MLN
        reasoner - some reasoner
        signature - a signature
        Returns:
        the coherence measure of the MLN.

      • toString

        public abstract java.lang.String toString()
        Overrides:
        toString in class java.lang.Object