Логика вероятностная
Логика вероятностная — логика, в которой формулы оцениваются значениями, интерпретируемыми как вероятности того, что данная формула принимает значение «Истина». С правилами вывода в Л.В. связываются
Логика вероятностная — логика, в которой формулы оцениваются значениями, интерпретируемыми как вероятности того, что данная формула принимает значение «Истина». С правилами вывода в Л.В. связываются
Логика веры — вид эпистемической логики, в которой все утверждения снабжаются квантификаторами, оценивающими степень правдоподобности этих утверждений. [Толковый словарь по искусственному интеллекту / Авторы-составители А.Н.
Логика временная — логика отношений, в которой отношения (предикаты) или специальные операторы характеризуют временные зависимости («раньше», «будет», «одновременно» и т.д.). Другим типом Л.В. являются так
Логика второго порядка — формальная система, в которой допускается, что кванторы общности и существования могут связывать не только индивидные переменные, но и предикатные или иные
Логика двоичная — логика, в которой в качестве истинностных значений выражений рассматриваются лишь два значения: 0 и 1, интерпретируемые как абсолютная ложь и абсолютная истина.
Логика действий — система рассуждений о закономерностях действий в некоторой проблемной среде. Л.Д. опирается на временную логику и пространственную логику, а также на свойства конкретной
Логика деонтическая — общее название для логики норм, описывающей нормативное прогнозируемое поведение, и логики оценок, в которой описываются оценочные характеристики для различных утверждений. Используется при
Монотонность при выводе — свойство, характерное для вывода в замкнутой формальной системе и в закрытой базе знаний и состоящее в том, что ранее выведенные утверждения
Архитектура потоковая — архитектура вычислительной системы ориентированном на управление вычислительным процессом с помощью потока данных или потока запросов. В первом случае выполнение каждой операции инициируется
Архитектура параллельная — архитектура вычислительной системы в которой одновременно выполняются одинаковые или различные операции над несколькими группами данных. См. также СИМД-архитектура и МИМД-архитектура. [Толковый словарь