人工智能全史
历史章节
包含此关键词的事件：2 个
Allen Newell 和 Herbert Simon 创造 Logic Theorist，第一个能证明数学定理的AI程序。
Newell 和 Simon 开发 GPS，首个尝试模拟人类问题求解过程的程序。