Package statechum.analysis.learning.observers.ProgressDecorator

Examples of statechum.analysis.learning.observers.ProgressDecorator.LearnerEvaluationConfiguration

189
190
191
192
193
194
195
196
197
198
199
    final AutoAnswers semiUser = new AutoAnswers(null);
    semiUser.loadAnswers(new StringReader(
        partA
    ),config);
   
    RPNILearner learner = new RPNIUniversalLearner(null,new LearnerEvaluationConfiguration(null,null,config,null,null))
    {
      @Override
      public Pair<Integer,String> CheckWithEndUser(
          @SuppressWarnings("unused")  LearnerGraph model,
          List<Label> question, @SuppressWarnings("unused") int responseForNoRestart,
View Full Code Here
230
231
232
233
234
235
236
237
238
239
240
  public void testAuto2()
  {
    config.setGdFailOnDuplicateNames(false);
    config.setLearnerIdMode(IDMode.POSITIVE_NEGATIVE);

    RPNILearner learner = new RPNIUniversalLearner(null,new LearnerEvaluationConfiguration(null,null,config,null,null))
    {
      @Override
      public Pair<Integer,String> CheckWithEndUser(
          @SuppressWarnings("unused")  LearnerGraph model,
          @SuppressWarnings("unused")  List<Label> question, @SuppressWarnings("unused") int responseForNoRestart,
View Full Code Here
274
275
276
277
278
279
280
281
282
283
284
  public void testAuto3()
  {
    config.setGdFailOnDuplicateNames(false);
    config.setLearnerIdMode(IDMode.POSITIVE_NEGATIVE);

    RPNILearner learner = new RPNIUniversalLearner(null,new LearnerEvaluationConfiguration(null,null,config,null,null))
    {
      @Override
      public Pair<Integer,String> CheckWithEndUser(
          @SuppressWarnings("unused")  LearnerGraph model,
          @SuppressWarnings("unused")  List<Label> question, @SuppressWarnings("unused") int responseForNoRestart,
View Full Code Here
343
344
345
346
347
348
349
350
351
352
353
  public void testAuto4()
  {
    config.setGdFailOnDuplicateNames(false);
    config.setLearnerIdMode(IDMode.POSITIVE_NEGATIVE);

    RPNILearner learner = new RPNIUniversalLearner(null,new LearnerEvaluationConfiguration(null,null,config,null,null))
    {
      @Override
      public Pair<Integer,String> CheckWithEndUser(
          @SuppressWarnings("unused")  LearnerGraph model,
          @SuppressWarnings("unused")  List<Label> question, @SuppressWarnings("unused") int responseForNoRestart,
View Full Code Here
91
92
93
94
95
96
97
98
99
100
101
      LearnerGraph ifthen = Transform.buildIfThenAutomata(learnerInitConfiguration.ifthenSequences, lr.init(sPlus, sMinus),
          learnerInitConfiguration.config).toArray(new LearnerGraph[0])[0];
      Visualiser.updateFrame(ifthen, null);
      Visualiser.waitForKey();
      */
      RPNILearner l = new RPNIUniversalLearner(null, new LearnerEvaluationConfiguration(null,null,learnerInitConfiguration.config,learnerInitConfiguration.ifthenSequences,null));
      //AccuracyTrackerDecorator atd = new  AccuracyTrackerDecorator(new MachineOracleDecorator(l,targetMachine),targetMachine);
      AccuracyTrackerDecorator atd = new  AccuracyTrackerDecorator(l,targetMachine);
      //atd.init(sPlus, sMinus);
      try {
        OutputUtil.generateDotOutput(targetMachine.pathroutines.getGraph(),"dotOutput.dot");
View Full Code Here
66
67
68
69
70
71
72
73
74
75
76
      config.setMinCertaintyThreshold(2);
      //config.setAskQuestions(false);
      //config.setKlimit(2);
      //config.setLearnerScoreMode(Configuration.ScoreMode.KTAILS);
      config.setLearnerScoreMode(Configuration.ScoreMode.CONVENTIONAL);
      Learner l = new AccuracyTrackerDecorator(new RPNIUniversalLearner(null,new LearnerEvaluationConfiguration(null,null,config,null,null))
      {
        @Override
        public Pair<Integer,String> CheckWithEndUser(
            @SuppressWarnings("unused")  LearnerGraph model,
            List<Label> question, @SuppressWarnings("unused") int valueForNoRestart,
View Full Code Here
78
79
80
81
82
83
84
85
86
87
88
      int size = 2*graph.pathroutines.countEdges();
      RandomPathGenerator rpg = new RandomPathGenerator(graph, new Random(100),5,null);// the seed for Random should be the same for each file
      int percentPerChunk = 10;
      int nrPerChunk = size/(100/percentPerChunk);nrPerChunk+=nrPerChunk % 2;// make the number even
      rpg.generatePosNeg(2*nrPerChunk , 100/percentPerChunk);// 2* reflects the fact that nrPerChunk denotes the number of elements in both chunks (positive and negative) combined.  */
      RPNILearner learner = new RPNIUniversalLearner(null,new LearnerEvaluationConfiguration(null,null,config,null,null))
      {
        @Override
        public Pair<Integer,String> CheckWithEndUser(
            @SuppressWarnings("unused")  LearnerGraph model,
            List<Label> question, @SuppressWarnings("unused") int valueForNoRestart,
View Full Code Here
127
128
129
130
131
132
133
134
135
136
137
    //Visualiser.updateFrame(new LearnerGraph(FsmParser.buildGraph("A-e->A-c->B-b->C-p->G-e->A\nB-a->D-a->E-a->D\nE-b->F-p->G\n"+
    //"B-e->A\nC-e->A\nD-e->A\nE-e->A\nF-e->A\nG-e->A\n","testAutoAnswers0"),Configuration.getDefaultConfiguration()),null);
    config.setGdFailOnDuplicateNames(false);
    config.setLearnerIdMode(IDMode.POSITIVE_NEGATIVE);

    RPNILearner learner = new RPNIUniversalLearner(null,new LearnerEvaluationConfiguration(null,null,config,null,null))
    {
      @Override
      public Pair<Integer,String> CheckWithEndUser(
          @SuppressWarnings("unused")  LearnerGraph model,
          List<Label> question, @SuppressWarnings("unused") int responseForNoRestart,
View Full Code Here
172
173
174
175
176
177
178
179
180
181
182
    final AutoAnswers semiUser = new AutoAnswers(null);
    semiUser.loadAnswers(new StringReader(
        partA
    ),config);
   
    RPNILearner learner = new RPNIUniversalLearner(null,new LearnerEvaluationConfiguration(null,null,config,null,null))
    {
      @Override
      public Pair<Integer,String> CheckWithEndUser(
          @SuppressWarnings("unused")  LearnerGraph model,
          List<Label> question, @SuppressWarnings("unused") int responseForNoRestart,
View Full Code Here
213
214
215
216
217
218
219
220
221
222
223
  public void testAuto2()
  {
    config.setGdFailOnDuplicateNames(false);
    config.setLearnerIdMode(IDMode.POSITIVE_NEGATIVE);

    RPNILearner learner = new RPNIUniversalLearner(null,new LearnerEvaluationConfiguration(null,null,config,null,null))
    {
      @Override
      public Pair<Integer,String> CheckWithEndUser(
          @SuppressWarnings("unused")  LearnerGraph model,
          @SuppressWarnings("unused")  List<Label> question, @SuppressWarnings("unused") int responseForNoRestart,
View Full Code Here
TOP

Related Classes of statechum.analysis.learning.observers.ProgressDecorator.LearnerEvaluationConfiguration

  • statechum.analysis.Erlang.Synapse$StatechumProcess
  • statechum.analysis.Erlang.TestErlangModule
  • statechum.analysis.learning.experiments.IncrementalAccuracyAndQuestionsExperiment$RPNIEvaluator
  • statechum.analysis.learning.experiments.IterativeEvaluatorExperiment$IterativeEvaluator
  • statechum.analysis.learning.experiments.ManualAccuracyTracker
  • statechum.analysis.learning.experiments.PairSelection.ASE2014$EDSM_MarkovLearner
  • statechum.analysis.learning.experiments.PairSelection.ASE2014$LearnerRunner
  • statechum.analysis.learning.experiments.PairSelection.Cav2014$EDSMReferenceLearner
  • statechum.analysis.learning.experiments.PairSelection.Cav2014$EvaluationOfExisingLearnerRunner
  • statechum.analysis.learning.experiments.PairSelection.Cav2014$KTailsReferenceLearner
    • Copyright © 2018 www.massapicom. All rights reserved.
    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.