From: bearoleg@mail.ru   
      
   On Sat, 08 Apr 2006 04:41:08 +0400, lfrodrigues@gmail.com   
    wrote:   
      
   > Hello,   
   >   
   > I'm looking for algorithms to do verification of an Rule Based Expert   
   > Systems (I mostly need Completeness and Consistency checks).   
   >   
   > Could someone, please, point me to some links.   
   >   
   > Thanks in advance.   
      
   Hello,   
      
   you can find some hints in the presentations on this page:   
   http://www.tu-ilmenau.de/fakia/1776+M52087573ab0.0.html   
      
      
   ----------------------   
   Best regards   
      O. Vinogradov   
      
   [ comp.ai is moderated.  To submit, just post and be patient, or if ]   
   [ that fails mail your article to , and ]   
   [ ask your news administrator to fix the problems with your system. ]   
      
   --- SoupGate-Win32 v1.05   
    * Origin: you cannot sedate... all the things you hate (1:229/2)