Логическая система

Cтраница 3

Для создания электрических управляющих логических систем применяют электромеханические ( реле) или электронные элементы. [31]

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

МНОГОЗНАЧНАЯ ЛОГИКА - логическая система, выражения к-рой принимают в интерпретации более двух истинностных значений ( в случае только двух значений - истинно или ложно - имеет место классическая двузначная логика), а в общем случае - любое конечное или бесконечное множество значений. [33]

МОДАЛЬНАЯ ЛОГИКА - логическая система, изучающая структуру рассуждений, в состав к-рых входят модальности ( модальные операторы): необходимо возможно, действительно, случайно - и их отрицания. [34]

Так были созданы логические системы для диагностики на базе ЭЦВМ различных заболеваний - врожденных пороков сердца, желтухи и пр. [35]

Заметим, что никакая адекватная логическая система не может порождать одновременно некоторое выражение и его отрицание. В действительности адекватная система позволяет выводить только тавтологии. [36]

В чем состоит основная логическая система связей ( контекст) дидактического процесса. Что является ( структурными) элементами дидактического процесса. В чем выражается структурная и процессуальная связь этих элементов. В чем заключены закономерные тенденции дидактического процесса. [37]

Дальнейшим совершенствованием аппаратуры комплектных логических систем являются универсальные логические устройства с задаваемой программным путем логикой управления. Такие устройства будут двух уровней: 1) программируемые логические матрицы, выполненные печатным монтажом, в которые необходим мая логика работы оборудования задается соответствую щей расстановкой диодов в местах пересечения горизонтальных и вертикальных шин печатной схемы; 2) универсальные программируемые логические устройства ( УПЛУ) с последовательной обработкой выходных сигналов, в которых логика работы оборудования определяется программой, записанной в памяти устройства. [38]

Дальнейшим совершенствованием аппаратуры комплектных логических систем являются универсальные логические устройства с задаваемой программным путем логикой управления. Такие устройства будут двух уровней: 1) программируемые логические матрицы, выполненные печатным монтажом, в которые необходи-мая логика работы оборудования задается соответствующей расстановкой диодов в местах пересечения горизонтальных и вертикальных шин печатной схемы; 2) универсальные программируемые логические устройства ( УПЛУ) с последовательной обработкой выходных сигналов, в которых логика работы оборудования определяется программой, записанной в памяти устройства. [39]

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

Сигналы датчиков через логическую систему ИЛИ поступают в запоминающее устройство. При одновременной подаче в логическую систему И трех сигналов: запоминающего устройства, датчика запрещающих сигналов ДЭС ( указывающего на отсутствие тока в соответствующем разъединителе) и датчиков разрешающих сигналов ДРС ( учитывающих собственное время срабатывания разъединителя во избежание отключения его в начале проводящего полупериода) через усилитель мощности подается сигнал на отключающую катушку соответствующего разъединителя. [41]

Априори ясно, что логическая система для формализации модифицируемых рассуждений должна быть немонотонной. Численность теорем, которые можно получить, может уменьшаться при росте числа основных аксиом или предпосылок. [42]

Структура абонентского комплекса. [43]

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

С другой стороны, основные логические системы не оснащены средствами структурирования и агрегирования знаний. Применение систем классификации и типизации объектов через механизм ассоциированного доступа прямо не предусмотрено. Иногда ищется компромисс через соединение чисто логических методов с объектным и сетевым представлениями ( разд. Системы классификации и механизмы доступа объектного формализма используются для иерархического таксономического. [45]

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