Cтраница 2
Итак, задача квантификации состоит в определении для обрабатываемого предложения типов кванторов, порядка их рассмотрения и вложенности областей действия кванторов. Тип кванторов, вводимых этапом квантификации, определяется только кванторными словами, имеющимися в обрабатываемом предложении. [16]
В первом случае две квантификации по одной и той же переменной перекрываются. [17]
Ограниченность возможностей ЛПР в квантификации интервалов изменения непрерывных переменных и параметров приводит к ограниченности числа типовых ситуаций, рассматриваемых ЛПР в процессе принятия решения. [18]
Сама по себе возможность квантификации знаний имеет огромное значение для человеческой цивилизации. [19]
Естественно предположить, что процесс квантификации понятий рано или поздно должен был захватить и понятие качество во всех его аспектах и приложениях. [20]
Еще один случай, при котором квантификация с помощью квантора общности в интеррогативе допускает конечный ответ, возникает тогда, когда область переменной квантификации ограничена конечной категорией. Чтобы ввести в рассмотрение такого рода интеррогативы, в ассерторической логике необходимо иметь заданный грамматикой список конечных категорных условий и эффективный способ определения для каждого условия числа имен в его именной области. Этот список нам нужен для определения семантического понятия интерпретации: предполагаемая интерпретация не должна приписывать значение ни одому элементу реальной области конечного категорного условия, если тот не обозначен некоторым именем из именной области данного условия. [21]
Квантификация над xl9 х2 совместно ведет к квантификации лишь для 2; если же потребовать непрерывности в каждой точке, то нужно записывать новый Ух - квантор в самом начале. [22]
В третьем случае баланс представляет следствие использования принципа квантификации, так как и актив, и пассив заполняют по данным, собранным по статистике страховых, торговых и подобных им предприятий. [23]
Здесь V - квантор всеобщности, определяющий операцию универсальной квантификации. Отсюда следует, что универсальная квантификация даже разрешимого отношения может вывести за пределы класса рекурсивно перечислимых множеств. Тем более, класс рекурсивно перечислимых множеств не замкнут относительно операции универсальной квантификации. [24]
Второе правило вывода ( правило обобщения) управляет квантификацией. [25]
Отсюда вытекает, что класс Q замкнут относительно операций ограниченной квантификации. [26]
Новые эргономические методы должны позволять разностороннюю дифференциацию ( разделение, квантификация) процесса труда на физическом, психофизиологическом и психическом уровнях для определения конкретного компонента ( элементарной функции, психофизиологического акта, оперативной единицы, психологического процесса) разной природы, сложности и значимости в структуре производственной функции. [27]
Заметным событием последних 20 лет стало появление нового направления - квантификации ( введения числовых мер) индивидуального и социального риска. Возможно, следует согласиться с тем, что квантификация обогнала процесс количественного описания экономических выгод. [28]
Исчисление считают исчислением первого порядка, если в нем допускается квантификация термов, но не допускается квантификация предикатных или функциональных символов. [29]
Кроме логических функций, в логике предикатов имеются еще операции квантификации - кванторы. Это специальные операции, которые служат для выражения общности суждений и связанных с ними понятий и позволяют на формальном языке исчисления предикатов говорить не об одном объекте, а о целом классе объектов. [30]