Package net.sf.tweety.logics.mln.examples

Class MlnExample

java.lang.Object

net.sf.tweety.logics.mln.examples.MlnExample

public class MlnExample
extends java.lang.Object

Shows how MLNs can be constructed programmatically and shows how coherence measures can be used.

Author:

Matthias Thimm

Constructor Summary

Constructors

Constructor	Description
MlnExample()

Method Summary

Modifier and Type	Method	Description
static Pair<MarkovLogicNetwork,FolSignature>	CommonColdExample(int domain_size)
static Pair<MarkovLogicNetwork,FolSignature>	ElephantZooExample(int domain_size)
static Pair<MarkovLogicNetwork,FolSignature>	iterateExamples(int exNum, int domain_size)
static void	main(java.lang.String[] args)
static Pair<MarkovLogicNetwork,FolSignature>	SimpleExample(int domain_size)
static Pair<MarkovLogicNetwork,FolSignature>	SmokersExample(int domain_size)

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

MlnExample

public MlnExample()

Method Detail

SmokersExample

public static Pair<MarkovLogicNetwork,FolSignature> SmokersExample(int domain_size)
                                                                  throws ParserException,
                                                                         java.io.IOException

Throws:

ParserException

java.io.IOException

ElephantZooExample

public static Pair<MarkovLogicNetwork,FolSignature> ElephantZooExample(int domain_size)
                                                                      throws ParserException,
                                                                             java.io.IOException

Throws:

ParserException

java.io.IOException

CommonColdExample

public static Pair<MarkovLogicNetwork,FolSignature> CommonColdExample(int domain_size)
                                                                     throws ParserException,
                                                                            java.io.IOException

Throws:

ParserException

java.io.IOException

SimpleExample

public static Pair<MarkovLogicNetwork,FolSignature> SimpleExample(int domain_size)
                                                                 throws ParserException,
                                                                        java.io.IOException

Throws:

ParserException

java.io.IOException

iterateExamples

public static Pair<MarkovLogicNetwork,FolSignature> iterateExamples(int exNum,
                                                                          int domain_size)
                                                                   throws ParserException,
                                                                          java.io.IOException

Throws:

ParserException

java.io.IOException

main

public static void main(java.lang.String[] args)
                 throws ParserException,
                        java.io.IOException

Throws:

ParserException

java.io.IOException