Cтраница 1
Использование кванторов не только сокращает запись, но и позволяет весьма простым способом строить отрицания предложений ( определений, утверждений), записанных с помощью кванторов. [1]
С использованием квантора some решение задачи примера 2 выглядит следующим образом. [2]
При использовании ограниченных кванторов часто употребляется более вольная система обозначений. [3]
Эти языки существенно математизированы и предусматривают использование кванторов. Второй класс составляют дисплей-ориентированные языки. Применяя их, можно формулировать запрос путем указания соответствующих элементов отображения, выведенного на экран дисплея, или заполнения пустых граф. Два таких языка - Query by Example [405, 406] и CUPID [254] - поддерживаются СУБД INGRES. И наконец, к третьему классу принадлежат языки, ориентированные на отображения. С помощью этих языков описывается отображение известного атрибута или множества атрибутов в искомый атрибут или множество атрибутов некоторого отношения. [4]
Для этого нужно научиться формулировать свойство множество содержит много элементов с использованием кванторов существования и всеобщности. Мы сделаем это, предполагая, что рассматриваются подмножества некоторой конечной группы. [5]
Я считаю, что программы, осуществляющие рассуждения и решение задач, должны в конечном счете допустить неограниченное использование кванторов и множеств и иметь достаточна строгие методы контроля, чтобы избежать комбинаторного взрыва. [6]
По аналогии с предметными специализированными кванторами можно ввести и специализированные предикатные кванторы, если понимать выражения ( V P), ( З Р) как символы высказываний: для каждого предиката Р, обладающего свойством ЭД, существует предикат Р, обладающий свойством ЭД, такой, что. Именно использование специализированных предикатных кванторов позволило найти формулировку для основной внутренней локальной теоремы. [7]
Использование групповых функций any и all соответствует использованию кванторов в реляционном исчислении, ориентированном на домены. [8]
Модус поненс утверждает, что из правильно построенных формул А и А - - В мы можем вывести ппф. Конкретизация имеет похожий смысл, но связана с использованием квантора общности. Конкретизация порождает ппф W ( A) из ппф ( Ух) W ( x), где А представляет собой произвольный константный символ. [9]
Фреймы Выделение зон размещения ЕО в плане позволяют для каждой ЕО выделить площадь ее возможного размещения на определенном высотном уровне с точки зрения технологических и конструкционных условий компоновки. Программная реализация операции выделения зон размещения связана с анализом условий компоновки, использованием кванторов, операциями расширения и уменьшения зон допустимого размещения ЕО, что требует применения исчисления предикатов 1-го порядка. [10]
Применение логического подхода в управлении стимулируется потребностями увеличения потенциала управления на основе использования по возможности всей информации, доступной в процессе формирования управления, и привлечения наиболее мощных методов искусственного интеллекта для ее обработки. При этом для охвата более широкого класса задач необходимо обеспечить высокую выразительность языка, в частности, допускать использование кванторов и предикатов. [11]
Языки, которые в этом случае предоставляются конечному пользователю, в той или иной мере основаны на реляционной алгебре или исчислении отношений. Языки, основанные на реляционной алгебре, в большей степени процедурны, чем языки, основанные на исчислении отношений, и позволяют строить достаточно сложные с использованием кванторов общности и существования) выражения, описывающие новое отношение, которое нужно получить, в терминах заданных отношений. [12]
Имеющиеся в настоящее время вопросно-ответные информационные языки обычно неудовлетворительны в том отношении, что сложность формулируемых запросов на этих языках, как правило, крайне ограниченна. Обычно увеличение допустимой сложности достигается за счет композиции связок пропозиционального исчисления и соответствующих им операций в алгебре множеств. Использование кванторов в вопросно-ответных системах в лучшем случае спорадическое, а обычно неполное и непоследовательное. Адекватное усовершенствование эротетической логики, как мы полагаем, позволит создать и внедрить информационные вопросно-ответные языки и системы, значительно более мощные и полезные, чем те, что имеются в нашем распоряжении на сегодняшний день. [13]
Неопредел, описания, как доказал Гильберт, могут заменить использование кванторов в классич. [14]
Арифметические операции распространим на векторы, считая их покомпонентными операциями. Отношения же переопределим для векторов как глобальные отношения, с использованием кванторов существования и всеобщности. [15]