private void InitializeKnowledgeBase()
{
string facts = "ABCDEFGK";
foreach (char fact in facts)
{
KnowledgeBaseModule.AddFact(fact.ToString());
}
KnowledgeBaseModule.AddRule(KnowledgeAcquisitionModule.AddRule("A+B+C=D"));
KnowledgeBaseModule.AddRule(KnowledgeAcquisitionModule.AddRule("A+B=H"));
KnowledgeBaseModule.AddRule(KnowledgeAcquisitionModule.AddRule("H+C=Z"));
KnowledgeBaseModule.AddRule(KnowledgeAcquisitionModule.AddRule("G+S=R"));
}
private void InitializeKnowledgeBase()
{
string facts = "ABCEFGK";
foreach (char fact in facts)
{
KnowledgeBaseModule.AddFact(fact.ToString());
}
KnowledgeBaseModule.AddRule(KnowledgeAcquisitionModule.AddRule("A+B+C=D"));
KnowledgeBaseModule.AddRule(KnowledgeAcquisitionModule.AddRule("A+D=H"));
KnowledgeBaseModule.AddRule(KnowledgeAcquisitionModule.AddRule("H+C=Z"));
KnowledgeBaseModule.AddRule(KnowledgeAcquisitionModule.AddRule("G+S=R"));
KnowledgeBaseModule.AddRule(KnowledgeAcquisitionModule.AddRule("AA+SA=RA"));
KnowledgeBaseModule.AddRule(KnowledgeAcquisitionModule.AddRule("A3+B3+C3=D3"));
KnowledgeBaseModule.AddRule(KnowledgeAcquisitionModule.AddRule("A3+D3=H3"));
KnowledgeBaseModule.AddRule(KnowledgeAcquisitionModule.AddRule("H3+C3=Z3"));
KnowledgeBaseModule.AddRule(KnowledgeAcquisitionModule.AddRule("G3+S3=R3"));
KnowledgeBaseModule.AddRule(KnowledgeAcquisitionModule.AddRule("AA3+SA3=RA3"));
}
