→ Пошук по сайту       Увійти / Зареєструватися
Знання Искусственный интеллект. Толковый словарь.

Искусственный интеллект — У

УНИВЕРСУМ


Область, на которой определены значения предиката. Из этой области берутся значения для означивания переменных, входящих в предикат. Для многоместных предикатов У. есть декартово произведение областей определения для каждого из аргументов предиката.

УНИВЕРСУМ ЭРБРАНА


Специальная область, на которой проверяется невыполнимость множества дизъюнктов (клауз) при реализации процедур вывода типа метода резолюций.

УНИФИКАТОР


Термин объясняется в статье Унификация.

УНИФИКАТОР НАИБОЛЬШИЙ ОБЩИЙ


Унификатор r, обладающий тем свойством, что для всякого другого унификатора q для того же множества выражений существует такая подстановка t, что q = zt, где zt — композиция подстановок r и t.

УНИФИКАЦИЯ


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

УПРАВЛЕНИЕ СИТУАЦИОННОЕ


Способ управления сложными техническими и организационными системами, при котором с помощью экспертной информации строится классификатор, позволяющий разбивать все наблюдаемые ситуации на классы и приписывать каждому классу одношаговое решение или первый шаг в многошаговом решении. Для описания ситуаций и классификации их в У.С. используется модель знаний, близкая в семантической сети.

загрузка...
Сторінки, близькі за змістом