| Package | Description |
|---|---|
| net.sf.tweety.logics.ml.analysis | |
| net.sf.tweety.logics.ml.test |
| Modifier and Type | Method and Description |
|---|---|
double |
AggregatingCoherenceMeasure.coherence(MarkovLogicNetwork mln,
net.sf.tweety.commons.Reasoner reasoner,
net.sf.tweety.logics.fol.syntax.FolSignature signature) |
abstract double |
AbstractCoherenceMeasure.coherence(MarkovLogicNetwork mln,
net.sf.tweety.commons.Reasoner reasoner,
net.sf.tweety.logics.fol.syntax.FolSignature signature)
Measures the coherence of the given MLN using the given reasoner.
|
| Modifier and Type | Method and Description |
|---|---|
double |
CompatibilityMeasure.compatibility(List<MarkovLogicNetwork> mlns,
net.sf.tweety.commons.Reasoner reasoner,
List<net.sf.tweety.logics.fol.syntax.FolSignature> signatures)
Measures the compatibility of the given MLNs wrt.
|
double |
DefaultCompatibilityMeasure.compatibility(List<MarkovLogicNetwork> mlns,
net.sf.tweety.commons.Reasoner reasoner,
List<net.sf.tweety.logics.fol.syntax.FolSignature> signatures) |
| Modifier and Type | Field and Description |
|---|---|
MarkovLogicNetwork |
ExpResult.mln |
| Modifier and Type | Method and Description |
|---|---|
static net.sf.tweety.commons.util.Pair<MarkovLogicNetwork,net.sf.tweety.logics.fol.syntax.FolSignature> |
MlnTest.CommonColdExample(int domain_size) |
static net.sf.tweety.commons.util.Pair<MarkovLogicNetwork,net.sf.tweety.logics.fol.syntax.FolSignature> |
MlnTest.ElephantZooExample(int domain_size) |
static net.sf.tweety.commons.util.Pair<MarkovLogicNetwork,net.sf.tweety.logics.fol.syntax.FolSignature> |
MlnTest.iterateExamples(int exNum,
int domain_size) |
static net.sf.tweety.commons.util.Pair<MarkovLogicNetwork,net.sf.tweety.logics.fol.syntax.FolSignature> |
MlnTest2.Nixon1() |
static net.sf.tweety.commons.util.Pair<MarkovLogicNetwork,net.sf.tweety.logics.fol.syntax.FolSignature> |
MlnTest2.Nixon2() |
static net.sf.tweety.commons.util.Pair<MarkovLogicNetwork,net.sf.tweety.logics.fol.syntax.FolSignature> |
MlnTest2.Nixon3() |
static net.sf.tweety.commons.util.Pair<MarkovLogicNetwork,net.sf.tweety.logics.fol.syntax.FolSignature> |
MlnTest.SimpleExample(int domain_size) |
static net.sf.tweety.commons.util.Pair<MarkovLogicNetwork,net.sf.tweety.logics.fol.syntax.FolSignature> |
MlnTest.SmokersExample(int domain_size) |
Copyright © 2018. All rights reserved.