<<<     ΛΛΛ     >>>   

УНИФИКАТОР НАИБОЛЬШИЙ ОБЩИЙ
Унификатор r, обладающий тем свойством, что для всякого другого унификатора q для того же множества выражений существует такая подстановка t, что q = zt, где zt - композиция подстановок r и t.

УНИФИКАЦИЯ
Процедура подстановки термов в два логических выражения вместо переменных. Термы подбираются таким образом, что при замене ими одноименных в двух выражениях переменных оба выражения становятся идентичными. Сама подстановка называется унификатором. У. используется при логическом выводе в методе резолюций.

УПРАВЛЕНИЕ СИТУАЦИОННОЕ
Способ управления сложными техническими и организационными системами, при котором с помощью экспертной информации строится классификатор, позволяющий разбивать все наблюдаемые ситуации на классы и приписывать каждому классу одношаговое решение или первый шаг в многошаговом решении. Для описания ситуаций и классификации их в У.С. используется модель знаний, близкая в семантической сети.

ФАСЕТ
См. Слот.

ФОКУС
В искусственном интеллекте совокупность знаний, активизируемая при формировании или интерпретации сообщения на естественном языке.

ФОРМА ПРЕФИКСНАЯ НОРМАЛЬНАЯ

ФОРМУЛА АТОМАРНАЯ
Выражение вида Н(t1, t2,..., tm), где Н - m-местный предикат, ti - термы.

ФОРМУЛА ЗАМКНУТАЯ
Выражение в формальной системе в котором либо нет переменных, либо переменные являются связанными квантификаторами.

ФОРМУЛА ОБЩЕЗНАЧИМАЯ
Замкнутая формула, сохраняющая тождественную истинность при всех интерпретациях.

ФОРМУЛА ОТКРЫТАЯ
Выражение в формальной системе, в которое входит хотя бы одна переменная, не связанная квантификатором.

ФРАКТАЛ
Множество с нецелой размерностью для описания негладких кривых и поверхностей. Ф. используется в системах машинной графики для задания сложных графических образов и при изменении масштабов изображений. С помощью Ф. удается при изменении масштаба убирать и вводить элементы изображения, зависящие от выбранного масштаба.

ФРЕЙМ
Специальная форма представления знаний, которая определяется рекурсивно. Ф. состоит из конечного числа слотов, каждый из которых имеет имя и значение.

ФРЕЙМ-ОБРАЗЕЦ
1. Фрейм, выступающий в качестве образца при поиске по образцу в базах знаний.
2. Синоним для фрейма-экземпляра.

ФРЕЙМ ПАДЕЖНЫЙ
Фрейм, у которого все слоты имеют имена, являющиеся глубинными падежами.

ФРЕЙМ-ПРОТОТИП
Фрейм, у которого в части слотов (или во всех слотах) отсутствуют константные значения. Ф.П. описывает знание о предметной области. При означивании всех слотов. Ф.П. константными значениями он превращается в фрейм-экземпляр.

ФРЕЙМ-ЭКЗЕМПЛЯР
Фрейм-прототип, у которого значения всех слотов заполнены констативной информацией. Совокупность Ф.Э. образует экстенсиональную базу данных.

ФУНКЦИЯ ВЫХОДОВ
Термин объясняется в статье Автомат конечный.

ФУНКЦИЯ ДОВЕРИЯ
Функция, значение которой характеризует веру субъекта в истинность события или факта.

ФУНКЦИЯ ПЕРЕХОДОВ
Термин объясняется в статье Автомат конечный.

ФУНКЦИЯ ПРИНАДЛЕЖНОСТИ
Характеристическая функция для нечеткого множества, изменяющаяся в интервале (0,1).

ФУНКЦИЯ СКОЛЕМА
Функциональный символ операции по устранению кванторов существования в логических выражениях, приведенных к префиксной нормальной форме.

 <<<     ΛΛΛ     >>>   

Машина баз данных блок управления базой данных в информационных системах
Толковый словарь по искусственному интеллекту современной науки 6 исчисление
Запись алгоритма на выбранном языке программирования
Толковый словарь по искусственному интеллекту современной науки 7 система
Полученное системой решение