net.sf.tweety.logics.pcl.util

Class MatlabUtils

java.lang.Object

net.sf.tweety.logics.pcl.util.MatlabUtils

public class MatlabUtils
extends Object

Constructor Summary

Constructors

Constructor and Description
MatlabUtils()

Method Summary

Modifier and Type	Method and Description
static void	main(String[] args) Simple application example yielding the matlab script for spam example from [Potyka, Thimm, 2014].
static void	printAntecedenceVerificationMatrix(PrintStream out, PclBeliefSet beliefSet, Set<net.sf.tweety.logics.pl.semantics.PossibleWorld> worlds) Print antecedence verification matrix (1 if antecedence is satisfied, 0 otherwise)
static void	printConditionalVerificationMatrix(PrintStream out, PclBeliefSet beliefSet, Set<net.sf.tweety.logics.pl.semantics.PossibleWorld> worlds) Print conditional verification matrix (1 if antecedence and consequence are satisfied, 0 otherwise)
static void	printConstraintMatrix(PrintStream out, PclBeliefSet beliefSet, Set<net.sf.tweety.logics.pl.semantics.PossibleWorld> worlds) Print constraint matrix for belief set and possible worlds to output stream.
static void	printMEConsolidationProblem(PrintStream out, int n, String p) Print optimization problem corresponding to ME consolidation.
static void	printMinimumViolationProblem(PrintStream out, int n, String p) Print optimization problem corresponding to minimal violation measure.

Methods inherited from class java.lang.Object

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

Constructor Detail

MatlabUtils

public MatlabUtils()

Method Detail

printConstraintMatrix

public static void printConstraintMatrix(PrintStream out,
                                         PclBeliefSet beliefSet,
                                         Set<net.sf.tweety.logics.pl.semantics.PossibleWorld> worlds)

Print constraint matrix for belief set and possible worlds to output stream.

Parameters:

out -

beliefSet -

worlds -

printConditionalVerificationMatrix

public static void printConditionalVerificationMatrix(PrintStream out,
                                                      PclBeliefSet beliefSet,
                                                      Set<net.sf.tweety.logics.pl.semantics.PossibleWorld> worlds)

Print conditional verification matrix (1 if antecedence and consequence are satisfied, 0 otherwise)

Parameters:

out -

beliefSet -

worlds -

printAntecedenceVerificationMatrix

public static void printAntecedenceVerificationMatrix(PrintStream out,
                                                      PclBeliefSet beliefSet,
                                                      Set<net.sf.tweety.logics.pl.semantics.PossibleWorld> worlds)

Print antecedence verification matrix (1 if antecedence is satisfied, 0 otherwise)

Parameters:

out -

beliefSet -

worlds -

printMinimumViolationProblem

public static void printMinimumViolationProblem(PrintStream out,
                                                int n,
                                                String p)

Print optimization problem corresponding to minimal violation measure. Call printConstraintMatrix first to define constraint matrix A.

Parameters:

out -

n - number of worlds

p - norm

printMEConsolidationProblem

public static void printMEConsolidationProblem(PrintStream out,
                                               int n,
                                               String p)

Print optimization problem corresponding to ME consolidation. Call printConstraintMatrix and printMinimumViolationProblem first to define constraint matrix A and to compute minimal violation measure.

Parameters:

out -

n - number of worlds

p - norm

main

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

Simple application example yielding the matlab script for spam example from [Potyka, Thimm, 2014].

Parameters:

args -

Throws:

net.sf.tweety.commons.ParserException

IOException