Cтраница 1
Соответствующие предикаты проверяют, что доступная ячейка ПВ вагонной памяти не содержит восьмого элемента, а в третьем элементе ничего не записано. [1]
В каждом прямоугольнике представлен уровень типов аргументов соответствующего предиката проверки типа. Этот предикат успешно согласуется для каждого входящего в прямоугольник типа его аргумента. [2]
В работе [50] выяснена тесная связь между классическими алгоритмическими проблемами и понятием аппроксимируемости алгебры относительно соответствующих предикатов. После этого уже довольно просто решаются проблемы равенства и вхождения для нильпотентных групп, а также некоторые другие алгоритмические вопросы. Надо заметить, что развитие и применение идей, содержащихся в [50], и в настоящее время еще далеки от своего исчерпания. [3]
Если формула составлена только с помощью операций алгебры высказываний, то после замены предикатов на 5JI соответствующими предикатами на 2R, а значений предметных переменных из 2JJ соответствующими значениями из ЗИ значения предикатов, стоящих в формуле, не изменятся. Ясно, что операции алгебры высказываний после такой замены дадут тот же результат, что и до замены. [4]
Положительный ответ будет выдан только на первый запрос, так как только для него в списке фактов есть соответствующий предикат. Напомним, что отрицательный ответ на запрос дается в том случае, если список фактов не содержит предиката из запроса. [5]
А теперь - совершенно аналогично тому, как это было сделано в случае положительных действительных чисел, - определив соответствующий предикат 6 ( и), мы сможем формализовать понятие последовательности действительных чисел и предела такой последовательности, а также формально изобразить основные теоремы о пределах. [6]
Вообще, всякий раз, когда речь идет о свойствах объектов или отношениях между ними, их можно представлять как соответствующие предикаты. [7]
Определенные факты ( основные атомы - ground atoms) нужно разместить в базе данных раньше, чем правила, которые в качестве цели имеют соответствующие предикаты. Таким образом будут минимизированы издержки обращения к правилам. [8]
Применяя теорему 43 ( см. пример 11 ( а) § 74), можно получить другую систему Sit в которой функциональные символы - -, заменены соответствующими предикатами, а число аксиом увеличено до девятнадцати. [9]
Вторая версия соединяет колонку 2 отношения РУКОЮДИТ с колонкой 1 отношения R - это нам и требуется. Соответствующий предикат в синтаксисе QUEL записан в фигурных скобках. При таком подходе приходится все время помнить, что означает каждый номер колонки, и это приводит к трудностям после нескольких соединений и проекций. [10]
Для больших программ на Турбо Прологе удобно иметь ведущий драйвер, организованный в виде цикла. Драйвер, проходя через меню, позволяет выбрать опцию и активизировать соответствующий предикат, из которого после его завершения управление возвращается обратно в меню для следующего выбора. Непосредственно в начале предиката вывода меню находится оператор repeat, благодаря которому возможен только один способ избежать возврата назад и успешно прийти к цели, - выбор опции меню, предназначенной для выхода из программы. [11]
Но поскольку мы не знаем, есть ли денотат у имени Одиссей, мы вряд ли можем сказать, что таковой имеется у всего предложения. Ясно, однако, что тот, кто всерьез считает данное предложение истинным или ложным, считает также, что имя Одиссей имеет не только смысл, но и денотат, ибо именно денотату этого имени можно приписывать или не приписывать состояние, обозначенное в приведенном предложении соответствующим предикатом. Тот же, кто считает, что некоторый денотат не существует, не может ничего утверждать или отрицать относительно этого денотата. Можно было бы вообще считать, что доискиваться до денотата имени излишне: если бы нас интересовало только суждение, выраженное в предложении, можно было бы довольствоваться знанием смысла. [12]
При формальном построении исчисления предикатов обычно не интересуются тем, из каких именно объектов состоит та или иная предметная область, достаточно знать лишь общее число всех этих объектов или, выражаясь более точно, мощность множества всех объектов, составляющих предметную область. Если предметная область конечна или счетна, составляющие ее объекты могут быть заменены их номерами. Тем самым предметные области сводятся к некоторым числовым множествам, что облегчает задачу конкретного выражения соответствующих предикатов. Поскольку предикаты представляют собой переменные высказывания, с ними можно производить все операции, применявшиеся во второй главе при построении исчисления высказываний. Вместе с тем наличие предметных переменных позволяет ввести ряд новых операций, специфических для исчисления предикатов. Построение указанных операций осуществляется с помощью так называемых кванторов. Обычно ограничиваются лишь двумя видами кванторов, называемых кванторами существования и кванторами общности. Для их обозначения будем использовать знаки Эх и Vx соответственно, где х указывает ту переменную, на которую действует квантор. [13]
Это ограничение, скорее, ставит некоторую временную подцель в процессе поиска удовлетворительного решения. Статус некоторого утверждения в системе с пересмотром убеждений может быть либо внесено, либо изъято, либо неизвестно. В системе с ограничениями аналогичный статус принимает значения удовлетворено, неудовлетворимо, снято или предложено. Ограничение удовлетворено, если его аргументам приданы такие значения, при которых соответствующий предикат истинен. Ограничение неудовлетворимо, если такого множества значений не существует. Ограничение является предложенным, если оно сформулировано, но пока неизвестно, удовлетворимо ли оно. Ограничение снято, если оно больше не принимается во внимание. Подобная характеризация возможных значений статуса ограничения приведена нами для примера; конкретные системы с ограничениями могут опираться на несколько иную классификацию. [14]