标签
#newell
包含此关键词的事件：3 个
1956软件
Logic Theorist：首个AI程序
Allen Newell 和 Herbert Simon 创造 Logic Theorist，第一个能证明数学定理的AI程序。
#theorem-proving#heuristic-search#newell
1959软件
GPS：通用问题求解器
Newell 和 Simon 开发 GPS，首个尝试模拟人类问题求解过程的程序。
#problem-solving#symbolic-ai#newell
1983软件
Soar 认知架构
John Laird、Allen Newell 和 Paul Rosenbloom 开发 Soar，通用认知架构的重要尝试。
#cognitive-architecture#unified-theory#cmu