Declare-Expression 与Forward-Chaining /Backward-Chaining
先举一个例子:Declare-Expression 中表达式是C = A+B。
当A和B的值确定的时候,C的值会自动计算出来,大家都会说这个是Forward-Chaining。
然而Backward-Chaining是怎么样的运算规则呢?
有一种理解是:如果A和C的值确定了,B的值能自动计算出来,这样就是Backward-Chaining。对于这种理解,我去做过试验,因为C是target property,不能对C直接进行赋值,那这种说法也就不成立了。
对于这2个概念,我的理解是:
Forward-Chaining的运算规则是:当改变A