Cтраница 1
Использование предикатов дает возможность формировать в модели истоки, стоки, преобразователи и затоки с заданными структурными свойствами. [1]
Использование предикатов позволяет построить формальный язык, аналогичный исчислению высказываний, но, в отличие от него, проникающий в структуру элементарных высказываний. Например, высказывание четыре больше двух в исчислении высказываний является неразложимым. Если же ввести предикат Р ( х, у) с множеством целых неотрицательных чисел в качестве предметной области, истинный тогда и только тогда, когда выполняется неравенство х у, то приведенное высказывание запишется в форме Р ( 4, 2), которая дает уже представление о внутренней структуре высказывания. [2]
Использование многоместншх предикатов позволяет лучше отразить специфику знаний предметной области, так как появляется возможность описать внутреннюю структуру используемых категорий, учитывать контекст и сделать грамматику более компактной. Применение таких грамматик для синтеза сценариев позволяет представить элементы знаний в виде описаний, содержащих наборы параметров, причем в процессе подстановки существует возможность согласования значений этих параметров. Например, любой Субъект в вышеописанном сценарии может быть представлен описанием следующего вида: Субъ-ект ( имясубъекта, статус, местоположение, условиевыхода из игры, последнее совершенное действие, ожидаемое со-бытие), С помощью этих атрибутов значительно упрощается процесс организации причинно-следственных связей между событиями, а также установление связей между субъектами и возможными для них действиями. [3]
Использование многоместншх предикатов позволяет лучше отразить специфику знаний предметной области, так как появляется возможность описать внутреннюю структуру используемых категорий, учитывать контекст и сделать грамматику более компактной. Применение таких грамматик для синтеза сценариев позволяет представить элементы знаний в виде описаний, содержащих наборы параметров, причем в процессе подстановки существует возможность согласования значений этих параметров. С помощью этих атрибутов значительно упрощается процесс организации причинно-следственных связей между событиями, а также установление связей между субъектами и возможными для них действиями. [4]
Такое использование предиката AND не рекомендуется. [5]
При использовании предиката длина / 2 из разд. [6]
При использовании предикатов проверки типа следует быть внимательным к установлению порядка следования подцелей. [7]
Важной особенностью использования предикатов является возможность организации групповой защиты. [8]
Для иллюстрации использования предиката choice рассмотрим предикат EDB employее ( Name, Sex, Age, Income, Dept), в котором хранятся данные о служащих фирмы, причем каждый служащий однозначно идентифицируется своим именем. [9]
Первая особенность состоит в использовании предиката findall. [10]
Основное отличие состоит в использовании предиката collectup, который, применяя retract, последовательно находит вхождения предиката memo, пока не доберется до дизъюнкта memo ( mark), который был добавлен первым. Это дает возможность определению самого предиката q использовать setof, а тем самым и memo, добавляя свой собственный маркер перед добавлением или вычеркиванием следующих дизъюнктов memo. Этот метод использует вместо assert метапредикат asserta, который добавляет новые дизъюнкты перед существующими. Таким образом, мы управляем стеком дизъюнктов memo, где расставлены маркеры, показывающие начало каждого нового рекурсивного вызова. [11]
Второе главное отличив состоит в использовании предикатов в качестве охраняющих условий в начале дизъюнктов вместо условных выражений. [12]
В описании СТЭЛЗа следует обратить внимание на использование предикатов типа контекст и ключ. Эти предикаты интерпретируются как пустые цепочки на этапе распознавания СТЭЛЗа и практически работают только на этапе генерации СТЭЛЗа. [13]
Замечание: Во многих Лисп-системах функция REMOVE определена с использованием предиката EQUAL вместо EQL, с помощью такой функции можно удалять элементы, являющиеся списками. [14]
Фиттинг отмечает, что существует некоторая трудность, связанная с эффективностью использования предиката test. В то же время, если формула X не является доказуемой, то вызов предиката expand будет закончен успешно, но вызов предиката closed завершится неудачей, что приведет к бектрекингу ( поиску новых значений) для предиката expand. Но если предикат expand может успешно завершиться для нескольких значений ( путей), то предикат closed никогда успешно не завершится. Следовательно, перед окончанием программы с неудачей будет выполнено много путей для нахождения расширения формулы, заданной в ДНФ. Таким образом, предикат test заменяется приведенным ниже предикатом, который является более эффективным в случае, когда формула не является теоремой. [15]