Related ideas were explicitly proposed as an alternative to Artificial Intelligence by Hao Wang from the early days of automatic theorem provers. .."problem solving" is largely, perhaps entirely, a matter of appropriate selection.
Пов'язані ідеї явно пропонуються як альтернатива штучного інтелекту Хао Ван з ранніх днів Автоматичного доведення теорем. .. «рішення проблем» в значній мірі, можливо, зовсім, справа відповідного вибору.