Package 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	Description
MatlabUtils()

Method Summary

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

beliefSet - some belief set

worlds - a set of possible 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 - some print stream

beliefSet - some belief set

worlds - a set of possible 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 - some print stream

beliefSet - some belief set

worlds - a set of possible 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 - some print stream

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 - some print stream

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 - app parameters

Throws:

net.sf.tweety.commons.ParserException - if parsing fails

IOException - if an IO issue occurs.