- [[AIブーム]]のうち、1950-1960頃の初めのブームを指す - コンピュータにより[[探索]]や推論の研究が進み、特定の問題の解を出せるように - [[Zk/ref/トイ・プロブレム|トイ・プロブレム]]が解けても複雑な現実の問題を解けないことからブームが冷めてしまった