com.ibm.bluej.consistency

Class CRFState

java.lang.Object

com.ibm.bluej.consistency.CRFState

public final class CRFState
extends java.lang.Object

Field Summary

Fields

Modifier and Type	Field and Description
GroundFindFormulaMap	formFinder
GroundingLimits	groundingLimits
LearningState	learningState
CheckNegatedGround	negGrnd
FormulaFindGroundRand	posGrnd
SimpleTransaction	transaction

Constructor Summary

Constructors

Constructor and Description
CRFState()

Method Summary

Methods

Modifier and Type	Method and Description
void	addFormula(Formula f)
void	addObjective(double objective)
void	addWeight(double w)
void	addWeight(Learnable l, double w)
java.util.ArrayList<ScanTerm>	allMatch(ATerm... probe)
void	beginDelta()
boolean	endDelta()
void	evidence(ScanTerm t)
static CRFState	getCRFState(java.lang.String fileContents)
CRFDescription	getDescription()
FocusIndicatorState	getFocusIndicators()
double	getObjectiveScore()
ATerm[]	getQuicksave()
double	getWeight()
IDeltaWeight	getWorldWeight()
boolean	isTrue(ScanTerm t)
void	loadDescription(CRFDescription desc)
void	loadParamters(java.lang.String parameterContents)
void	mapInference(MaximumAPost map, int proposalCount, double epsilon)
void	mapInference(MaximumAPost map, int proposalCount, double epsilon, int reportEvery)
void	marginalInference(int burnIn, int proposalCount, IMarginal marginal)
void	newProblem()
void	newValue(ProposalFunction f, double value)
double	nowFalse(ScanTerm t)
double	nowTrue(ScanTerm t)
void	printTruth()
void	removeFormula(Formula f)
java.lang.String	stringParameters()
TrainingAnalysis	train(int burnIn, int proposalCount, double minAccept, com.ibm.bluej.util.common.FunST<ScanTerm,java.lang.Boolean> trackImprovementIn)

Methods inherited from class java.lang.Object

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

Field Detail

posGrnd

public FormulaFindGroundRand posGrnd

negGrnd

public CheckNegatedGround negGrnd

formFinder

public GroundFindFormulaMap formFinder

transaction

public SimpleTransaction transaction

learningState

public LearningState learningState

groundingLimits

public GroundingLimits groundingLimits

Constructor Detail

CRFState

public CRFState()

Method Detail

getCRFState

public static CRFState getCRFState(java.lang.String fileContents)

loadDescription

public void loadDescription(CRFDescription desc)

getDescription

public CRFDescription getDescription()

getQuicksave

public ATerm[] getQuicksave()

addFormula

public void addFormula(Formula f)

removeFormula

public void removeFormula(Formula f)

getFocusIndicators

public FocusIndicatorState getFocusIndicators()

loadParamters

public void loadParamters(java.lang.String parameterContents)

stringParameters

public java.lang.String stringParameters()

getWeight

public double getWeight()

getWorldWeight

public IDeltaWeight getWorldWeight()

addWeight

public void addWeight(Learnable l,
             double w)

addWeight

public void addWeight(double w)

beginDelta

public void beginDelta()

endDelta

public boolean endDelta()

addObjective

public void addObjective(double objective)

getObjectiveScore

public double getObjectiveScore()

train

public TrainingAnalysis train(int burnIn,
                     int proposalCount,
                     double minAccept,
                     com.ibm.bluej.util.common.FunST<ScanTerm,java.lang.Boolean> trackImprovementIn)

marginalInference

public void marginalInference(int burnIn,
                     int proposalCount,
                     IMarginal marginal)

mapInference

public void mapInference(MaximumAPost map,
                int proposalCount,
                double epsilon)

mapInference

public void mapInference(MaximumAPost map,
                int proposalCount,
                double epsilon,
                int reportEvery)

isTrue

public boolean isTrue(ScanTerm t)

allMatch

public java.util.ArrayList<ScanTerm> allMatch(ATerm... probe)

nowTrue

public double nowTrue(ScanTerm t)

nowFalse

public double nowFalse(ScanTerm t)

evidence

public void evidence(ScanTerm t)

newValue

public void newValue(ProposalFunction f,
            double value)

newProblem

public void newProblem()

printTruth

public void printTruth()