|
|||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use MCSAT | |
---|---|
learn | Provides weight learning in Tuffy. |
Uses of MCSAT in learn |
---|
Methods in learn with parameters of type MCSAT | |
---|---|
void |
Learner.fillInCurrentWeight(MCSAT _mcsat)
Initialize weight according to the log odd of training data. |
void |
DNLearner.getGradientAndD(MCSAT mcsat)
Calculate the gradient and H^(-1)g by filling in DNLearner.currentD and DNLearner.currentGradient . |
void |
NaiveGDLearner.loadingTrainingData(MCSAT _mcsat)
NEVER USE THIS IN REAL CIRCUMSTANCE... |
void |
NaiveDNLearner.loadingTrainingData(MCSAT _mcsat)
Deprecated. Loading training data's truth value into MRF. |
abstract void |
Learner.loadingTrainingData(MCSAT _mcsat)
Reading from training data and fill it into MRF.atoms . |
void |
DNLearner.loadingTrainingData(MCSAT _mcsat)
Load training data's truth value into MRF. |
boolean |
NaiveGDLearner.updateWeight(MCSAT mcsat)
NEVER USE THIS IN REAL CIRCUMSTANCE... |
boolean |
NaiveDNLearner.updateWeight(MCSAT mcsat)
Deprecated. Updating Learner.currentWeight using Diagonal
Newton method. |
abstract boolean |
Learner.updateWeight(MCSAT mcsat)
Update Learner.currentWeight to new weights
according to information provided by mcsat instance, e.g.,
expectationOfViolation ; This is a virtual
function, each instance of Learner should materialize
an adhoc version of this function. |
boolean |
DNLearner.updateWeight(MCSAT mcsat)
Update Learner.currentWeight using Diagonal
Newton method. |
|
|||||||||
PREV NEXT | FRAMES NO FRAMES |