如何将CLIPS与.NET GUI集成开发西瓜病害诊断专家系统

需求概述 #

我用CLIPS开发了一款西瓜植株病害诊断专家系统，目前通过控制台让用户输入yes/no反馈症状来完成诊断。现在想基于.NET框架，用Microsoft Visual Studio开发图形界面，让用户通过复选框选择症状，点击分析按钮获取诊断结果，但我对.NET了解有限。

.NET图形界面开发步骤（WinForms为例） #

1. 创建WinForms项目 #

• 打开Visual Studio，创建**Windows Forms App (.NET)**项目，推荐选择.NET 6及以上版本。

2. 设计界面布局 #

在主窗体上添加以下控件：

• 一个GroupBox，Text设为「请选择植株症状」，内部用TableLayoutPanel排列多个CheckBox，每个复选框对应一个病害症状。
• 一个Button，Text设为「开始诊断」。
• 一个TextBox（设置为只读、允许多行），用来显示诊断结果。

3. 定义数据实体（替代CLIPS模板） #

把CLIPS里的症状和病害逻辑转换成C#实体类，方便后续处理：

public class Symptom
{
    public string Id { get; set; }
    public string Description { get; set; }
    public string Indicative { get; set; } = "yes";
}

public class Disease
{
    public string Name { get; set; }
    public List<string> RequiredSymptomIds { get; set; }
}

4. 初始化症状与病害数据 #

对应CLIPS中的deffacts，在窗体类中初始化数据：

private List<Symptom> _allSymptoms = new List<Symptom>
{
    new Symptom { Id = "ows", Description = "植株子叶出现油状水渍斑" },
    new Symptom { Id = "yhp", Description = "植株出现沿叶脉分布的黄色晕圈" },
    new Symptom { Id = "sda", Description = "叶片出现小型深色角状病斑" },
    new Symptom { Id = "dgb", Description = "发育中果实上表面出现深绿色斑块" },
    new Symptom { Id = "corky", Description = "植株出现木栓化、干燥坏死症状" },
    new Symptom { Id = "misshaping", Description = "果实出现畸形" },
    new Symptom { Id = "dark", Description = "果实出现深色水渍状凹陷" },
    new Symptom { Id = "shiny", Description = "叶片出现有光泽的褪绿晕圈" },
    new Symptom { Id = "sil", Description = "叶片先出现小型不规则病斑，后期变为角状" },
    new Symptom { Id = "owb", Description = "西瓜边缘出现褪绿症状" },
    new Symptom { Id = "olb", Description = "叶片老病斑呈褐色、干燥，易撕裂形成破碎状外观" },
    new Symptom { Id = "sri", Description = "感染叶片出现小型圆形至不规则水渍状斑点" },
    new Symptom { Id = "sou", Description = "叶片上表面斑点变为白灰色至褐色并枯死" },
    new Symptom { Id = "oll", Description = "叶片下表面出现胶粘、有光泽的症状" }
};

private List<Disease> _allDiseases = new List<Disease>
{
    new Disease { Name = "细菌性果斑病", RequiredSymptomIds = new List<string> { "ows", "yhp", "sda", "dgb" } },
    new Disease { Name = "细菌性果皮坏死病", RequiredSymptomIds = new List<string> { "corky", "misshaping", "dark" } },
    new Disease { Name = "角斑病", RequiredSymptomIds = new List<string> { "shiny", "sil", "owb", "olb", "sri", "sou", "oll" } }
};

5. 绑定症状到复选框 #

在窗体的Load事件中，自动创建并添加复选框到TableLayoutPanel：

private void Form1_Load(object sender, EventArgs e)
{
    foreach (var symptom in _allSymptoms)
    {
        CheckBox cb = new CheckBox();
        cb.Text = symptom.Description;
        cb.Tag = symptom.Id; // 存储症状ID，方便后续匹配
        tableLayoutPanelSymptoms.Controls.Add(cb);
    }
}

6. 实现诊断逻辑 #

在「开始诊断」按钮的Click事件中编写匹配逻辑：

private void btnAnalyze_Click(object sender, EventArgs e)
{
    // 获取用户选中的所有症状ID
    List<string> selectedIds = new List<string>();
    foreach (Control ctrl in tableLayoutPanelSymptoms.Controls)
    {
        if (ctrl is CheckBox cb && cb.Checked)
        {
            selectedIds.Add(cb.Tag.ToString());
        }
    }

    // 匹配病害：检查病害的所有必需症状是否都被选中
    List<Disease> matchedDiseases = _allDiseases.Where(d => d.RequiredSymptomIds.All(id => selectedIds.Contains(id))).ToList();

    // 显示结果
    txtResult.Clear();
    if (matchedDiseases.Count > 0)
    {
        foreach (var disease in matchedDiseases)
        {
            txtResult.AppendText($"诊断结果：植株疑似患有「{disease.Name}」\n");
        }
    }
    else
    {
        txtResult.AppendText("未匹配到对应病害，请检查症状选择是否正确");
    }
}

