Hi all,
see comments below:
> > Assuming:
> >
> > (do-backward-chaining foo)
> >
> > 1) 'not' CE implies 'explicit':
> > Example:
> > (not (foo)) interpreted as: (not (explicit (foo)), that is no
'need-foo'
> > fact is generated
> >
>
> That's right. Jess behaves this way mostly because it never occurred
> to me that it could behave any other way; it could, though, I
> see. Does anybody else have an opinion one way or the other?
>
Yes, for most cases this will be right.
> > It might seem ok to assume 'not need-foo' means: "I don't need foo", but
> > what I really need
> > here is a way to check that the need-foo rule does not fire.
>
> > (Workaround: another rule without the 'not' CE, that does initialization
of
> > need-foo)
> >
>
> I guess I don't understand what it is you want to do here -- I'd be
> interested in details.
Some details: I'm using backward chaining for a dynamic 'rule polling
system' enabling
rules in groups according to certain contexts. That amounts to using rules a
bit like queries
without losing the responsive behavior and the RHS missing in a querydef.
So the (not (foo)) is supposed to say: I need to know what happened to
need-foo but I want it
NOT to fire for the current rule.
Thanks in advance for your help,
Marc.
>
>
> ---------------------------------------------------------
> Ernest Friedman-Hill
> Distributed Systems Research Phone: (925) 294-2154
> Sandia National Labs FAX: (925) 294-2234
> Org. 8920, MS 9012 [EMAIL PROTECTED]
> PO Box 969 http://herzberg.ca.sandia.gov
> Livermore, CA 94550
>
> ---------------------------------------------------------------------
> 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]
> ---------------------------------------------------------------------
>
>
---------------------------------------------------------------------
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]
---------------------------------------------------------------------
