Class MarkovLogicNetwork

    • Constructor Detail

      • MarkovLogicNetwork

        public MarkovLogicNetwork()
        Creates a new (empty) MLN.
      • MarkovLogicNetwork

        public MarkovLogicNetwork​(Collection<? extends MlnFormula> formulas)
        Creates a new conditional MLN with the given collection of MLN formulas.
        Parameters:
        formulas - a collection of MLN formulas.
    • Method Detail

      • getMinimalSignature

        public net.sf.tweety.commons.Signature getMinimalSignature()
        Specified by:
        getMinimalSignature in interface net.sf.tweety.commons.BeliefBase
      • instantiateSignature

        protected net.sf.tweety.logics.fol.syntax.FolSignature instantiateSignature()
        Specified by:
        instantiateSignature in class net.sf.tweety.commons.BeliefSet<MlnFormula,​net.sf.tweety.logics.fol.syntax.FolSignature>