Cтраница 4
Правила ( продукции) состоят из предусловий и действий. Предусловие описывает некоторую ситуацию, задаваемую перечислением условий, необходимых для существования данной ситуации. Если предусловие истинно, то выполняется действие продукции. До того как предусловие начинает проверяться, система пытается определить значения всех упомянутых в предусловии параметров. Предусловие ложно, если не найдено значение какого-нибудь параметра или ложно выражение, объединяющее его условия. Для формирования значения предусловия из условий будем использовать логические связки и, или, являющиеся многозначными аналогами булевских функций Д, V. [46]
Традиционно под продукционными системами понимают только системы, использующие вывод, направляемый данными. Обычно предусловие задается в виде логической комбинации утверждений о данных рабочей памяти, а действием является некоторая операция по модификации памяти. Сложность действий колеблется в значительных пределах от простой операции присваивания до функции произвольной степени сложности. [47]
Предусловие 3.1.4 снова приводит к поиску в базе данных, пока не будет обнаружено 5.1.0, которое безусловно выполняется, и никаких других предусловий не возникает. В предусловии 3.1.5 используется другой встроенный оператор, который вносит новый факт в базу данных, размещая его перед другими подобными фактами. В нашем случае имеет ( волосы) будет добавлено непосредственно перед строкой 5.1.0. Система таким образом установила первый факт, касающийся обсуждаемого животного. [48]
Информацию о целях пользователя предполагается задавать в виде правил несоответствия. В предусловиях правил несоответствия описывается конкретное несоответствие предполагаемого и фактических результатов, возникающее при обработке текстов. [49]
Взаимодействие образцов происходит с использованием параметра Система. В предусловии образца Образец Скрещиваниезначение этого параметра сравнивается с вероятностью скрещивания, хранящейся в параметре Система. Правило применяется лишь в том случае, если значение параметра Система. Таким образом, сначала подбирается пара особей и параметру Система. Затем, если предусловие применения образца Образец Скрещивание выполняется, производится скрещивание данной пары особей и параметру Система. Число присваивается значение 2 0, что предотвращает повторное применение образца. Если же сгенерированное случайное число оказалось больше вероятности скрещивания, то скрещивания данной пары особей не происходит. [50]
В базе данных не найдется такого, что системой Пролог рассматривается как неудача, так что 4.1.0 также будет считаться неудачей вследствие того, что неудаче й закончилось доказательство одного из его предусловий. Следовательно, и предусловие 2.5.0 заканчивается неудачей. [51]
Этот цикл с предусловием будет работать до тех пор, пока значение делителя d будет меньше или равно делимому с. [52]