ПОИСК Статьи Чертежи Таблицы Заметим, что именно умение отыскивать такие значения (ответный терм) для переменной, связанной квантором существования, позволяет ставить роботу вопросы весьма общего характера и осуществлять диалог с ним. Например, если спросить у робота: «Какие действия и з какой последовательности нужно совершить, чтобы собрать из имеющихся деталей определенную конструкцию ?», то ответом на этот вопрос должна быть не просто констатация факта, что сборка данной конструкции возможна; робот должен предложить еще и развернутый план (технологический маршрут) сборки. [Выходные данные]