From: tmp123@menta.net   
      
   Hello,   
      
   Working with planning systems, typically the description of the   
   postconditions of an action contains statements like "-in_table(x)".   
   The meaning is the initial state X matches the condition "in_table",   
   and the final state it doesn't. In other words:   
   FINAL_STATE=INITIAL_STATE-in_table(X)"   
      
   It is posible to describe the same using only basic first order logic   
   operators (/\,\/,->,...), without create the new operator "-"?   
      
   Thanks a lot for your help.   
      
   [ 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)