Uses of Class
org.tweetyproject.logics.mln.syntax.MarkovLogicNetwork

Packages that use MarkovLogicNetwork

Package	Description
org.tweetyproject.logics.mln.analysis
org.tweetyproject.logics.mln.examples
org.tweetyproject.logics.mln.reasoner

Uses of MarkovLogicNetwork in org.tweetyproject.logics.mln.analysis

Methods in org.tweetyproject.logics.mln.analysis with parameters of type MarkovLogicNetwork

Modifier and Type	Method	Description
abstract double	AbstractCoherenceMeasure.coherence(MarkovLogicNetwork mln, AbstractMlnReasoner reasoner, FolSignature signature)	Measures the coherence of the given MLN using the given reasoner.
double	AggregatingCoherenceMeasure.coherence(MarkovLogicNetwork mln, AbstractMlnReasoner reasoner, FolSignature signature)

Method parameters in org.tweetyproject.logics.mln.analysis with type arguments of type MarkovLogicNetwork

Modifier and Type	Method	Description
double	CompatibilityMeasure.compatibility(List<MarkovLogicNetwork> mlns, AbstractMlnReasoner reasoner, List<FolSignature> signatures)	Measures the compatibility of the given MLNs wrt.
double	DefaultCompatibilityMeasure.compatibility(List<MarkovLogicNetwork> mlns, AbstractMlnReasoner reasoner, List<FolSignature> signatures)

Uses of MarkovLogicNetwork in org.tweetyproject.logics.mln.examples

Methods in org.tweetyproject.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)	Constructs the Common Cold MLN with a given domain size.
static Pair<MarkovLogicNetwork,FolSignature>	MlnExample.ElephantZooExample(int domain_size)	Constructs the Elephant Zoo Example MLN with a given domain size.
static Pair<MarkovLogicNetwork,FolSignature>	MlnExample.iterateExamples(int exNum, int domain_size)	Generates a pair of a MarkovLogicNetwork and a FolSignature based on the example number.
static Pair<MarkovLogicNetwork,FolSignature>	MlnExample2.Nixon1()	Constructs the Nixon1 MLN example, which represents a scenario with Quakers, Republicans, and Pacifists with certain probabilities.
static Pair<MarkovLogicNetwork,FolSignature>	MlnExample2.Nixon2()	Constructs the Nixon2 MLN example, which represents Nixon being both a Quaker, Republican, and President.
static Pair<MarkovLogicNetwork,FolSignature>	MlnExample2.Nixon3()	Constructs the Nixon3 MLN example, which represents Reagan as an actor and president, with certain probabilities on roles.
static Pair<MarkovLogicNetwork,FolSignature>	MlnExample.SimpleExample(int domain_size)	Constructs the Simple Example MLN with a given domain size.
static Pair<MarkovLogicNetwork,FolSignature>	MlnExample.SmokersExample(int domain_size)	Constructs the Smokers Example MLN with a given domain size.

Uses of MarkovLogicNetwork in org.tweetyproject.logics.mln.reasoner

Methods in org.tweetyproject.logics.mln.reasoner with parameters of type MarkovLogicNetwork

Modifier and Type	Method	Description
Map<HerbrandInterpretation,Double>	ApproximateNaiveMlnReasoner.computeModel(MarkovLogicNetwork mln, FolSignature signature)	Computes the model of the given MLN wrt.
double	AlchemyMlnReasoner.doQuery(MarkovLogicNetwork mln, FolFormula query, FolSignature signature)
double	SimpleMlnReasoner.doQuery(MarkovLogicNetwork mln, FolFormula query, FolSignature signature)
Double	AbstractMlnReasoner.query(MarkovLogicNetwork mln, FolFormula query)
Double	AbstractMlnReasoner.query(MarkovLogicNetwork mln, FolFormula query, FolSignature signature)	Queries the given MLN wrt.