數理邏輯、離散數學、微積分。 人工智能有很多分支，對AI理論研究，需要很深的邏輯。需要象模態邏輯、時序邏輯等非經典邏輯，還需要範疇學。對傳統符號式機器，需要數理邏輯和離散數學、概率統計。對連接主義機器，需要概率統計、微積分。對強化學習和Agent，需要邏輯和運籌學等。
