人物
Allen Newell
美国计算机科学家和认知心理学家，人工智能与认知科学先驱，符号主义AI代表人物，与Herbert Simon共同开发了逻辑理论家和通用问题求解器程序
核心事实
时间轴 (近 90 天)
8月30日
自动定理证明的历史可追溯至1956年，Allen Newell和Herbert Simon开发的Logic Theorist被认为是第一个自动推理程序
已验证75%
8月29日
Alpha-Beta剪枝技术由Allen Newell和Herbert A. Simon等人在1950年代末开发
待验证50%