public void GiveBestDiscount()
{
Agenda agenda = new Agenda();
agenda.ConflictResolutionStrategy = new SalienceResolver();
Variable customer = new Variable("customer");
Variable purchases = new Variable("purchases");
Variable discount = new Variable("discount");
Production SilverCustomer = new Production("Silver Customer");
SilverCustomer.AddConditionToLHS(new PositiveCondition("C1", customer, "purchases", purchases));
SilverCustomer.AddConditionToLHS(new FunctionCondition("C2", purchases, new FuncTerm("funcGreaterThan", new funcGreaterThan()), 10));
SilverCustomer.AddConditionToRHS(new AssertCondition("R1", customer, "is", "silver"));
agenda.AddProduction(SilverCustomer);
Production GoldCustomer = new Production("Gold Customer");
GoldCustomer.AddConditionToLHS(new PositiveCondition("C1", customer, "purchases", purchases));
GoldCustomer.AddConditionToLHS(new FunctionCondition("C2", purchases, new FuncTerm("funcGreaterThan", new funcGreaterThan()), 25));
GoldCustomer.AddConditionToRHS(new AssertCondition("R1", customer, "is", "gold"));
agenda.AddProduction(GoldCustomer);
Production PlatinumCustomer = new Production("Platinum Customer");
PlatinumCustomer.AddConditionToLHS(new PositiveCondition("C1", customer, "purchases", purchases));
PlatinumCustomer.AddConditionToLHS(new FunctionCondition("C2", purchases, new FuncTerm("funcGreaterThan", new funcGreaterThan()), 50));
PlatinumCustomer.AddConditionToRHS(new AssertCondition("R1", customer, "is", "platinum"));
agenda.AddProduction(PlatinumCustomer);
Production SilverDiscount = new Production("Silver Discount");
SilverDiscount.AddConditionToLHS(new PositiveCondition("C1", customer, "is", "silver"));
SilverDiscount.AddConditionToRHS(new AssertCondition("R1", customer, "give discount", 5));
agenda.AddProduction(SilverDiscount);
Production GoldDiscount = new Production("Gold Discount");
GoldDiscount.AddConditionToLHS(new PositiveCondition("C1", customer, "is", "gold"));
GoldDiscount.AddConditionToRHS(new AssertCondition("R1", customer, "give discount", 10));
agenda.AddProduction(GoldDiscount);
Production PlatinumDiscount = new Production("Platinum Discount");
PlatinumDiscount.AddConditionToLHS(new PositiveCondition("C1", customer, "is", "platinum"));
PlatinumDiscount.AddConditionToRHS(new AssertCondition("R1", customer, "give discount", 15));
agenda.AddProduction(PlatinumDiscount);
Mutex BestDiscount = new Mutex("Best Discount");
//BestDiscount.AddAggregator(new Max(), customer, new StringTerm("give discount"), discount);
BestDiscount.AddConditionToLHS(new PositiveCondition("C1", customer, "give discount", discount));
//BestDiscount.AddConditionToLHS(new condition("C2", ConditionType.Function, customer, "funcMax", discount));
BestDiscount.AddConditionToRHS(new InvokeCondition("R1", customer, "Customer.GiveDiscount", discount));
//BestDiscount.AddEvaluator(new Max(), customer, new StringTerm("give discount"), discount);
BestDiscount.Evaluator = new Max(customer, new StringTerm("give discount"), discount);
agenda.AddMutex(BestDiscount);
WME wme1 = new WME("W1");
wme1.Fields[0] = "joe";
wme1.Fields[1] = "purchases";
wme1.Fields[2] = "1";
agenda.AddFact(wme1);
WME wme2 = new WME("W2");
wme2.Fields[0] = "ted";
wme2.Fields[1] = "purchases";
wme2.Fields[2] = "10";
agenda.AddFact(wme2);
WME wme3 = new WME("W3");
wme3.Fields[0] = "ed";
wme3.Fields[1] = "purchases";
wme3.Fields[2] = "11";
agenda.AddFact(wme3);
WME wme4 = new WME("W4");
wme4.Fields[0] = "phil";
wme4.Fields[1] = "purchases";
wme4.Fields[2] = "18";
agenda.AddFact(wme4);
WME wme5 = new WME("W5");
wme5.Fields[0] = "mary";
wme5.Fields[1] = "purchases";
wme5.Fields[2] = "22";
agenda.AddFact(wme5);
WME wme6 = new WME("W6");
wme6.Fields[0] = "jane";
wme6.Fields[1] = "purchases";
wme6.Fields[2] = "25";
agenda.AddFact(wme6);
WME wme7 = new WME("W7");
wme7.Fields[0] = "fred";
wme7.Fields[1] = "purchases";
wme7.Fields[2] = "50";
agenda.AddFact(wme7);
WME wme8 = new WME("W8");
wme8.Fields[0] = "harry";
wme8.Fields[1] = "purchases";
wme8.Fields[2] = "55";
agenda.AddFact(wme8);
WME wme9 = new WME("W9");
wme9.Fields[0] = "jon";
wme9.Fields[1] = "purchases";
wme9.Fields[2] = "99";
agenda.AddFact(wme9);
agenda.Run();
agenda.VisualizeNetworkToFile(@"C:\Temp\GiveBestDiscount.log", false);
Assert.IsTrue(agenda.ActivatedRuleCount == 5, "Rule did not fire.");
Assert.IsTrue(agenda.InferredFacts.Count == 21, "Bad");
Assert.IsTrue(BestDiscount.InferredFacts.Count == 7, "Bad");
}
public void GiveBestDiscount()
{
Agenda agenda = new Agenda();
agenda.ConflictResolutionStrategy = new SalienceResolver();
Variable customer = new Variable("customer");
Variable purchases = new Variable("purchases");
Variable discount = new Variable("discount");
Production SilverCustomer = new Production("Silver Customer");
SilverCustomer.AddConditionToLHS(new PositiveCondition("C1", customer, "purchases", purchases));
SilverCustomer.AddConditionToLHS(new FunctionCondition("C2", purchases, new FuncTerm("funcGreaterThan", new funcGreaterThan()), 10));
SilverCustomer.AddConditionToRHS(new AssertCondition("R1", customer, "is", "silver"));
agenda.AddProduction(SilverCustomer);
Production GoldCustomer = new Production("Gold Customer");
GoldCustomer.AddConditionToLHS(new PositiveCondition("C1", customer, "purchases", purchases));
GoldCustomer.AddConditionToLHS(new FunctionCondition("C2", purchases, new FuncTerm("funcGreaterThan", new funcGreaterThan()), 25));
GoldCustomer.AddConditionToRHS(new AssertCondition("R1", customer, "is", "gold"));
agenda.AddProduction(GoldCustomer);
Production PlatinumCustomer = new Production("Platinum Customer");
PlatinumCustomer.AddConditionToLHS(new PositiveCondition("C1", customer, "purchases", purchases));
PlatinumCustomer.AddConditionToLHS(new FunctionCondition("C2", purchases, new FuncTerm("funcGreaterThan", new funcGreaterThan()), 50));
PlatinumCustomer.AddConditionToRHS(new AssertCondition("R1", customer, "is", "platinum"));
agenda.AddProduction(PlatinumCustomer);
Production SilverDiscount = new Production("Silver Discount");
SilverDiscount.AddConditionToLHS(new PositiveCondition("C1", customer, "is", "silver"));
SilverDiscount.AddConditionToRHS(new AssertCondition("R1", customer, "give discount", 5));
agenda.AddProduction(SilverDiscount);
Production GoldDiscount = new Production("Gold Discount");
GoldDiscount.AddConditionToLHS(new PositiveCondition("C1", customer, "is", "gold"));
GoldDiscount.AddConditionToRHS(new AssertCondition("R1", customer, "give discount", 10));
agenda.AddProduction(GoldDiscount);
Production PlatinumDiscount = new Production("Platinum Discount");
PlatinumDiscount.AddConditionToLHS(new PositiveCondition("C1", customer, "is", "platinum"));
PlatinumDiscount.AddConditionToRHS(new AssertCondition("R1", customer, "give discount", 15));
agenda.AddProduction(PlatinumDiscount);
Mutex BestDiscount = new Mutex("Best Discount");
//BestDiscount.AddAggregator(new Max(), customer, new StringTerm("give discount"), discount);
BestDiscount.AddConditionToLHS(new PositiveCondition("C1", customer, "give discount", discount));
//BestDiscount.AddConditionToLHS(new condition("C2", ConditionType.Function, customer, "funcMax", discount));
BestDiscount.AddConditionToRHS(new InvokeCondition("R1", customer, "Customer.GiveDiscount", discount));
//BestDiscount.AddEvaluator(new Max(), customer, new StringTerm("give discount"), discount);
BestDiscount.Evaluator = new Max(customer, new StringTerm("give discount"), discount);
agenda.AddMutex(BestDiscount);
WME wme1 = new WME("W1");
wme1.Fields[0] = "joe";
wme1.Fields[1] = "purchases";
wme1.Fields[2] = "1";
agenda.AddFact(wme1);
WME wme2 = new WME("W2");
wme2.Fields[0] = "ted";
wme2.Fields[1] = "purchases";
wme2.Fields[2] = "10";
agenda.AddFact(wme2);
WME wme3 = new WME("W3");
wme3.Fields[0] = "ed";
wme3.Fields[1] = "purchases";
wme3.Fields[2] = "11";
agenda.AddFact(wme3);
WME wme4 = new WME("W4");
wme4.Fields[0] = "phil";
wme4.Fields[1] = "purchases";
wme4.Fields[2] = "18";
agenda.AddFact(wme4);
WME wme5 = new WME("W5");
wme5.Fields[0] = "mary";
wme5.Fields[1] = "purchases";
wme5.Fields[2] = "22";
agenda.AddFact(wme5);
WME wme6 = new WME("W6");
wme6.Fields[0] = "jane";
wme6.Fields[1] = "purchases";
wme6.Fields[2] = "25";
agenda.AddFact(wme6);
WME wme7 = new WME("W7");
wme7.Fields[0] = "fred";
wme7.Fields[1] = "purchases";
wme7.Fields[2] = "50";
agenda.AddFact(wme7);
WME wme8 = new WME("W8");
wme8.Fields[0] = "harry";
wme8.Fields[1] = "purchases";
wme8.Fields[2] = "55";
agenda.AddFact(wme8);
WME wme9 = new WME("W9");
wme9.Fields[0] = "jon";
wme9.Fields[1] = "purchases";
wme9.Fields[2] = "99";
agenda.AddFact(wme9);
agenda.Run();
agenda.VisualizeNetworkToFile(@"C:\Temp\GiveBestDiscount.log", false);
Assert.IsTrue(agenda.ActivatedRuleCount == 5, "Rule did not fire.");
Assert.IsTrue(agenda.InferredFacts.Count == 21, "Bad");
Assert.IsTrue(BestDiscount.InferredFacts.Count == 7, "Bad");
}