Duh. I had early on gotten into the habit of assigning the LHS clause to a
variable (as I did below in ?r - ...) and then accessing the slots using
dotted vars that I had completely forgotten this alternative way of assigning a
slot value to a var in a rule. It works correctly now without the global and it
retracts the fact when I change the value representing the current time.
Apologies for wasting everyone's time with this stupid question.
Dwight
-Original Message-
From: owner-jess-us...@sandia.gov [mailto:owner-jess-us...@sandia.gov] On
Behalf Of Wolfgang Laun
Sent: Tuesday, June 26, 2012 9:59 PM
To: jess-users@sandia.gov
Subject: Re: JESS: [EXTERNAL] Jess asserts fact that is not true
On 26/06/2012, Dwight Hare d.h...@paritycomputing.com wrote:
I am trying to reason about the passage of time in my rules. I would
like to write the following rule:
(defrule Test
?r - (logical (CurrentTime))
(logical (Condition (time ?time:( (+ ?time 5)
?r.t
=
(assert (Condition-met))
)
Where CurrentTime is a fact that holds the current time, and I
change the slot value t as time progresses. The rule fires if the
time slot in the Condition plus 5 is greater than the current time
(that is, is true within the last 5 time increments). But this syntax
is not allowed because you cannot access a dotted variable (the ?r.t) here.
Why not simply
(defrule Test
(logical (CurrentTime ?ct))
(logical (Condition (time ?time:( (+ ?time 5) ?ct
=
(assert (Condition-met))
)
which avoids all that global rigmarole?
More below.
My first alternative was to declare a defglobal called *time* and
have that change value as time progresses. But there is no way to make
the global a logical dependency of the asserted condition-met so it
doesn't get retracted when the global changes in value sufficient to
make the rule no longer be true.
I came up with a workaround where in addition to the defglobal
*time* I assert a Fact called CurrentTime that holds the same value in the
t slot.
Now my rule is:
(defrule Test
?r - (logical (CurrentTime (t ?t:(= ?t ?*time*
(logical (Condition (time ?time:( (+ ?time 5)
?*time* ; Note I use the global here instead of the dotted var but the
value is the same
=
(assert (Condition-met (globtime ?*time*)(facttime
?r.t)))
)
The fallacy is buried in the second pattern which compares the
(unchanged) Condition with the value in the global *time*. You know that this
has changed, but the Jess Engine doesn't. It works in the first pattern because
you change the CurrentTime fact, and so this pattern is re-evaluated.
Don't use globals in LHS patterns unless they are immutable.
-W
This says that if there is a CurrentTime fact whose slot t has the
same value as the global *time* and there is a Condition whose
time slot plus
5 is greater than that time, then assert the Condition-met. My java
code sets the global to 4, asserts the fact (CurrentTime (t 4)),
and then asserts the fact (Condition (time 0)). Since all the
conditions are met the rules engine asserts the fact
(MAIN::Condition-met (globtime 4) (facttime 4)). All is well though
a bit clumsy. Now I want to move time forward where the
Condition-met should no longer be true. I change the global to 10
and modify the CurrentTime fact and set the t slot to 10 too.
Then I run the rules engine and it retracts the (MAIN::Condition-met
(globtime 4) (facttime 4)) but then mysteriously asserts
(MAIN::Condition-met (globtime 10) (facttime 10)). Since the
Condition time of 0 plus 5 is not greater than 10, it should not have
asserted this.
Here is a dump of the facts in the rules engine at the end:
0: (MAIN::CurrentTime (t 10))
1: (MAIN::Condition (time 0))
3: (MAIN::Condition-met (globtime 10) (facttime 10))
I see no justification for the 3rd fact given the only rule I have.
Is there a better way of accomplishing this?
Dwight
To unsubscribe, send the words 'unsubscribe jess-users y...@address.com'
in the BODY of a message to majord...@sandia.gov, NOT to the list (use your own
address!) List problems? Notify owner-jess-us...@sandia.gov.
To unsubscribe, send the words 'unsubscribe jess-users y...@address.com'
in the BODY of a message to majord...@sandia.gov, NOT to the list
(use your own address!) List problems? Notify owner-jess-us...@sandia.gov.