Package | Description |
---|---|
net.sf.tweety.logics.ml | |
net.sf.tweety.logics.ml.analysis | |
net.sf.tweety.logics.ml.test |
Modifier and Type | Method and Description |
---|---|
private java.io.File |
AlchemyMlnReasoner.writeAlchemyMlnFile(MarkovLogicNetwork mln,
FolSignature signature,
FolFormula formula)
Writes the given MLN wrt.
|
Modifier and Type | Method and Description |
---|---|
double |
AggregatingCoherenceMeasure.coherence(MarkovLogicNetwork mln,
Reasoner reasoner,
FolSignature signature) |
abstract double |
AbstractCoherenceMeasure.coherence(MarkovLogicNetwork mln,
Reasoner reasoner,
FolSignature signature)
Measures the coherence of the given MLN using the given reasoner.
|
Modifier and Type | Method and Description |
---|---|
double |
DefaultCompatibilityMeasure.compatibility(java.util.List<MarkovLogicNetwork> mlns,
Reasoner reasoner,
java.util.List<FolSignature> signatures) |
double |
CompatibilityMeasure.compatibility(java.util.List<MarkovLogicNetwork> mlns,
Reasoner reasoner,
java.util.List<FolSignature> signatures)
Measures the compatibility of the given MLNs wrt.
|
Modifier and Type | Field and Description |
---|---|
MarkovLogicNetwork |
ExpResult.mln |
Modifier and Type | Method and Description |
---|---|
static Pair<MarkovLogicNetwork,FolSignature> |
MlnTest.CommonColdExample(int domain_size) |
static Pair<MarkovLogicNetwork,FolSignature> |
MlnTest.ElephantZooExample(int domain_size) |
static Pair<MarkovLogicNetwork,FolSignature> |
MlnTest.iterateExamples(int exNum,
int domain_size) |
static Pair<MarkovLogicNetwork,FolSignature> |
MlnTest2.Nixon1() |
static Pair<MarkovLogicNetwork,FolSignature> |
MlnTest2.Nixon2() |
static Pair<MarkovLogicNetwork,FolSignature> |
MlnTest2.Nixon3() |
static Pair<MarkovLogicNetwork,FolSignature> |
MlnTest.SimpleExample(int domain_size) |
static Pair<MarkovLogicNetwork,FolSignature> |
MlnTest.SmokersExample(int domain_size) |