Cтраница 1
Идентифицирующее правило вида (7.17) может быть представлено в виде ориентированного графа такого же типа, как и распознающий граф. Отличительной чертой идентифицирующего графа является то, что все его листья относятся к одному и тому же классу. [1]
В правилах вида (1.11) допускается употребление скобок, знаков иначе, иначе если и или в тех же смыслах, что и в ранее рассматривавшихся правилах. [2]
Знак в правилах вида (1.14) непосредственно указывает на условие, которому соответствуют невычисляемые исходные показатели. Знак 4 обозначает отсутствие необходимости замены в соответствующем классе семов при. [3]
Простым примером такого правила является правило вида Если А - истина, то В - ложь. СГ-правила представляют собой логические комбинации сведений, которые показывают достоверность подтверждения или опровержения гипотез. Следующие несколько примеров взяты из модели-прототипа для выдачи советов о действиях при утечке нефтепродуктов или химических веществ ( см. гл. Для сокращения английского текста в языке системы EXPERT используется мнемоника. [4]
Если известно, что истинно утверждение А и существует правило вида ЕСЛИ А, ТО В, тогда утверждение В также истинно. [5]
В логическом программировании и продукционных системах - процедурная интерпретация правила вида если А то В, при которой добавление в базе знаний факта А вызывает добавление в нее факта В. [6]
В логическом программировании и продукционных системах - - процедурная интерпретация правила вида если А то В, при которой добавление в базу знаний факта А вызывает добавление в нее и факта В. [7]
Любой контекстно-свободный язык L A может быть порожден грамматикой с правилами вида a - Pv и о - - а, где а, 3, Y, 6 е V А, а е А. [8]
Для грамматики G ( A, S, P, S) с правилами вида Р S - - SS, S - - SaS, S - va3 определить сложность вывода терминальных цепочек, длина которых не превышает 15 знаков. [9]
Техническое освидетельствование вновь смонтированных трубопроводов выполняют по окончании всех сварочных работ, термообработки и проведения всех предусмотренных Правилами видов контроля, после установки и окончательного закрепления опор и подвесок и регистрации трубопроводов в местном органе госгортехнадзора. [10]
Частный случай бесконтекстной грамматики - автоматная грамматика ( конечно-автоматная грамматика, грамматика с конечным числом состояний) с правилами вида А - - аВ и А - - а, где а - основной символ, А и Б - вспомогательные символы. [11]
Техническое освидетельствование вновь смонтированных трубопроводов производят после регистрации их в органе госгортехнадзора и окончания всех сварочных работ, термообработки и проведения всех предусмотренных правилами видов контроля, а также после установки и окончательного закрепления опор и подвесок. Техническое освидетельствование трубопроводов проводят до наложения изоляции. На тепловых электростанциях допускается проведение освидетельствования вновь смонтированного трубопровода, изготовленного из бесшовных труб с наложенной изоляцией, при условии положительных результатов 100 % контроля элементов трубопроводов ( труб, фасонных частей) неразрушающими методами дефектоскопии и предъявления для осмотра сварных стыков и фланцевых соединений без тепловой изоляции. [12]
Техническое освидетельствование вновь смонтированных трубопроводов проводится после регистрации их в органах госгортехнадзора и окончания всех сварочных работ, термообработки и проведения всех предусмотренных Правилами видов контроля, а также после установки и окончательного закрепления опор и подвесок. [13]
Техническое освидетельствование вновь смонтированных трубопроводов производят после регистрации их в местном органе Госгортехпадзора СССР и окончания всех сварочных работ, термообработки и проведения всех предусмотренных правилами видов контроля, а также после установки и окончательного закрепления опор и подвесок. [14]
Техническое освидетельствование вновь смонтированных трубопроводов производят после регистрации их в местном органе Госгортехнадзора СССР и окончания всех сварочных работ, термообработки и проведения всех предусмотренных правилами видов контроля, а также после установки и окончательного закрепления опор и подвесок. [15]