通用问题解决器

通用问题解决器 是由Herbert Simon、J.C. Shaw和Allen Newell三人于1957年创建的一个计算机程序，基于Simon和Newell的关于逻辑机的研究，用以作为普遍问题解决机。原理上，任何形式化的符号问题都可以被此程序解决。例如，定理证明，几何问题以及国际象棋对抗。