KA: Integrating Natural language Processing and Problem Solving