Информационные технологии /technologies information ТК 022

Переменная связанная — переменная в логике, стоящая в зоне действий квантора общности или квантора существования. [Толковый словарь по искусственному интеллекту / Авторы-составители А.Н. Аверкин, М.Г.

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

Отношение экстенсиональное — отношение на множестве конкретных фактов, хранящихся в базе данных. [Толковый словарь по искусственному интеллекту / Авторы-составители А.Н. Аверкин, М.Г. Гаазе-Рапопорт, Д.А. Поспелов.

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

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

Отношение транзитивное — отношение, для которого из того, что пары (А, В) и (В, С) находятся в этом отношении, всегда следует, что в этом же

Отношение толерантности — рефлексивное, симметричное и нетранзитивное отношение. Такое отношение может толковаться как отношение сходства. В отличие от отношения эквивалентности, дающего разбиение множества элементов, на

Отношение симметричное — отношение, обладающее тем свойством, что для любой пары (А, В) элементов, находящихся в этом отношении, справедливо утверждение, что пара (В, А) также

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

Отношение рефлексивное — отношение, обладающее тем свойством, что любой его элемент сам с собой всегда находится в этом отношении. Примерами О.Р. могут служить: «совпадать», «быть