Cтраница 1
Список целей, требующих применения эвристических преобразований, или, короче, эвристический список целей, - это упорядоченный список тех целей, которые не являются ни стандартной формой, ни целями, допускающими преобразования алгоритмического вида. Цель из эвристического списка целей называется эвристической целью. Новые цели такого рода помещаются в списке целей в порядке возрастания относительных оценок стоимости. [1]
Исчерпан ли эвристический список целей. [2]
Извлеки из эвристического списка целей очередную цель gi, которая будет предметом рассмотрения следующего внутреннего цикла. [3]
Заметим, что список целей обрабатывается как стек, осуществляя поиск в глубину. Если интерпретатор при унификации терпит неудачу, то происходит возврат ( бектрекинг) в самую последнюю точку выбора унификации, восстанавливаются все связи ( bindings), сделанные в этой точке выбора, и выбирается следующий дизъюнкт в Р, который будет унифицироваться с самой левой целью. Таким образом, язык Пролог осуществляет поиск в пространстве дизъюнктов слева направо и в глубину. [4]
Составляется беглый набросок списка целей, причем жизненно важные цели в него не включаются. [5]
База данных системы - это текущий список целей, которые пролог-система пытается удовлетворить. [6]
![]() |
Пример, иллюстрирующий процедурную семантику Пролога. шаги вычислений, выполняемых процедурой вычислить. [7] |
У вего нет тела, поэтому список целей становится пустым. [8]
Часто вместо четко сформулированных задач предлагается список количественных целей бизнеса: по рентабельности, росту продаж, доходам на активы, рыночной долг и / или список программ или проектов для их достижения. Это очень отличается от понимания общих задач, которые организация должна решить, если намерена добиться успеха на рынке. [9]
Для этого исполнительная программа, следуя вдоль списка целей, ищет сначала какой-либо приемлемый ход, как описано выше. После того как он найден, программа включает остальные генераторы, чтобы проверить, не будет ли этот ход предложен еще раз. Если нет, программа продолжает работать со списком ходов, проверяя, не является ли какой-нибудь дважды предложенный ход приемлемым. Если нет, делается первый приемлемый ход или лучший ход из неприемлемых. Такое правило представляется довольно разумным, поскольку понятие многоцелевого хода играет важную роль в шахматной литературе. [10]
Ока терпит неудачу, а поэтому и весь список целей также терпит неудачу. Это очевидно, однако перед тем как признать, что такому списку целей удовлетворить нельзя, пролог-система при помощи возвратов попытается проверить еще две бесполезные в данной случае альтернативы. [11]
Список целей, требующих применения эвристических преобразований, или, короче, эвристический список целей, - это упорядоченный список тех целей, которые не являются ни стандартной формой, ни целями, допускающими преобразования алгоритмического вида. Цель из эвристического списка целей называется эвристической целью. Новые цели такого рода помещаются в списке целей в порядке возрастания относительных оценок стоимости. [12]
Как только в результате применения такого преобразования будет выработана новая цель g, занеси ее в список целей и попытайся найти ее непосредственное решение. [13]
Заметим, что, если С - факт, тогда п0, и в этом случае новый список целей оказывается короче, нежели исходный; такое уменьшение списка целей может в определенных случаях превратить его в пустой, а следовательно, - привести к успешному завершению. [14]
Цели предлагаются исходя из общей ситуации, например для стадии дебюта. Список целей для позиции составляется в результате поочередной работы программ определения цели для всех потенциально возможных целей. Каждая программа определяет, имеет ли данная цель отношение к делу в данной конкретной позиции или нет. Для цели контроль над центром не требуется сбора специальной информации; считается, что эта цель не имеет отношения к делу, если центральные пешки уже продвинуты на 4 - ю горизонталь или дальше. [15]