Package org.tweetyproject.logics.pcl.util

Class MatlabUtils

java.lang.Object

org.tweetyproject.logics.pcl.util.MatlabUtils

public class MatlabUtils
extends Object

MatlabUtils class

Constructor Summary

Constructors

Constructor	Description
MatlabUtils()	Default Constructor

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<PossibleWorld> worlds)	Print antecedence verification matrix (1 if antecedence is satisfied, 0 otherwise)
static void	printConditionalVerificationMatrix(PrintStream out, PclBeliefSet beliefSet, Set<PossibleWorld> worlds)	Print conditional verification matrix (1 if antecedence and consequence are satisfied, 0 otherwise)
static void	printConstraintMatrix(PrintStream out, PclBeliefSet beliefSet, Set<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

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

Constructor Details

MatlabUtils

public MatlabUtils()

Default Constructor

Method Details

printConstraintMatrix

public static void printConstraintMatrix(PrintStream out,
 PclBeliefSet beliefSet,
 Set<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<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<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 ParserException,
IOException

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

Parameters:

args - app parameters

Throws:

ParserException - if parsing fails

IOException - if an IO issue occurs.