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