CLIPS编程报错：6分钟步行距离输入数值类型不符问题求助

问题背景 #

编写CLIPS程序实现以下逻辑：

• 让用户输入基线6分钟步行距离（6MWDbaseline）和24周时的6分钟步行距离（6MWD24weeks）
• 执行计算：
  • x = 6MWD24weeks - 6MWDbaseline
  • y = x / 6MWDbaseline
• 根据y值判断结果：
  • y≥0.2：标记为成功
  • 0.05≤y≤0.19：标记为临床改善
  • y<0.049：标记为失败

测试时编写判断逻辑阶段出现错误，提示6MWDbaseline和6MWD24weeks需为整数或浮点数，代码及错误信息如下：

CLIPS> (clear)
CLIPS> (defrule MAIN::6WMDbaseline-check
    =>
    (printout t "What is the distance on the baseline 6-minute walk distance in meters?" crlf)
    (assert (6MWDbaseline (read))))
CLIPS> (defrule MAIN::6MWD24week-check
    =>
    (printout t "What is the distance on the 24-week 6-minute walk distance in meters?" crlf)
    (assert (6MWD24week (read))))
CLIPS> (defrule MAIN::success-decision
    (6MWDbaseline ?6MWDbaseline)
    (6MWD24week ?6MWD24week)
    =>
    (if (- 6MWD24week 6MWDbaseline = x) and (/ x 6MWDbaseline >0.2))
    then
    (printout t "Primary outcome met, greater than 20% improvement in 6-minute walk distance" crlf))
[ARGACCES2] Function '-' expected argument #1 to be of type integer or float.

ERROR:
    (defrule MAIN::success-decision
    (6MWDbaseline ? 6MWDbaseline)
    (6MWD24week ? 6MWD24week)
    =>
    (if (- 6MWD24week 6MWDbaseline = x)
CLIPS> 

问题分析 #

报错核心原因：

1. 变量引用错误：计算时直接使用事实名6MWD24week和6MWDbaseline，而非规则中绑定的变量?6MWD24week和?6MWDbaseline，导致CLIPS无法识别为数值类型。
2. 语法格式错误：CLIPS的if语句和变量赋值语法不符合规范，不能直接用(- ... = x)赋值，需用bind命令绑定计算结果；同时if的条件判断结构不符合CLIPS标准语法。

修正后的完整代码 #

(clear)

; 读取基线6分钟步行距离
(defrule MAIN::6MWDbaseline-check
    =>
    (printout t "请输入基线6分钟步行距离（米）：" crlf)
    (assert (6MWDbaseline (read))))

; 读取24周时的6分钟步行距离
(defrule MAIN::6MWD24week-check
    =>
    (printout t "请输入24周时的6分钟步行距离（米）：" crlf)
    (assert (6MWD24week (read))))

; 计算并判断结果
(defrule MAIN::outcome-decision
    (6MWDbaseline ?baseline)
    (6MWD24week ?week24)
    =>
    ; 计算x和y
    (bind ?x (- ?week24 ?baseline))
    (bind ?y (/ ?x ?baseline))
    ; 多条件判断
    (if (>= ?y 0.2) then
        (printout t "结果：成功，6分钟步行距离提升超过20%" crlf)
    elseif (and (>= ?y 0.05) (<= ?y 0.19)) then
        (printout t "结果：临床改善，6分钟步行距离提升5%-19%" crlf)
    else
        (printout t "结果：失败，6分钟步行距离提升不足5%" crlf))
    ; 清除已输入的事实，避免重复触发规则
    (retract (6MWDbaseline ?baseline) (6MWD24week ?week24)))

说明 #

• 修正变量引用：使用规则中绑定的?baseline和?week24进行数值计算，确保CLIPS识别为数值类型。
• 规范语法：用bind命令存储计算结果，采用CLIPS标准的if-elseif-else结构实现多分支判断。
• 添加事实回收：规则执行完成后撤回输入的事实，避免重复触发判断规则。

内容的提问来源于stack exchange，提问作者Marnie Hicks