In Artificial Intelligence, collaborating with Professor Ling Zhang, I have proposed a problem solving theory based on quotient space, which has been successfully applied to areas such as heuristic search, fuzzy analysis and reasoning, and robotic task and motion planning.