As of Fall 2010, the Never Ending Language Learning artificially intelligent computer system at Carnegie Mellon University, Pittsburg, PA (USA) is making significant progress in what is called "machine learning" of the semantics of human's use of natural language. See also Dr. Doug Lenat's decades old semantic network building project... (put the name here...) and the on-going several years old Wolfram xxxxx project to learn how human's solve mathematical problems.