Словарь

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

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

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

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

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

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

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

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