Системы информационные /system of information

Логика временная — логика отношений, в которой отношения (предикаты) или специальные операторы характеризуют временные зависимости («раньше», «будет», «одновременно» и т.д.). Другим типом Л.В. являются так

Логика второго порядка — формальная система, в которой допускается, что кванторы общности и существования могут связывать не только индивидные переменные, но и предикатные или иные

Логика двоичная — логика, в которой в качестве истинностных значений выражений рассматриваются лишь два значения: 0 и 1, интерпретируемые как абсолютная ложь и абсолютная истина.

Логика действий — система рассуждений о закономерностях действий в некоторой проблемной среде. Л.Д. опирается на временную логику и пространственную логику, а также на свойства конкретной

Логика деонтическая — общее название для логики норм, описывающей нормативное прогнозируемое поведение, и логики оценок, в которой описываются оценочные характеристики для различных утверждений. Используется при

Монотонность при выводе — свойство, характерное для вывода в замкнутой формальной системе и в закрытой базе знаний и состоящее в том, что ранее выведенные утверждения

Архитектура потоковая — архитектура вычислительной системы ориентированном на управление вычислительным процессом с помощью потока данных или потока запросов. В первом случае выполнение каждой операции инициируется

Архитектура параллельная — архитектура вычислительной системы в которой одновременно выполняются одинаковые или различные операции над несколькими группами данных. См. также СИМД-архитектура и МИМД-архитектура. [Толковый словарь

Архитектура конвейерная — архитектура вычислительной системы, состоящая из цепочки параллельно работающих процессоров, взаимодействующих таким образом, что выход одного из процессоров цепочки подключен к входу следующего

Архитектура компьютера — совокупность обобщенных сведений о структуре основных блоков компьютера, их функционировании и информационно-управляющих связях между ними. [Толковый словарь по искусственному интеллекту / Авторы-составители