人工 智能 学科 within 运算 科学 介绍 in 1956 which is focused on the 模拟 of 方面 of 人类 智能