Словарь

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

Логика вероятностная — логика, в которой формулы оцениваются значениями, интерпретируемыми как вероятности того, что данная формула принимает значение «Истина». С правилами вывода в Л.В. связываются

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

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

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

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

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

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

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