Решение задач автоматического доказательства теорем и создание А.Ньюэллом, Дж.Шоу и Г.Саймоном программы GPS (General Problem Solver) позволило:

Question

Answer

формализовать алгоритмы поиска

Answer

разработать базы знаний для решения таких задач

Answer

разработать мощные эвристики для снижения сложности пространства поиска

Answer

разработать исчисление предикатов и язык PROLOG

Crowdly