Re: JESS: Problem with 2 same-RHS rule

Ernest Friedman-Hill Mon, 18 Apr 2011 06:47:58 -0700

Have a look at the no-loop and slot-specific declarations:


http://www.jessrules.com/jess/docs/71/rules.html#slot-specific



On Apr 17, 2011, at 7:11 AM, Vu Le wrote:

This is a multi-part message in MIME format.

------extPart_000_0006_01CBFD2A.E94491F0
Content-Type: text/plain;
charset-ascii
Content-Transfer-Encoding: 7bit

My code is as follow:

 (deftemplate service

 (slot transport (type ATOM))

 (slot radius (type NUMBER))

 (slot activity (type ATOM))

)



(defrule rule1

 (declare (salience 41))

 ?s<- (service (activity walking))

 (modify ?s(radius 1000))

 )



(defrule rule2

 (declare (salience 42))

 ?s<- (service (transport car))

 (modify ?s(radius 5000))

)



(reset)



(assert (service (transport car) (activity walking)))



(run)



That causes an infinite loop!
My intention is to let only rule2 to be fired, not rule1. Does Jessprovide
anything to fix that?

Thank you.




------extPart_000_0006_01CBFD2A.E94491F0
Content-Type: text/html;
charset-ascii
Content-Transfer-Encoding: quoted-printable
<html xmlns:v="urn:schemas-microsoft-com:vml" xmlns:o="urn:schemas-microsoft-com:office:office" xmlns:w="urn:schemas-microsoft-com:office:word" xmlns:m="http://schemas.microsoft.com/office/2004/12/omml" xmlns="http://www.w3.org/TR/REC-html40";><head><META HTTP-EQUIV="Content-Type" CONTENT="text/html; charset=us-ascii"><metaname=Generator content="Microsoft Word 12 (filteredmedium)"><style></style></head><body lang=VI link=bluevlink=purple><div class=WordSection1><spanlang=EN-US style='font-size:10.0pt;font-family:"CourierNew";color:black'>My code is as follow:<o:p></o:p><pclass=MsoNormal style='text-autospace:none'>      <spanstyle='font-size:10.0pt;font-family:"Courier New";color:black'>(deftemplate service<spanstyle='font-size:10.0pt;font-family:"Courier New";color:black'> <o:p></o:p><spanstyle='font-size:10.0pt;font-family:"CourierNew";color:black'>            (slot transport (type ATOM<spanstyle='font-size:10.0pt;font-family:"Courier New";color:black'>))<o:p></o:p><spanstyle='font-size:10.0pt;font-family:"CourierNew";color:black'>            (slot radius (type NUMBER<spanstyle='font-size:10.0pt;font-family:"Courier New";color:black'>))<o:p></o:p>      (slot<spanstyle='font-size:10.0pt;font-family:"CourierNew";color:#FF0022'> activity (<spanstyle='font-size:10.0pt;font-family:"CourierNew";color:#FF0022'>type ATOM))<spanstyle='font-size:10.0pt;font-family:"Courier New"'><o:p></o:p>)<o:p></o:p><o:p> </o:p>(<spanstyle='font-size:10.0pt;font-family:"CourierNew";color:#0018DD'>defrule rule1<o:p></o:p><pclass=MsoNormal style='text-autospace:none'>            (declare (<spanstyle='font-size:10.0pt;font-family:"CourierNew";color:#FF0022'>salience 41<spanstyle='font-size:10.0pt;font-family:"Courier New";color:black'>))<o:p></o:p>            ?s<-  (service (activity walking))<o:p></o:p>            =>    (modify<spanstyle='font-size:10.0pt;font-family:"Courier New";color:#A09900'> ?s(radius 1000))<o:p></o:p><spanstyle='font-size:10.0pt;font-family:"CourierNew";color:black'>      )<o:p></o:p><pclass=MsoNormal style='text-autospace:none'><o:p> </o:p><pclass=MsoNormal style='text-indent:36.0pt;text-autospace:none'><spanstyle='font-size:10.0pt;font-family:"Courier New";color:black'>(defrule rule2<o:p></o:p><pclass=MsoNormal style='text-autospace:none'>            (declare (<spanstyle='font-size:10.0pt;font-family:"CourierNew";color:#FF0022'>salience 42<spanstyle='font-size:10.0pt;font-family:"Courier New";color:black'>))<o:p></o:p><spanstyle='font-size:10.0pt;font-family:"CourierNew";color:#A09900'>            <spanstyle='font-size:10.0pt;font-family:"Courier New";color:#A09900'>?s<-  (service (transport car<spanstyle='font-size:10.0pt;font-family:"Courier New";color:black'>))<o:p></o:p><spanstyle='font-size:10.0pt;font-family:"CourierNew";color:black'>            =>    (modify<spanstyle='font-size:10.0pt;font-family:"Courier New";color:#A09900'> ?s(radius 5000))<o:p></o:p>)<spanstyle='font-size:10.0pt;font-family:"Courier New"'><o:p></o:p><pclass=MsoNormal style='text-autospace:none'><o:p> </o:p><pclass=MsoNormal style='text-indent:36.0pt;text-autospace:none'><spanstyle='font-size:10.0pt;font-family:"Courier New";color:black'>(reset)<o:p></o:p><pclass=MsoNormal style='text-autospace:none'><o:p> </o:p><pclass=MsoNormal style='text-indent:36.0pt;text-autospace:none'><spanstyle='font-size:10.0pt;font-family:"Courier New";color:black'>(assert (service (<spanstyle='font-size:10.0pt;font-family:"CourierNew";color:#FF0022'>transport car) (<spanstyle='font-size:10.0pt;font-family:"CourierNew";color:#FF0022'>activity walking)))<spanstyle='font-size:10.0pt;font-family:"Courier New"'><o:p></o:p><spanstyle='font-size:10.0pt;font-family:"Courier New"'><o:p> </o:p>(run)<o:p></o:p><o:p> </o:p>That causes aninfinite loop!<o:p></o:p>My intention is to let only rule2to be fired, not rule1. Does Jess provide anything to fix that?<o:p></o:p>Thank you.<o:p></o:p><pclass=MsoNormal><o:p> </o:p></div></body></html>
------extPart_000_0006_01CBFD2A.E94491F0--



--------------------------------------------------------------------
To unsubscribe, send the words 'unsubscribe jess-usersy...@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.
--------------------------------------------------------------------


---------------------------------------------------------
Ernest Friedman-Hill
Informatics & Decision Sciences          Phone: (925) 294-2154
Sandia National Labs
PO Box 969, MS 9012                            ejfr...@sandia.gov
Livermore, CA 94550                             http://www.jessrules.com





--------------------------------------------------------------------
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.
--------------------------------------------------------------------

Re: JESS: Problem with 2 same-RHS rule

Reply via email to