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.
Связанные с этим термином идеи были явно предложены в качестве альтернативы искусственному интеллекту Ван Хао (Hao Wang) на заре автоматического доказательства теорем. … «решение проблем» — в основном, а возможно и полностью, дело надлежащего выбора.