Antonio Jimeno wrote:   
   >   
   >    I am trying to find papers about theory refinement, more precisely   
   >    related on the possibility of finding incompleteness in my domain   
   >    theory when I am trying to solve a problem. I have found papers from   
   >    different people but those are 10 years old. Do you have references   
   >    to more up to date papers?   
      
   There is the ongoing work by Tecuci, et al , at George Mason University   
   using the Disciple Apprentice learning system.  This is not about   
   theory refinement in general but focuses on refining a particular   
   ontology and particular tasks in a specific domain.  The refinement   
   process forces the user to update the ontology as Disciple generates   
   correct and incorrect rules based on examples presented to the system.   
   The user also explains why some of the generated rules are incorrect,   
   etc.  This kind of cooperative refinement results in an increasingly   
   correct (but still possibly incomplete) and potentially reusable   
   ontology while the rules generated from task decomposition apply to the   
   specific problems of concern to the user.   
      
   Kirt Undercoffer   
      
   [ 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)