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