tuffy.test
Class LearnerTest

java.lang.Object
  tuffy.test.LearnerTest

public class LearnerTest
extends java.lang.Object

Testing class for Learner.

Constructor Summary

LearnerTest()

Method Summary

void	test_Learning_On_1000rc() Test on RC set.
void	test_Learning_On_univ() Test on Univ data set.
void	test_NaiveGDLearner_Negative() Test on manually generated world.
void	test_NaiveGDLearner_Positive() Test on manually generated world.

Methods inherited from class java.lang.Object

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

Constructor Detail

LearnerTest

public LearnerTest()

Method Detail

test_Learning_On_univ

public final void test_Learning_On_univ()
                                 throws java.lang.Exception

Test on Univ data set. This data set is as the same as Alchemy's learning example. This test is passed by comparing the learned result with Alchemy.

Throws:

java.lang.Exception

test_NaiveGDLearner_Negative

public final void test_NaiveGDLearner_Negative()
                                        throws java.lang.Exception

Test on manually generated world. If there is only one clause, the learned weight should equal to the log odd of #True world and #False world. This test is passed if the learning results on all 10 randomly generated training sets obey this assumption. This test can also be used as a justification of current MCSAT implementation.

Throws:

java.lang.Exception

test_NaiveGDLearner_Positive

public final void test_NaiveGDLearner_Positive()
                                        throws java.lang.Exception

Test on manually generated world. If there is only one clause, the learned weight should equal to the log odd of #True world and #False world. This test is passed if the learning results on all 10 randomly generated training sets obey this assumption. This test can also be used as a justification of current MCSAT implementation.

Throws:

java.lang.Exception

test_Learning_On_1000rc

public final void test_Learning_On_1000rc()
                                   throws java.lang.Exception

Test on RC set. This is a real-world data set. This test is passed by comparing result with Alchemy.

Throws:

java.lang.Exception