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 and Description
double	AggregatingCoherenceMeasure.coherence(MarkovLogicNetwork mln, AbstractMlnReasoner reasoner, FolSignature signature)
abstract double	AbstractCoherenceMeasure.coherence(MarkovLogicNetwork mln, AbstractMlnReasoner reasoner, FolSignature signature) Measures the coherence of the given MLN using the given reasoner.

Method parameters in net.sf.tweety.logics.mln.analysis with type arguments of type MarkovLogicNetwork

Modifier and Type	Method and Description
double	CompatibilityMeasure.compatibility(java.util.List<MarkovLogicNetwork> mlns, AbstractMlnReasoner reasoner, java.util.List<FolSignature> signatures) Measures the compatibility of the given MLNs wrt.
double	DefaultCompatibilityMeasure.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 and 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 and 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.File	NaiveMlnReasoner.computeModel(MarkovLogicNetwork mln, FolSignature signature) Computes the model of the given MLN.
protected double	AbstractMlnReasoner.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 double	SimpleSamplingMlnReasoner.doQuery(MarkovLogicNetwork mln, FolFormula query, FolSignature signature)
protected double	ApproximateNaiveMlnReasoner.doQuery(MarkovLogicNetwork mln, FolFormula query, FolSignature signature)
protected abstract double	AbstractMlnReasoner.doQuery(MarkovLogicNetwork mln, FolFormula query, FolSignature signature) Performs the actual querying.
double	AlchemyMlnReasoner.doQuery(MarkovLogicNetwork mln, FolFormula query, FolSignature signature)
protected double	IteratingMlnReasoner.doQuery(MarkovLogicNetwork mln, FolFormula query, FolSignature signature)
double	NaiveMlnReasoner.doQuery(MarkovLogicNetwork mln, FolFormula query, FolSignature signature)
java.lang.Double	AbstractMlnReasoner.query(MarkovLogicNetwork mln, FolFormula query)
java.lang.Double	AbstractMlnReasoner.query(MarkovLogicNetwork mln, FolFormula query, FolSignature signature) Queries the given MLN wrt.
private java.io.File	AlchemyMlnReasoner.writeAlchemyMlnFile(MarkovLogicNetwork mln, FolSignature signature, FolFormula formula) Writes the given MLN wrt.