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

Class MlnExample2

java.lang.Object

net.sf.tweety.logics.mln.examples.MlnExample2

public class MlnExample2
extends Object

Gives further examples on how MLNs can be constructed programmatically and how coherence measures can be used.

Author:

Matthias Thimm

Constructor Summary

Constructors

Constructor	Description
MlnExample2()

Method Summary

Modifier and Type	Method	Description
static void	main(String[] args)
static net.sf.tweety.commons.util.Pair<MarkovLogicNetwork,net.sf.tweety.logics.fol.syntax.FolSignature>	Nixon1()
static net.sf.tweety.commons.util.Pair<MarkovLogicNetwork,net.sf.tweety.logics.fol.syntax.FolSignature>	Nixon2()
static net.sf.tweety.commons.util.Pair<MarkovLogicNetwork,net.sf.tweety.logics.fol.syntax.FolSignature>	Nixon3()

Methods inherited from class java.lang.Object

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

Constructor Detail

MlnExample2

public MlnExample2()

Method Detail

Nixon1

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

Throws:

net.sf.tweety.commons.ParserException

IOException

Nixon2

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

Throws:

net.sf.tweety.commons.ParserException

IOException

Nixon3

public static net.sf.tweety.commons.util.Pair<MarkovLogicNetwork,net.sf.tweety.logics.fol.syntax.FolSignature> Nixon3()
                                                                                                                     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