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

Class MlnExample

java.lang.Object

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

public class MlnExample
extends 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 net.sf.tweety.commons.util.Pair<MarkovLogicNetwork,net.sf.tweety.logics.fol.syntax.FolSignature>	CommonColdExample(int domain_size)
static net.sf.tweety.commons.util.Pair<MarkovLogicNetwork,net.sf.tweety.logics.fol.syntax.FolSignature>	ElephantZooExample(int domain_size)
static net.sf.tweety.commons.util.Pair<MarkovLogicNetwork,net.sf.tweety.logics.fol.syntax.FolSignature>	iterateExamples(int exNum, int domain_size)
static void	main(String[] args)
static net.sf.tweety.commons.util.Pair<MarkovLogicNetwork,net.sf.tweety.logics.fol.syntax.FolSignature>	SimpleExample(int domain_size)
static net.sf.tweety.commons.util.Pair<MarkovLogicNetwork,net.sf.tweety.logics.fol.syntax.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 net.sf.tweety.commons.util.Pair<MarkovLogicNetwork,net.sf.tweety.logics.fol.syntax.FolSignature> SmokersExample(int domain_size)
                                                                                                                             throws net.sf.tweety.commons.ParserException,
                                                                                                                                    IOException

Throws:

net.sf.tweety.commons.ParserException

IOException

ElephantZooExample

public static net.sf.tweety.commons.util.Pair<MarkovLogicNetwork,net.sf.tweety.logics.fol.syntax.FolSignature> ElephantZooExample(int domain_size)
                                                                                                                                 throws net.sf.tweety.commons.ParserException,
                                                                                                                                        IOException

Throws:

net.sf.tweety.commons.ParserException

IOException

CommonColdExample

public static net.sf.tweety.commons.util.Pair<MarkovLogicNetwork,net.sf.tweety.logics.fol.syntax.FolSignature> CommonColdExample(int domain_size)
                                                                                                                                throws net.sf.tweety.commons.ParserException,
                                                                                                                                       IOException

Throws:

net.sf.tweety.commons.ParserException

IOException

SimpleExample

public static net.sf.tweety.commons.util.Pair<MarkovLogicNetwork,net.sf.tweety.logics.fol.syntax.FolSignature> SimpleExample(int domain_size)
                                                                                                                            throws net.sf.tweety.commons.ParserException,
                                                                                                                                   IOException

Throws:

net.sf.tweety.commons.ParserException

IOException

iterateExamples

public static net.sf.tweety.commons.util.Pair<MarkovLogicNetwork,net.sf.tweety.logics.fol.syntax.FolSignature> iterateExamples(int exNum,
                                                                                                                                     int domain_size)
                                                                                                                              throws net.sf.tweety.commons.ParserException,
                                                                                                                                     IOException

Throws:

net.sf.tweety.commons.ParserException

IOException

main

public static void main(String[] args)
                 throws net.sf.tweety.commons.ParserException,
                        IOException

Throws:

net.sf.tweety.commons.ParserException

IOException