From: dnk@OMIT.csse.unimelb.edu.au   
      
   HaltingState  writes:   
      
   >peter wrote:   
   >> A guy are paying me to develop a nature language processing eninge, to   
   >> convert english into logic. I think I can write a phraser to phrase   
   >> the english. My idea is to convert english into 3 basic logics :   
   >> equal, larger than, small than.   
      
   These are relationships, not logics.  You'll need more than these 3   
   to capture even a small fragment of English.   
      
   >>   
   >> If input "cat is red" into my engine, I will store "cat = red" in my   
   >> database.   
   >>   
   >> So what should I do next?   
      
   Refund the guy's money?   
      
   >>   
   >> thanks   
   >> from Peter (cmk128@hotmail.com)   
   >>   
      
   >Notice that a relationship between objects is undirected if f(x,y) =   
   >f(y,x); but for most relationships this is not the case.   
      
   The usual terminology is that such a relationship is symmetric.   
   (Equivalence relations are reflexive, symmetric and transitive.)   
      
   Also, red is not an object but a property, and "is" doesn't usually   
   stand for equivalence, e.g. a dog is a mammal, today is hot, today   
   is Sunday, Peter is smart, Peter is 20, Peter is early, ...   
      
   David   
      
   [ comp.ai is moderated ... your article may take a while to appear. ]   
      
   --- SoupGate-Win32 v1.05   
    * Origin: you cannot sedate... all the things you hate (1:229/2)