List of updateMarkov() Examples

Examples of updateMarkov()

statechum.analysis.learning.MarkovClassifier.updateMarkov()

Updates Markov. This is useful where we have added something to the original PTA and need to update Markov. Crucial for learning of Markov for sideways inference, where we cannot learn from the original traces and have to delay Markov construction to the time where PTA is built.

Note that computing Markov using incoming/outgoing paths of length 0 is just a distribution of letters, tagged with pos/neg/fail. It is not based on earlier knowledge hence could be built either forwards or sideways in the same way. @param vert state to predict for @param alphabet alphabet of the graph of interest @param chunkLength how many steps to make a prediction for.

statechum.analysis.learning.MarkovUniversalLearner.updateMarkov()

Updates Markov based on predictions. This is useful where we have added something to the original PTA and need to update Markov. Crucial for learning of Markov for sideways inference, where we cannot learn from the original traces and have to delay Markov construction to the time where PTA is built.

Note that computing Markov using incoming/outgoing paths of length 0 is just a distribution of letters, tagged with pos/neg/fail. It is not based on earlier knowledge hence could be built either forwards or sideways in the same way. @param graph the graph to predict transitions for @param markovMatrix the matrix used for predictions @param Inverse_Graph graph used to make predictions @param predictForwardOrSideways whether to predict forward (true) or sideways (false). @param vert state to predict for @param alphabet alphabet of the graph of interest @param chunkLength how many steps to make a prediction for.

    MarkovUniversalLearner m = new MarkovUniversalLearner(2);
    Set<List<Label>> plusStrings = buildSet(new String[][] {},config,converter), minusStrings = buildSet(new String[][] { new String[]{"a","u"} },config,converter);
    m.createMarkovLearner(plusStrings, minusStrings,true);


    final LearnerGraph graph = new LearnerGraph(config);graph.paths.augmentPTA(plusStrings, true, false);graph.paths.augmentPTA(minusStrings, false, false);
    MarkovUniversalLearner mOther = new MarkovUniversalLearner(2);mOther.updateMarkov(graph,true,true);
    Assert.assertEquals(m.getMarkov(true),mOther.getMarkov(true));Assert.assertTrue(m.getMarkov(false).isEmpty());
    Assert.assertEquals(m.getOccurrence(true),mOther.getOccurrence(true));Assert.assertTrue(m.getOccurrence(false).isEmpty());
  }
  
  @Test

All source code are property of their respective owners. Java is a trademark of Sun Microsystems, Inc and owned by ORACLE Inc. Contact coftware#gmail.com.

Examples of updateMarkov()

Examples of statechum.analysis.learning.MarkovUniversalLearner.updateMarkov()