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(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 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)
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 org.tweetyproject.logics.mln.reasoner
Methods in org.tweetyproject.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.double
AlchemyMlnReasoner. doQuery(MarkovLogicNetwork mln, FolFormula query, FolSignature signature)
double
SimpleMlnReasoner. 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.
-