From: adamchuk@gmail.com   
      
   I am intrested in formal approaches in solving problems. Such point is   
   interested in paticular:   
   1. Approaches to formal representation of target setting (formalized   
   solution representations too).   
   2. Formal techniques of determination relations between problems   
   (possiblility to solve some problem by solving one or more other   
   problems - more spread problems).   
   3. Approaches to automated quontitive estimation of problem solution.   
   4. Estimation of mass character (how often the problem is met on   
   practice) and realistic problem.   
   5. Approaches to formalized classification of problem (or determining   
   stage of nearity between problems).   
   6. Convertin problem (setting and solution) presented by natural   
   language to formal representation an vice versa. Automated   
   interpretation of problems presented in natural language.   
   7. Link of problem solving theory with situational calculus.   
      
   I will be very thanksfull if somebody provide me links to resources   
   that explain such problems.   
      
   [ 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)