[判断]  20世纪30年代和40年代，数理逻辑和搜索的新思想对人工智能的形成产生了重要影响。