JESS: [EXTERNAL] Jess rule validation algorithm
"Wessel, Alexander" <[email protected]> Thu, 6 Jun 2013 14:52:53 +0000
| Newsgroups | gmane.comp.java.jess |
|---|---|
| Message-ID | <[email protected]> |
--_000_E156AD5587E2E140B845C6C11476D7161986F3ABhqmbx6euradsag_ Content-Type: text/plain; charset=us-ascii Content-Transfer-Encoding: quoted-printable Hi Jess-users, I' m a german computer senice student working on my master thesis. The top= ic is rule verification in rule based systems. We are using Jess as rule en= gine. Currently I'm looking for an implementation of a rule checker for Jes= s. Alternative I'm 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 impl= ementation or an algorithm for further research? Thanks for your help. best regards Alexander Wessel Email: [email protected]<mailto:[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<http://= www.itcampus.de/> Amtsgericht Leipzig HRB 15872 | Managing Director: Guido Laures USt-IdNr DE202041156 --_000_E156AD5587E2E140B845C6C11476D7161986F3ABhqmbx6euradsag_ Content-Type: text/html; charset=us-ascii Content-Transfer-Encoding: quoted-printable <html xmlns:v=3D"urn:schemas-microsoft-com:vml" xmlns:o=3D"urn:schemas-micr= osoft-com:office:office" xmlns:w=3D"urn:schemas-microsoft-com:office:word" = xmlns:m=3D"http://schemas.microsoft.com/office/2004/12/omml" xmlns=3D"http:= //www.w3.org/TR/REC-html40"> <head> <meta http-equiv=3D"Content-Type" content=3D"text/html; charset=3Dus-ascii"= > <meta name=3D"Generator" content=3D"Microsoft Word 14 (filtered medium)"> <style><!-- /* Font Definitions */ @font-face {font-family:Calibri; panose-1:2 15 5 2 2 2 4 3 2 4;} @font-face {font-family:"Trebuchet MS"; panose-1:2 11 6 3 2 2 2 2 2 4;} /* Style Definitions */ p.MsoNormal, li.MsoNormal, div.MsoNormal {margin:0cm; margin-bottom:.0001pt; font-size:11.0pt; font-family:"Calibri","sans-serif"; mso-fareast-language:EN-US;} a:link, span.MsoHyperlink {mso-style-priority:99; color:blue; text-decoration:underline;} a:visited, span.MsoHyperlinkFollowed {mso-style-priority:99; color:purple; text-decoration:underline;} span.E-MailFormatvorlage17 {mso-style-type:personal-compose; font-family:"Trebuchet MS","sans-serif"; color:windowtext; font-weight:normal; font-style:normal; text-decoration:none none;} .MsoChpDefault {mso-style-type:export-only; font-family:"Calibri","sans-serif"; mso-fareast-language:EN-US;} @page WordSection1 {size:612.0pt 792.0pt; margin:70.85pt 70.85pt 2.0cm 70.85pt;} div.WordSection1 {page:WordSection1;} --></style><!--[if gte mso 9]><xml> <o:shapedefaults v:ext=3D"edit" spidmax=3D"1026" /> </xml><![endif]--><!--[if gte mso 9]><xml> <o:shapelayout v:ext=3D"edit"> <o:idmap v:ext=3D"edit" data=3D"1" /> </o:shapelayout></xml><![endif]--> </head> <body lang=3D"DE" link=3D"blue" vlink=3D"purple"> <div class=3D"WordSection1"> <p class=3D"MsoNormal" style=3D"mso-margin-top-alt:auto;mso-margin-bottom-a= lt:auto"><span lang=3D"EN-US" style=3D"font-size:10.0pt;font-family:"T= rebuchet MS","sans-serif"">Hi Jess-users</span><span lang=3D= "EN-US">,<o:p></o:p></span></p> <p class=3D"MsoNormal"><span lang=3D"EN-US" style=3D"font-size:10.0pt;font-= family:"Trebuchet MS","sans-serif";mso-fareast-language= :DE">I’ m a german computer senice student working on my master thesi= s. The topic is rule </span><span lang=3D"EN-US">verification</span><span lang=3D"EN-US" style= =3D"font-size:10.0pt;font-family:"Trebuchet MS","sans-serif&= quot;;mso-fareast-language:DE"> in rule based systems. We are using Jess as= rule engine. Currently I’m looking for an implementation of a rule checker for Jess. </span><span lang=3D"EN-US">Alternative I&#= 8217;m looking for an </span><span lang=3D"EN-US" style=3D"font-size:10.0pt;font-family:"Tre= buchet MS","sans-serif";mso-fareast-language:DE">algorithm t= o recognize rule errors like </span><span lang=3D"EN-US">subsumed rules, circular rules, conflicting rul= es and so one. <o:p></o:p></span></p> <p class=3D"MsoNormal"><span lang=3D"EN-US"><o:p> </o:p></span></p> <p class=3D"MsoNormal" style=3D"text-autospace:none"><span lang=3D"EN-US">I= would </span> <span lang=3D"EN-US" style=3D"font-size:10.0pt;font-family:"Trebuchet = MS","sans-serif";mso-fareast-language:DE">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 lang=3D"EN-US" style=3D"font-size:10.0pt;font-family:"Tre= buchet MS","sans-serif";mso-fareast-language:DE">algorithm </span><span lang=3D"EN-US">for further research?<o:p></o:p></span></p> <p class=3D"MsoNormal"><span lang=3D"EN-US"><o:p> </o:p></span></p> <p class=3D"MsoNormal"><span lang=3D"EN-US">Thanks for your help.<o:p></o:p= ></span></p> <p class=3D"MsoNormal"><span lang=3D"EN-US"><o:p> </o:p></span></p> <p class=3D"MsoNormal"><span lang=3D"EN-US">best regards<o:p></o:p></span><= /p> <p class=3D"MsoNormal"><span lang=3D"EN-US"><o:p> </o:p></span></p> <p class=3D"MsoNormal" style=3D"text-autospace:none"><span lang=3D"EN-US" s= tyle=3D"font-size:10.0pt;font-family:"Trebuchet MS","sans-se= rif";mso-fareast-language:DE">Alexander Wessel<o:p></o:p></span></p> <p class=3D"MsoNormal" style=3D"text-autospace:none"><span lang=3D"EN-US" s= tyle=3D"font-size:10.0pt;font-family:"Trebuchet MS","sans-se= rif";mso-fareast-language:DE"><o:p> </o:p></span></p> <p class=3D"MsoNormal" style=3D"mso-margin-top-alt:auto;mso-margin-bottom-a= lt:auto"><span lang=3D"EN-US" style=3D"font-size:10.0pt;font-family:"T= rebuchet MS","sans-serif";mso-fareast-language:DE">Email: <a href=3D"mailto:[email protected]">[email protected]</a><br> Phone: +49 341 49287-0 | Fax: +49 341 49287-790<o:p></o:p></span></= p> <p class=3D"MsoNormal" style=3D"mso-margin-top-alt:auto;mso-margin-bottom-a= lt:auto"><span lang=3D"EN-US" style=3D"font-size:10.0pt;font-family:"T= rebuchet MS","sans-serif";mso-fareast-language:DE">itCampus = Software- und Systemhaus GmbH | a Software AG Company<br> Nonnenstrasse 37 | 04229 Leipzig | Germany | </span><span lang=3D"EN-US" st= yle=3D"mso-fareast-language:DE"><a href=3D"http://www.itcampus.de/" target= =3D"_blank"><span style=3D"font-size:10.0pt;font-family:"Trebuchet MS&= quot;,"sans-serif"">http://www.itcampus.de</span></a></span><span= lang=3D"EN-US" style=3D"font-size:10.0pt;font-family:"Trebuchet MS&qu= ot;,"sans-serif";mso-fareast-language:DE"><br> Amtsgericht Leipzig HRB 15872 | Managing Director: Guido Laures<br> USt-IdNr DE202041156<o:p></o:p></span></p> <p class=3D"MsoNormal"><span lang=3D"EN-US" style=3D"font-size:10.0pt;font-= family:"Trebuchet MS","sans-serif";mso-fareast-language= :DE"><o:p> </o:p></span></p> <p class=3D"MsoNormal"><o:p> </o:p></p> </div> </body> </html> --_000_E156AD5587E2E140B845C6C11476D7161986F3ABhqmbx6euradsag_--