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 and Description
MlnExample()

Method Summary

Modifier and Type	Method and 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

clone, equals, finalize, 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