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

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

Квантификация — приписывание оценок (в том числе, числовых) на выражения формальной системы. Эти оценки иногда называют квантофикаторами. Оценки могут характеризовать степень правдоподобия выражений, приоритетность при

Каузация — установление связи явлений или фактов. В строгой форме К. устанавливает причинно-следственные связи между явлениями или фактами. В более широком смысле К. устанавливает влияние

Карта когнитивная — способ описания известного субъекту фрагмента пространства с находящимися в нем заполнителями. Существует ряд вариантов К.К., отличающихся друг от друга сложностью и подробностью,

Исчисление предикатов — исчисление, в котором наряду с формулами исчисления высказываний используются формулы в которые могут входить отношения (предикаты), связывающие между собой группы элементов исчисления

Исчисление предикатов первого порядка — исчисление предикатов, в котором под знаком квантора не могут находиться символы предикатов. [Толковый словарь по искусственному интеллекту / Авторы-составители А.Н.

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

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

Исчисление генцена — исчисление, в котором аксиомы задаются в виде секвенций. [Толковый словарь по искусственному интеллекту / Авторы-составители А.Н. Аверкин, М.Г. Гаазе-Рапопорт, Д.А. Поспелов. М.: