Logic Theorist
Logic Theorist はその後のAI研究の中核となるいくつかの概念を生み出した。