Uses of Class
org.tweetyproject.logics.mln.syntax.MarkovLogicNetwork
Package
Description
-
Uses of MarkovLogicNetwork in org.tweetyproject.logics.mln.analysis
Modifier and TypeMethodDescriptionabstract 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) Modifier and TypeMethodDescriptiondouble
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
Modifier and TypeMethodDescriptionstatic 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
Modifier and TypeMethodDescriptionApproximateNaiveMlnReasoner.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) AbstractMlnReasoner.query
(MarkovLogicNetwork mln, FolFormula query) AbstractMlnReasoner.query
(MarkovLogicNetwork mln, FolFormula query, FolSignature signature) Queries the given MLN wrt.