Examples of WekaDataCollector

Examples of statechum.analysis.learning.experiments.PairSelection.WekaDataCollector

1318
1319
1320
1321
1322
1323
1324
1325
1326
1327
1328
    initConfiguration.config.setUseConstraints(false);// do not use if-then during learning (refer to the explanation above)
   
    System.out.println(new Date().toString()+" Graph loaded: "+initialPTA.getStateNumber()+" states, adding at most "+ initConfiguration.config.getHowManyStatesToAddFromIFTHEN()+" if-then states");
    Transform.augmentFromIfThenAutomaton(initialPTA, null, ifthenAutomata, initConfiguration.config.getHowManyStatesToAddFromIFTHEN());// we only need  to augment our PTA once (refer to the explanation above).
    System.out.println(new Date().toString()+" if-then states added, now "+initialPTA.getStateNumber()+" states");
    WekaDataCollector dataCollector = PairQualityLearner.createDataCollector(ifDepth);
    // Run the learner that will find out how to select the correct pairs.
    LearnerThatCanClassifyPairs learnerOfPairs = new PairQualityLearner.LearnerThatUpdatesWekaResults(initConfiguration,referenceGraph,dataCollector,initialPTA);
    LearnerGraph actualAutomaton = learnerOfPairs.learnMachine(new LinkedList<List<Label>>(),new LinkedList<List<Label>>());
   
    // final weka.classifiers.trees.J48 classifier = new weka.classifiers.trees.J48();
View Full Code Here

Examples of statechum.analysis.learning.experiments.PairSelection.WekaDataCollector

1510
1511
1512
1513
1514
1515
1516
1517
1518
1519
1520
        learnerConfig.setAskQuestions(false);
       
       final InitialConfigurationAndData initialConfigAndData = PairQualityLearner.loadInitialAndPopulateInitialConfiguration(PairQualityLearner.largePTAFileName, learnerConfig, new Transform.InternStringLabel());

    LearnerGraph referenceGraph = new LearnerGraph(initialConfigAndData.initial.graph.config);AbstractPersistence.loadGraph("resources/largePTA/outcome_correct", referenceGraph, initialConfigAndData.learnerInitConfiguration.getLabelConverter());
      WekaDataCollector dataCollector = PairQualityLearner.createDataCollector(ifDepth);
      LearnerThatCanClassifyPairs learnerOfPairs = new PairQualityLearner.LearnerThatUpdatesWekaResults(initialConfigAndData.learnerInitConfiguration,referenceGraph,dataCollector,initialConfigAndData.initial.graph);
    learnerOfPairs.learnMachine(new LinkedList<List<Label>>(),new LinkedList<List<Label>>());
   
    FileWriter wekaInstances=new FileWriter("resources/largePTA/pairsEncountered3.arff");
    wekaInstances.write(dataCollector.trainingData.toString());
View Full Code Here

Examples of statechum.analysis.learning.experiments.PairSelection.WekaDataCollector

1321
1322
1323
1324
1325
1326
1327
1328
1329
1330
1331
    initConfiguration.config.setUseConstraints(false);// do not use if-then during learning (refer to the explanation above)
   
    System.out.println(new Date().toString()+" Graph loaded: "+initialPTA.getStateNumber()+" states, adding at most "+ initConfiguration.config.getHowManyStatesToAddFromIFTHEN()+" if-then states");
    Transform.augmentFromIfThenAutomaton(initialPTA, null, ifthenAutomata, initConfiguration.config.getHowManyStatesToAddFromIFTHEN());// we only need  to augment our PTA once (refer to the explanation above).
    System.out.println(new Date().toString()+" if-then states added, now "+initialPTA.getStateNumber()+" states");
    WekaDataCollector dataCollector = PairQualityLearner.createDataCollector(ifDepth);
    // Run the learner that will find out how to select the correct pairs.
    LearnerThatCanClassifyPairs learnerOfPairs = new PairQualityLearner.LearnerThatUpdatesWekaResults(initConfiguration,referenceGraph,dataCollector,initialPTA);
    LearnerGraph actualAutomaton = learnerOfPairs.learnMachine(new LinkedList<List<Label>>(),new LinkedList<List<Label>>());
   
    // final weka.classifiers.trees.J48 classifier = new weka.classifiers.trees.J48();