完整汉化后的CLIPS核心代码 #

;; 症状模板：存储症状ID、描述、指示值（默认yes，表示该症状出现即指向病害）
(deftemplate symptom
   (slot id)
   (slot question)
   (slot indicative (default yes)))

;; 症状事实库：西瓜病害所有相关症状
(deffacts symptoms
   (symptom (id ows)
            (question "植株子叶是否出现油状水渍斑？"))
   (symptom (id yhp)
            (question "植株是否出现沿叶脉分布的黄色晕圈？"))
   (symptom (id sda)
            (question "叶片是否出现小型深色角状病斑？"))
   (symptom (id dgb)
            (question "发育中的果实上表面是否出现深绿色斑块？"))
   (symptom (id corky)
            (question "植株是否出现木栓化、干燥坏死症状？"))
   (symptom (id misshaping)
            (question "果实是否出现畸形？"))
   (symptom (id dark)
            (question "果实是否出现深色水渍状凹陷？"))
   (symptom (id shiny)
            (question "叶片是否出现有光泽的褪绿晕圈？"))  
   (symptom (id sil)
            (question "叶片是否先出现小型不规则病斑，后期变为角状？"))  
   (symptom (id owb)
            (question "西瓜边缘是否出现褪绿症状？"))
   (symptom (id olb)
            (question "叶片老病斑是否呈褐色、干燥，易撕裂形成破碎状外观？"))
   (symptom (id sri)
            (question "感染叶片是否出现小型圆形至不规则水渍状斑点？")) 
   (symptom (id sou)
            (question "叶片上表面斑点是否变为白灰色至褐色并枯死？"))
   (symptom (id oll)
            (question "叶片下表面是否出现胶粘、有光泽的症状？"))
)

;; 病害模板：存储病害名称和对应症状列表
(deftemplate disease
   (slot id)
   (multislot symptoms))
   
;; 病害事实库：西瓜病害及其对应症状
(deffacts diseases
   (disease (id "细菌性果斑病")
            (symptoms ows yhp sda dgb))
   (disease (id "细菌性果皮坏死病")
            (symptoms corky misshaping dark))
   (disease (id "角斑病")
            (symptoms shiny sil owb olb sri sou oll))
)

;; 用户回答模板：存储症状ID和用户反馈（yes/no）
(deftemplate answer
   (slot id)
   (slot value))

;; 诊断结论模板：存储确诊病害名称
(deftemplate conclusion
   (slot id))

;; 确诊病害规则：当某病害的所有症状均被确认存在时，断言诊断结论
(defrule conclude-disease
   (disease (id ?disease))
   (forall (disease (id ?disease)
                    (symptoms $? ?symptom $?))
           (symptom (id ?symptom)
                    (indicative ?value))
           (answer (id ?symptom)
                   (value ?value)))
   =>
   (assert (conclusion (id ?disease))))  

;; 控制台提问函数：获取用户有效回答（yes/no）
(deffunction ask-question (?question $?allowed-values)
  (printout t ?question " " ?allowed-values " ")
  (bind ?answer (read))
  (if (lexemep ?answer)
     then (bind ?answer (lowcase ?answer)))
  (while (not (member$ ?answer ?allowed-values)) do
     (printout t ?question " " ?allowed-values " ")
     (bind ?answer (read))
     (if (lexemep ?answer)
        then (bind ?answer (lowcase ?answer))))
  ?answer)

;; 控制台提问规则：询问未回答的症状，且对应病害未被排除
(defrule ask-symptom
   (symptom (id ?symptom)
            (question ?question))
   (disease (id ?disease)
            (symptoms $? ?symptom $?))
   (not (answer (id ?symptom)))
   (not (and (disease (id ?disease)
                      (symptoms $? ?other-symptom $?))
             (symptom (id ?other-symptom)
                    (indicative ?value))
             (answer (id ?other-symptom)
                     (value ~?value))))
   =>
   (bind ?value (ask-question ?question yes no))
   (assert (answer (id ?symptom)
                   (value ?value))))

;; 打印诊断结论：优先级最低，最后执行
(defrule print-conclusion
   (declare (salience -10))
   (conclusion (id ?disease))
   =>
   (printout t "植株疑似患有：" ?disease "。" crlf))

;; 打印无结论：未匹配到任何病害时执行
(defrule print-no-conclusion
   (declare (salience -10))
   (not (conclusion))
   =>
   (printout t "未匹配到对应的西瓜病害，请检查症状描述是否准确。" crlf))

内容的提问来源于stack exchange，提问作者Ahmad Rumah