Uses of Class
net.sf.tweety.logics.mln.syntax.MarkovLogicNetwork
- 
Packages that use MarkovLogicNetwork Package Description net.sf.tweety.logics.mln.analysis net.sf.tweety.logics.mln.examples net.sf.tweety.logics.mln.reasoner  - 
- 
Uses of MarkovLogicNetwork in net.sf.tweety.logics.mln.analysis
Methods in net.sf.tweety.logics.mln.analysis with parameters of type MarkovLogicNetwork Modifier and Type Method Description abstract doubleAbstractCoherenceMeasure. coherence(MarkovLogicNetwork mln, AbstractMlnReasoner reasoner, FolSignature signature)Measures the coherence of the given MLN using the given reasoner.doubleAggregatingCoherenceMeasure. coherence(MarkovLogicNetwork mln, AbstractMlnReasoner reasoner, FolSignature signature)Method parameters in net.sf.tweety.logics.mln.analysis with type arguments of type MarkovLogicNetwork Modifier and Type Method Description doubleCompatibilityMeasure. compatibility(java.util.List<MarkovLogicNetwork> mlns, AbstractMlnReasoner reasoner, java.util.List<FolSignature> signatures)Measures the compatibility of the given MLNs wrt.doubleDefaultCompatibilityMeasure. compatibility(java.util.List<MarkovLogicNetwork> mlns, AbstractMlnReasoner reasoner, java.util.List<FolSignature> signatures) - 
Uses of MarkovLogicNetwork in net.sf.tweety.logics.mln.examples
Methods in net.sf.tweety.logics.mln.examples that return types with arguments of type MarkovLogicNetwork Modifier and Type Method Description static Pair<MarkovLogicNetwork,FolSignature>MlnExample. CommonColdExample(int domain_size)static Pair<MarkovLogicNetwork,FolSignature>MlnExample. ElephantZooExample(int domain_size)static Pair<MarkovLogicNetwork,FolSignature>MlnExample. iterateExamples(int exNum, int domain_size)static Pair<MarkovLogicNetwork,FolSignature>MlnExample2. Nixon1()static Pair<MarkovLogicNetwork,FolSignature>MlnExample2. Nixon2()static Pair<MarkovLogicNetwork,FolSignature>MlnExample2. Nixon3()static Pair<MarkovLogicNetwork,FolSignature>MlnExample. SimpleExample(int domain_size)static Pair<MarkovLogicNetwork,FolSignature>MlnExample. SmokersExample(int domain_size) - 
Uses of MarkovLogicNetwork in net.sf.tweety.logics.mln.reasoner
Methods in net.sf.tweety.logics.mln.reasoner with parameters of type MarkovLogicNetwork Modifier and Type Method Description java.util.Map<HerbrandInterpretation,java.lang.Double>ApproximateNaiveMlnReasoner. computeModel(MarkovLogicNetwork mln, FolSignature signature)Computes the model of the given MLN wrt.private java.io.FileSimpleMlnReasoner. computeModel(MarkovLogicNetwork mln, FolSignature signature)Computes the model of the given MLN.protected doubleAbstractMlnReasoner. computeWeight(MarkovLogicNetwork mln, HerbrandInterpretation hInt, FolSignature signature)Computes the (unnormalized) weight of the given Herbrand interpretation with respect to the formulas in this reasoner's MLN.protected abstract doubleAbstractMlnReasoner. doQuery(MarkovLogicNetwork mln, FolFormula query, FolSignature signature)Performs the actual querying.doubleAlchemyMlnReasoner. doQuery(MarkovLogicNetwork mln, FolFormula query, FolSignature signature)protected doubleApproximateNaiveMlnReasoner. doQuery(MarkovLogicNetwork mln, FolFormula query, FolSignature signature)protected doubleIteratingMlnReasoner. doQuery(MarkovLogicNetwork mln, FolFormula query, FolSignature signature)doubleSimpleMlnReasoner. doQuery(MarkovLogicNetwork mln, FolFormula query, FolSignature signature)protected doubleSimpleSamplingMlnReasoner. doQuery(MarkovLogicNetwork mln, FolFormula query, FolSignature signature)java.lang.DoubleAbstractMlnReasoner. query(MarkovLogicNetwork mln, FolFormula query)java.lang.DoubleAbstractMlnReasoner. query(MarkovLogicNetwork mln, FolFormula query, FolSignature signature)Queries the given MLN wrt.private java.io.FileAlchemyMlnReasoner. writeAlchemyMlnFile(MarkovLogicNetwork mln, FolSignature signature, FolFormula formula)Writes the given MLN wrt. 
 -