記号を用いて知識を記述し、論理的な推論を行うAIのアプローチはどれか。

記号と論理をベースにしたAIは第2次ブームまでの主流で、シンボリックAIと呼ばれる。