刘海滨：应加大对人工智能基础理论的探索