Re: JESS: [EXTERNAL] Jess rule validation algorithm
"Peter Lin" <[email protected]> Thu, 6 Jun 2013 11:09:33 -0400
| Newsgroups | gmane.comp.java.jess |
|---|---|
| Message-ID | <CAKv2g8eZmzJaCe7kV7H8i96kMg1DUQLO+F=oMNc-F6t5S6bTJQ@mail.gmail.com> |
--20cf3079bfeaa78d8c04de7db3bf Content-Type: text/plain; charset=windows-1252 Content-Transfer-Encoding: quoted-printable the literature on rule validation and ruleset validation is pretty deep. Check on ACMQueue for old papers on the subject dating back to 80's and 90's. There's too much prior art to attempt any sort of explanation on a mailing list. I've been studying the topic since 2000 and the bottom line is it's very tough. The simplest approach is to generate facts for each rule, assert those facts and check the rule fired. Beyond that, you'd have to analyze the RETE network to calculate the rule dependency graph and compare the rules fired against the dependency graph. peter lin On Thu, Jun 6, 2013 at 10:52 AM, Wessel, Alexander <[email protected]>wr= ote: > Hi Jess-users,**** > > I=92 m a german computer senice student working on my master thesis. The > topic is rule verification in rule based systems. We are using Jess as > rule engine. Currently I=92m looking for an implementation of a rule chec= ker > for Jess. Alternative I=92m looking for an algorithm to recognize rule > errors like subsumed rules, circular rules, conflicting rules and so one. > **** > > ** ** > > I would appreciate if you can me give me an advice where I can find an > implementation or an algorithm for further research?**** > > ** ** > > Thanks for your help.**** > > ** ** > > best regards**** > > ** ** > > Alexander Wessel**** > > ** ** > > Email: [email protected] > Phone: +49 341 49287-0 | Fax: +49 341 49287-790**** > > itCampus Software- und Systemhaus GmbH | a Software AG Company > Nonnenstrasse 37 | 04229 Leipzig | Germany | http://www.itcampus.de > Amtsgericht Leipzig HRB 15872 | Managing Director: Guido Laures > USt-IdNr DE202041156**** > > ** ** > > ** ** > --20cf3079bfeaa78d8c04de7db3bf Content-Type: text/html; charset=windows-1252 Content-Transfer-Encoding: quoted-printable <div dir=3D"ltr"><div><div><div><br></div>the literature on rule validation= and ruleset validation is pretty deep. Check on ACMQueue for old papers on= the subject dating back to 80's and 90's.<br><br></div>There's= too much prior art to attempt any sort of explanation on a mailing list. I= 've been studying the topic since 2000 and the bottom line is it's = very tough. The simplest approach is to generate facts for each rule, asser= t those facts and check the rule fired. Beyond that, you'd have to anal= yze the RETE network to calculate the rule dependency graph and compare the= rules fired against the dependency graph.<br> <br></div>peter lin<br></div><div class=3D"gmail_extra"><br><br><div class= =3D"gmail_quote">On Thu, Jun 6, 2013 at 10:52 AM, Wessel, Alexander <span d= ir=3D"ltr"><<a href=3D"mailto:[email protected]" target=3D"_blank">A.= [email protected]</a>></span> wrote:<br> <blockquote class=3D"gmail_quote" style=3D"margin:0 0 0 .8ex;border-left:1p= x #ccc solid;padding-left:1ex"> <div link=3D"blue" vlink=3D"purple" lang=3D"DE"> <div> <p class=3D"MsoNormal"><span style=3D"font-size:10.0pt;font-family:"Tr= ebuchet MS","sans-serif"" lang=3D"EN-US">Hi Jess-users</span= ><span lang=3D"EN-US">,<u></u><u></u></span></p> <p class=3D"MsoNormal"><span style=3D"font-size:10.0pt;font-family:"Tr= ebuchet MS","sans-serif"" lang=3D"EN-US">I=92 m a german com= puter senice student working on my master thesis. =A0The topic is rule </span><span lang=3D"EN-US">verification</span><span style=3D"font-size:10.= 0pt;font-family:"Trebuchet MS","sans-serif"" lang=3D"EN= -US"> in rule based systems. We are using Jess as rule engine. Currently I= =92m looking for an implementation of a rule checker for Jess.=A0 </span><span lang=3D"EN-US">Alternative I=92m = looking for an </span><span style=3D"font-size:10.0pt;font-family:"Trebuchet MS"= ,"sans-serif"" lang=3D"EN-US">algorithm to recognize rule errors = like </span><span lang=3D"EN-US">subsumed rules, circular rules, conflicting rul= es and so one. <u></u><u></u></span></p> <p class=3D"MsoNormal"><span lang=3D"EN-US"><u></u>=A0<u></u></span></p> <p class=3D"MsoNormal" style=3D"text-autospace:none"><span lang=3D"EN-US">I= would </span> <span style=3D"font-size:10.0pt;font-family:"Trebuchet MS","= sans-serif"" lang=3D"EN-US">appreciate if you can </span><span lang=3D"EN-US">me give me an advice where I can find an implem= entation or an </span><span style=3D"font-size:10.0pt;font-family:"Trebuchet MS"= ,"sans-serif"" lang=3D"EN-US">algorithm </span><span lang=3D"EN-US">for further research?<u></u><u></u></span></p> <p class=3D"MsoNormal"><span lang=3D"EN-US"><u></u>=A0<u></u></span></p> <p class=3D"MsoNormal"><span lang=3D"EN-US">Thanks for your help.<u></u><u>= </u></span></p> <p class=3D"MsoNormal"><span lang=3D"EN-US"><u></u>=A0<u></u></span></p> <p class=3D"MsoNormal"><span lang=3D"EN-US">best regards<u></u><u></u></spa= n></p> <p class=3D"MsoNormal"><span lang=3D"EN-US"><u></u>=A0<u></u></span></p> <p class=3D"MsoNormal" style=3D"text-autospace:none"><span style=3D"font-si= ze:10.0pt;font-family:"Trebuchet MS","sans-serif"" lang= =3D"EN-US">Alexander Wessel<u></u><u></u></span></p> <p class=3D"MsoNormal" style=3D"text-autospace:none"><span style=3D"font-si= ze:10.0pt;font-family:"Trebuchet MS","sans-serif"" lang= =3D"EN-US"><u></u>=A0<u></u></span></p> <p class=3D"MsoNormal"><span style=3D"font-size:10.0pt;font-family:"Tr= ebuchet MS","sans-serif"" lang=3D"EN-US">Email: <a href=3D"mailto:[email protected]" target=3D"_blank">a.wessel@itcampus= .de</a><br> Phone: <a href=3D"tel:%2B49%20341%2049287-0" value=3D"+49341492870" target= =3D"_blank">+49 341 49287-0</a> | Fax: <a href=3D"tel:%2B49%20341%2049287-7= 90" value=3D"+4934149287790" target=3D"_blank">+49 341 49287-790</a><u></u>= <u></u></span></p> <p class=3D"MsoNormal"><span style=3D"font-size:10.0pt;font-family:"Tr= ebuchet MS","sans-serif"" lang=3D"EN-US">itCampus Software- = und Systemhaus GmbH | a Software AG Company<br> Nonnenstrasse 37 | 04229 Leipzig | Germany | </span><span lang=3D"EN-US"><a= href=3D"http://www.itcampus.de/" target=3D"_blank"><span style=3D"font-siz= e:10.0pt;font-family:"Trebuchet MS","sans-serif"">http:= //www.itcampus.de</span></a></span><span style=3D"font-size:10.0pt;font-fam= ily:"Trebuchet MS","sans-serif"" lang=3D"EN-US"><br> Amtsgericht Leipzig HRB 15872 | Managing Director: Guido Laures<br> USt-IdNr DE202041156<u></u><u></u></span></p> <p class=3D"MsoNormal"><span style=3D"font-size:10.0pt;font-family:"Tr= ebuchet MS","sans-serif"" lang=3D"EN-US"><u></u>=A0<u></u></= span></p> <p class=3D"MsoNormal"><u></u>=A0<u></u></p> </div> </div> </blockquote></div><br></div> --20cf3079bfeaa78d8c04de7db3bf--