To my mind in such a cases variable must be bounded to a denied matter. I can explain benefits of this. Let's assume that we want to find car, specified by James. We only assign restrictions in antecedent - we testing for absence of red cars -with- radio! In such a way we can restrict search space. We divide all cars into red-cars and not-red-cars, and then we seek cars-with-radio among red-cars. Why we can say ?car <- (red car) (not (radio ?car)) but cannot vice versa?
I'm sorry for my English. -----Original Message----- From: [EMAIL PROTECTED] [mailto:[EMAIL PROTECTED] Behalf Of [EMAIL PROTECTED] Sent: Tuesday, June 17, 2003 6:40 PM To: [EMAIL PROTECTED] Subject: Re: JESS: not CE I think Maxim Tretyak wrote: > Hi > > 1. This is rather suggestion. I am frequently use fact ID as a slot value to > refer to fact (looks like foreign key). But in cases when there is need to > check an absence of referred fact I can't do this in LHS due to a "not" CE > incapacity to binding to a variable. So I'd like to have this opportunity. > When a pattern has a pattern binding, it is a fact that matches the pattern that is bound to the variable. In the scenario you're describing, what would the variable be bound -to-? > 2. Why after retracting the (a) a test rule have not turn to agenda? > Sorry, I don't have access to a copy of Jess to test this today; I'll get to it later this week. --------------------------------------------------------- Ernest Friedman-Hill Distributed Systems Research Phone: (925) 294-2154 Sandia National Labs FAX: (925) 294-2234 PO Box 969, MS 9012 [EMAIL PROTECTED] Livermore, CA 94550 http://herzberg.ca.sandia.gov -------------------------------------------------------------------- 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] --------------------------------------------------------------------
