数理逻辑、离散数学、微积分。 人工智能有很多分支，对AI理论研究，需要很深的逻辑。需要象模态逻辑、时序逻辑等非经典逻辑，还需要范畴学。对传统符号式机器，需要数理逻辑和离散数学、概率统计。对连接主义机器，需要概率统计、微积分。对强化学习和Agent，需要逻辑和运筹学等。