Hi,
I want to ask a general question on backward chaining in rule system,
I have found some books on logic and they have definition on backward
chaining as follows,
given a rule, p implies q,
then by backward chaining, it need to start with (negation q), to
imply (negation p),
i.e. ~q implies ~p, that is their definition on backward chaining.
But in many rule systems Jess, they perform backward chaining without
any negation,
why are the differences ?
Thanks
Patrick
---------------------------------------------------------------------
To unsubscribe, send the words 'unsubscribe jess-users [EMAIL PROTECTED]'
in the BODY of a message to [EMAIL PROTECTED], NOT to the
list (use your own address!) List problems? Notify [EMAIL PROTECTED]
---------------------------------------------------------------------
