tuffy.learn
Class NaiveGDLearner

java.lang.Object
  tuffy.main.Infer
      tuffy.learn.Learner
          tuffy.learn.NaiveGDLearner

public class NaiveGDLearner
extends Learner

DO NOT USE THIS CLASS! USE DNLearner. Learner instance using gradient descent. Note, this class is for debugging and JUNIT test only. For real circumstance usage, please turn to NaiveDNLearner. If you are really a big fan of gradient descent, please rewrite NaiveGDLearner#loadingTrainingData(MCSAT) according to that in NaiveDNLearner#loadingTrainingData(MCSAT).

Author:

Ce Zhang

Field Summary

Fields inherited from class tuffy.learn.Learner

_oldWeight, backtrackCount_, backtracked, currentWeight, finalWeight, isHardMappings, negativeWeightSatisfication, negativeWeightViolation, odds, oriWeight, positiveWeightSatisfication, positiveWeightViolation, trainingSatisification, trainingViolation

Fields inherited from class tuffy.main.Infer

db, dmover, grounding, mln, options

Constructor Summary

NaiveGDLearner()

Method Summary

void	loadingTrainingData(MRF _mcsat) NEVER USE THIS IN REAL CIRCUMSTANCE...
boolean	updateWeight(MRF mcsat) NEVER USE THIS IN REAL CIRCUMSTANCE...

Methods inherited from class tuffy.learn.Learner

calcCurrentTrainingViolation, dumpAnswers, fillInCurrentWeight, run

Methods inherited from class tuffy.main.Infer

cleanUp, ground, loadMLN, setUp

Methods inherited from class java.lang.Object

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

Constructor Detail

NaiveGDLearner

public NaiveGDLearner()

Method Detail

loadingTrainingData

public void loadingTrainingData(MRF _mcsat)

NEVER USE THIS IN REAL CIRCUMSTANCE... THIS IS FOR JUNIT TEST ONLY.

Specified by:

loadingTrainingData in class Learner

Parameters:

_mcsat - The MCSAT object to be filled in.

updateWeight

public boolean updateWeight(MRF mcsat)

NEVER USE THIS IN REAL CIRCUMSTANCE... THIS IS FOR JUNIT TEST ONLY. Updating Learner.currentWeight using Gradient Descent method.

Specified by:

updateWeight in class Learner

Parameters:

mcsat - MCSAT instance after this iteration.

Returns:

Whether terminate.