Означивание

Cтраница 2

Для каждого из этих означиваний существует единственное истинностное означивание Vk, fc е 1, 2, 3, 4), расширяющее его. [16]

Так, в результате означивания атрибутов фрейма-прототипа ФР-местоположение аппарата ( ФР-МА) должна определяться только информация, необходимая для оптимизации компоновочного решения: габариты аппарата; размеры зон ремонта, монтажа и обслуживания аппарата; минимальная и максимальная высотные отметки размещения единицы оборудования; размеры зоны допустимого размещения аппарата в плане; условия вхождения ЕО в технологический блок или узел. [17]

Kg является специальным случаем другого означивания KG, если AS содержит все элементы, содержащиеся в KG. [18]

Таким образом, при означивании атрибутов глобального фрейма-прототипа необходимо обращение к локальным и элементарным фреймам БЗ. В результате этой процедуры генерируется сеть фреймов-прототипов. [19]

Это означает, что каждое истинностное означивание, подтверждающее все высказывания из 5, подтверждает также С. [20]

В предыдущем параграфе мы определили означивание атомов языка и, затем, распространив означивание атомов на составные высказывания, определили истинностные означивания. При помощи этого метода мы можем установить, является ли высказывание тавтологией, противоречием, или оно выполнимо. Однако, чем больше составляющих содержит высказывание, тем более сложным становится этот метод. [21]

То есть высказывание истинно для любого истинностного означивания V. Следовательно, оно является тавтологией. [22]

В ( 2) было совершено определенное логическое означивание этой парадигмы PR ( r p ], которое вообще говоря многовариантно и за каждым из различных способов и функций означивания, логического означивания парадигмы посредством операторов законов композиции Z ( r p) и вербального означивания в виде слов языка7 ( г р), стоит определенный метод осуществления реалий универсума 9t и его познания. [23]

Для каждого из этих означиваний существует единственное истинностное означивание Vk, fc е 1, 2, 3, 4), расширяющее его. [24]

Каждая строка в этих таблицах соответствует означиванию и его однозначному расширению до истинностного означивания. [25]

В общем существует только один способ координировать означивания правил - модификация содержимого рабочей памяти. Элементы рабочей памяти, используемые для управления и способные означивать некоторое правило ( группы правил), называют сигналами. Конечно, сигналы могут выполнять и не только управляющие функции, но эти их свойства мы пока рассматривать не будем. [26]

В процессе генерации семантических решений НФЗ после означивания ФР-прототипы превращаются во ФР-примеры; образуется взаимосвязанная совокупность родственных ФР, называемая сетью фреймов, или системой фреймов. Каждый ФР и сеть ФР комплексно отображают как декларативные, так и процедурные знания о ПО. [27]

Из таблицы видно, что существуют четыре означивания, при которых все высказывания из 5 становятся истинными. Проверим, что в каждом из этих случаев высказывание В V С также обращается в истину. [28]

S B и осуществляет только один вариант означивания частных переменных. [29]

Информационная структура фрейма-примера Технологический поток ХТС - № 1, отображающего достоверное знание об одном из технологических потоков в сгенерированной технологической схеме ХТС. [30]

Страницы: 1 2 3 4