The Future of Artificial Intelligence in China

China's research efforts in artificial intelligence (AI) began later than the U.S. and Europe. Early contributions in the 1970s included automated theorem proving, logic reasoning, search, and knowledge engineering. For example, Wen-tsün Wu is a pioneer in automated theorem proving. He received the State Preeminent Science and Technology Award in 2000, an honor bestowed on only 25 Chinese scientists across all fields to date. Bo Zhang and Ruqian Lu received the Life Achievement Award from the China Computer Federation (CCF) for their fundamental contributions respectively on problem solving and knowledge engineering.