View Full Code Here

Examples of statechum.analysis.learning.experiments.PairSelection.WekaDataCollector

1513
1514
1515
1516
1517
1518
1519
1520
1521
1522
1523
        learnerConfig.setAskQuestions(false);
       
       final InitialConfigurationAndData initialConfigAndData = PairQualityLearner.loadInitialAndPopulateInitialConfiguration(PairQualityLearner.largePTAFileName, learnerConfig, new Transform.InternStringLabel());

    LearnerGraph referenceGraph = new LearnerGraph(initialConfigAndData.initial.graph.config);AbstractPersistence.loadGraph("resources/largePTA/outcome_correct", referenceGraph, initialConfigAndData.learnerInitConfiguration.getLabelConverter());
      WekaDataCollector dataCollector = PairQualityLearner.createDataCollector(ifDepth);
      LearnerThatCanClassifyPairs learnerOfPairs = new PairQualityLearner.LearnerThatUpdatesWekaResults(initialConfigAndData.learnerInitConfiguration,referenceGraph,dataCollector,initialConfigAndData.initial.graph);
    learnerOfPairs.learnMachine(new LinkedList<List<Label>>(),new LinkedList<List<Label>>());
   
    FileWriter wekaInstances=new FileWriter("resources/largePTA/pairsEncountered3.arff");
    wekaInstances.write(dataCollector.trainingData.toString());
View Full Code Here

Examples of statechum.analysis.learning.experiments.PairSelection.WekaDataCollector

1318
1319
1320
1321
1322
1323
1324
1325
1326
1327
1328
    initConfiguration.config.setUseConstraints(false);// do not use if-then during learning (refer to the explanation above)
   
    System.out.println(new Date().toString()+" Graph loaded: "+initialPTA.getStateNumber()+" states, adding at most "+ initConfiguration.config.getHowManyStatesToAddFromIFTHEN()+" if-then states");
    Transform.augmentFromIfThenAutomaton(initialPTA, null, ifthenAutomata, initConfiguration.config.getHowManyStatesToAddFromIFTHEN());// we only need  to augment our PTA once (refer to the explanation above).
    System.out.println(new Date().toString()+" if-then states added, now "+initialPTA.getStateNumber()+" states");
    WekaDataCollector dataCollector = PairQualityLearner.createDataCollector(ifDepth);
    // Run the learner that will find out how to select the correct pairs.
    LearnerThatCanClassifyPairs learnerOfPairs = new PairQualityLearner.LearnerThatUpdatesWekaResults(initConfiguration,referenceGraph,dataCollector,initialPTA);
    LearnerGraph actualAutomaton = learnerOfPairs.learnMachine(new LinkedList<List<Label>>(),new LinkedList<List<Label>>());
   
    // final weka.classifiers.trees.J48 classifier = new weka.classifiers.trees.J48();
View Full Code Here

Examples of statechum.analysis.learning.experiments.PairSelection.WekaDataCollector

1510
1511
1512
1513
1514
1515
1516
1517
1518
1519
1520
        learnerConfig.setAskQuestions(false);
       
       final InitialConfigurationAndData initialConfigAndData = PairQualityLearner.loadInitialAndPopulateInitialConfiguration(PairQualityLearner.largePTAFileName, learnerConfig, new Transform.InternStringLabel());

    LearnerGraph referenceGraph = new LearnerGraph(initialConfigAndData.initial.graph.config);AbstractPersistence.loadGraph("resources/largePTA/outcome_correct", referenceGraph, initialConfigAndData.learnerInitConfiguration.getLabelConverter());
      WekaDataCollector dataCollector = PairQualityLearner.createDataCollector(ifDepth);
      LearnerThatCanClassifyPairs learnerOfPairs = new PairQualityLearner.LearnerThatUpdatesWekaResults(initialConfigAndData.learnerInitConfiguration,referenceGraph,dataCollector,initialConfigAndData.initial.graph);
    learnerOfPairs.learnMachine(new LinkedList<List<Label>>(),new LinkedList<List<Label>>());
   
    FileWriter wekaInstances=new FileWriter("resources/largePTA/pairsEncountered3.arff");
    wekaInstances.write(dataCollector.trainingData.toString());
View Full Code Here
TOP
Copyright © 2018 www.massapi.com. 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.