問題番号: No.1022 (しっかりモード)

1984年にダグラス・レナートによって開始された、人間が持つすべての一般常識をコンピュータに手作業で論理式として入力し、真の意味での推論を可能にする巨大な知識ベースを構築することを目指した長期プロジェクトを【　　　】と呼ぶ。