//
// PUBLIC METHODS
//
public FOLExample(FOLDataSetDomain folDSDomain, Example example, int egNo)
{
this.folDSDomain = folDSDomain;
this.example = example;
this.egNo = egNo;
constructFOLEg();
}
//
// START-Learner
public void train(DataSet ds) {
folDSDomain = new FOLDataSetDomain(ds.specification, trueGoalValue);
List<FOLExample> folExamples = new List<FOLExample>();
int egNo = 1;
foreach (Example e in ds.examples) {
folExamples.Add(new FOLExample(folDSDomain, e, egNo));
egNo++;
}
// Setup a KB to be used for learning
kb = new FOLKnowledgeBase(folDSDomain, new FOLOTTERLikeTheoremProver(
1000, false));
CurrentBestLearning cbl = new CurrentBestLearning(folDSDomain, kb);
currentBestHypothesis = cbl.currentBestLearning(folExamples);
}
//
// PUBLIC METHODS
//
public FOLExample(FOLDataSetDomain folDSDomain, Example example, int egNo) {
this.folDSDomain = folDSDomain;
this.example = example;
this.egNo = egNo;
constructFOLEg();
}
//
// PUBLIC METHODS
//
public CurrentBestLearning(FOLDataSetDomain folDSDomain,
FOLKnowledgeBase kbForLearning)
{
this.folDSDomain = folDSDomain;
this.kbForLearning = kbForLearning;
}
//
// PUBLIC METHODS
//
public CurrentBestLearning(FOLDataSetDomain folDSDomain,
FOLKnowledgeBase kbForLearning)
{
this.folDSDomain = folDSDomain;
this.kbForLearning = kbForLearning;
}
