Open Source: C# implementation of a simple expert system shell

cs-expert-system-shell

C# implementation of an expert system shell, targeting .Net Core 1.1

https://github.com/chen0040/cs-expert-system-shell

Install

Run the following command to install:

Install-Package cs-expert-system-shell

Usage

The sample code below shows how to create a rule engine and initialize it with a set of rules:

using chen0040.ExpertSystem;
public RuleInferenceEngine getInferenceEngine()
{
 RuleInferenceEngine rie = new RuleInferenceEngine();

 Rule rule = new Rule("Bicycle");
 rule.AddAntecedent(new IsClause("vehicleType", "cycle"));
 rule.AddAntecedent(new IsClause("num_wheels", "2"));
 rule.AddAntecedent(new IsClause("motor", "no"));
 rule.setConsequent(new IsClause("vehicle", "Bicycle"));
 rie.AddRule(rule);

 rule = new Rule("Tricycle");
 rule.AddAntecedent(new IsClause("vehicleType", "cycle"));
 rule.AddAntecedent(new IsClause("num_wheels", "3"));
 rule.AddAntecedent(new IsClause("motor", "no"));
 rule.setConsequent(new IsClause("vehicle", "Tricycle"));
 rie.AddRule(rule);

 rule = new Rule("Motorcycle");
 rule.AddAntecedent(new IsClause("vehicleType", "cycle"));
 rule.AddAntecedent(new IsClause("num_wheels", "2"));
 rule.AddAntecedent(new IsClause("motor", "yes"));
 rule.setConsequent(new IsClause("vehicle", "Motorcycle"));
 rie.AddRule(rule);

 rule = new Rule("SportsCar");
 rule.AddAntecedent(new IsClause("vehicleType", "automobile"));
 rule.AddAntecedent(new IsClause("size", "medium"));
 rule.AddAntecedent(new IsClause("num_doors", "2"));
 rule.setConsequent(new IsClause("vehicle", "Sports_Car"));
 rie.AddRule(rule);

 rule = new Rule("Sedan");
 rule.AddAntecedent(new IsClause("vehicleType", "automobile"));
 rule.AddAntecedent(new IsClause("size", "medium"));
 rule.AddAntecedent(new IsClause("num_doors", "4"));
 rule.setConsequent(new IsClause("vehicle", "Sedan"));
 rie.AddRule(rule);

 rule = new Rule("MiniVan");
 rule.AddAntecedent(new IsClause("vehicleType", "automobile"));
 rule.AddAntecedent(new IsClause("size", "medium"));
 rule.AddAntecedent(new IsClause("num_doors", "3"));
 rule.setConsequent(new IsClause("vehicle", "MiniVan"));
 rie.AddRule(rule);

 rule = new Rule("SUV");
 rule.AddAntecedent(new IsClause("vehicleType", "automobile"));
 rule.AddAntecedent(new IsClause("size", "large"));
 rule.AddAntecedent(new IsClause("num_doors", "4"));
 rule.setConsequent(new IsClause("vehicle", "SUV"));
 rie.AddRule(rule);

 rule = new Rule("Cycle");
 rule.AddAntecedent(new LessClause("num_wheels", "4"));
 rule.setConsequent(new IsClause("vehicleType", "cycle"));
 rie.AddRule(rule);

 rule = new Rule("Automobile");
 rule.AddAntecedent(new IsClause("num_wheels", "4"));
 rule.AddAntecedent(new IsClause("motor", "yes"));
 rule.setConsequent(new IsClause("vehicleType", "automobile"));
 rie.AddRule(rule);

 return rie;
}

The sample code below shows how to use forward chaining in the rule engine to derive more facts from the known facts using rules:

RuleInferenceEngine rie = getInferenceEngine();
rie.AddFact(new IsClause("num_wheels", "4"));
rie.AddFact(new IsClause("motor", "yes"));
rie.AddFact(new IsClause("num_doors", "3"));
rie.AddFact(new IsClause("size", "medium"));

console.WriteLine("before inference");
console.WriteLine("{0}", rie.Facts);
console.WriteLine("");

rie.Infer(); //forward chain

console.WriteLine("after inference");
console.WriteLine("{0}", rie.Facts);
console.WriteLine("");

The sample code below shows how to use the backward chaining to reach conclusion for a target variable given a set of known facts:

RuleInferenceEngine rie = getInferenceEngine();
rie.AddFact(new IsClause("num_wheels", "4"));
rie.AddFact(new IsClause("motor", "yes"));
rie.AddFact(new IsClause("num_doors", "3"));
rie.AddFact(new IsClause("size", "medium"));

console.WriteLine("Infer: vehicle");

List<Clause> unproved_conditions = new List<Clause>();

Clause conclusion = rie.Infer("vehicle", unproved_conditions);

console.WriteLine("Conclusion: " + conclusion);

Assert.Equal(conclusion.Value, "MiniVan");

The sample code below shows how to use the rule engine to ask more questions when it fails to reach conclusion for the target variable given a limited set of known facts:

RuleInferenceEngine rie = getInferenceEngine();

console.WriteLine("Infer with All Facts Cleared:");
rie.ClearFacts();

List<Clause> unproved_conditions = new List<Clause>();

Clause conclusion = null;
while (conclusion == null)
{
 conclusion = rie.Infer("vehicle", unproved_conditions);
 if (conclusion == null)
 {
  if (unproved_conditions.Count == 0)
  {
   break;
  }
  Clause c = unproved_conditions[0];
  console.WriteLine("ask: " + c + "?");
  unproved_conditions.Clear();
  console.WriteLine("What is " + c.Variable + "?");
  String value = Console.ReadLine();
  rie.AddFact(new IsClause(c.Variable, value));
 }
}

console.WriteLine("Conclusion: " + conclusion);
console.WriteLine("Memory: ");
console.WriteLine("{0}", rie.Facts);