Package net.sf.tweety.logics.pcl.util

Class MatlabUtils

  • public class MatlabUtils
extends java.lang.Object

    • Constructor Summary

      Constructors 
      Constructor Description
      MatlabUtils()  

    • Method Summary

      Modifier and Type Method Description
      static void main​(java.lang.String[] args)
      Simple application example yielding the matlab script for spam example from [Potyka, Thimm, 2014].
      static void printAntecedenceVerificationMatrix​(java.io.PrintStream out, PclBeliefSet beliefSet, java.util.Set<PossibleWorld> worlds)
      Print antecedence verification matrix (1 if antecedence is satisfied, 0 otherwise)
      static void printConditionalVerificationMatrix​(java.io.PrintStream out, PclBeliefSet beliefSet, java.util.Set<PossibleWorld> worlds)
      Print conditional verification matrix (1 if antecedence and consequence are satisfied, 0 otherwise)
      static void printConstraintMatrix​(java.io.PrintStream out, PclBeliefSet beliefSet, java.util.Set<PossibleWorld> worlds)
      Print constraint matrix for belief set and possible worlds to output stream.
      static void printMEConsolidationProblem​(java.io.PrintStream out, int n, java.lang.String p)
      Print optimization problem corresponding to ME consolidation.
      static void printMinimumViolationProblem​(java.io.PrintStream out, int n, java.lang.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​(java.io.PrintStream out,
                                         PclBeliefSet beliefSet,
                                         java.util.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​(java.io.PrintStream out,
                                                      PclBeliefSet beliefSet,
                                                      java.util.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​(java.io.PrintStream out,
                                                      PclBeliefSet beliefSet,
                                                      java.util.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​(java.io.PrintStream out,
                                                int n,
                                                java.lang.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​(java.io.PrintStream out,
                                               int n,
                                               java.lang.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​(java.lang.String[] args)
                 throws ParserException,
                        java.io.IOException
        Simple application example yielding the matlab script for spam example from [Potyka, Thimm, 2014].
        Parameters:
        args - app parameters
        Throws:
        ParserException - if parsing fails
        java.io.IOException - if an IO issue occurs.