Толковый словарь по искусственному интеллекту

ОГЛАВЛЕНИЕ

У
универсум universum
универсум Эрбрана Herbrand universum
унификатор unifier
унификатор наибольший общий most general unifier
унификация unification
управление ситуационное situational control

Ф
фасет facet
фокус focus
форма префиксная нормальная prefix normal form
формула атомарная atomic formula
формула замкнутая closed formula
формула общезначимая valid formula
формула открытия
фрактал fractail
фрейм frame
фрейм-образец frame-prototype
фрейм падежный case frame
фрейм-прототип prototype frame
фрейм-экземпляр frame-example
функция выходов
функция доверия belief function
функция переходов membership function
функция принадлежности membership function
функция Сколема Skolem function

Х

Ц
цепочка вывода inference chain

Ч

Ш
шкала абсолютная absolute scale
шкала метрическая metric scale
шкала Осгуда Osgood scale
шкала относительная relative scale
шкала размытая fuzzy scale
шкала топологическая topological scale
шкала универсальная universal scale
Щ

Э
ЭВМ нейробионические neurobionical computer
эвристика heuristics
Ю

Я
язык автоматный
язык запросов query language
язык контекстно-свободный
язык контекстно-связанный
язык представления знаний knowledge representation language
язык представления знаний логический logical knowledge representation language
язык продукционный production language
язык секвенций
язык фреймовый frame language
ящик серый
ящик черный black box

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

УНИВЕРСУМ ЭРБРАНА
Специальная область, на которой проверяется невыполнимость множества дизъюнктов (клауз) при реализации процедур вывода типа метода резолюций.

УНИФИКАТОР
Термин объясняется в статье Унификация.

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

ЦЕПОЧКА ВЫВОДА
Последовательность формул, начинающаяся с аксиом в которой каждая последующая формула выводится на основе совокупности предшествующих элементов цепочки.

ШКАЛА АБСОЛЮТНАЯ
Шкала, на которой задана метрика, позволяющая отсчитывать расстояния от абсолютного начала.

ШКАЛА МЕТРИЧЕСКАЯ
Шкала, на которой задана метрика, позволяющая оценивать расстояния между элементами, отображенными на шкалу.

ШКАЛА ОСГУДА
Шкала, использующая пары слов-антонимов (острый - тупой, хороший - плохой и т. п.), стоящие на концах шкалы. Средняя позиция шкалы является нейтральной. Кроме того, имеется еще несколько промежуточных делений, как правило, не обозначаемых никакими словами. Ш.О. используется в психологических экспериментах, связанных с выявлением особенностей индивидуального психосемантического пространства испытуемых. (См. также Пространство Осгуда.)

ШКАЛА ОТНОСИТЕЛЬНАЯ
Метрическая шкала, в которой расстояния отсчитываются от какого-либо относительного маркера, например от наблюдаемого в данный момент объекта.

ШКАЛА РАЗМЫТАЯ
Порядковая шкала, на которой располагаются значения лингвистической переменной или интервалы, получаемые из функций принадлежности отсечками соответствующего уровня.

ШКАЛА ТОПОЛОГИЧЕСКАЯ
Шкала, на которой отображается лишь отношение порядка между элементами, расположенными на шкале. Ш.Т. обладает свойствами, присущими метрическим шкалам.

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

ЭВМ НЕЙРОБИОНИЧЕСКАЯ
Новое поколение ЭВМ, архитектура которого опирается на модель формального нейрона. В зависимости от решаемой задачи происходит соединение формальных нейронов между собой с помощью транзитных клеток. Достоинством таких ЭВМ является возможность распараллеливания протекающих процессов. Из формальных нейронов образуется однородная структура или неоднородная, на которой асинхронно протекает несколько процессов.

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

ЯЗЫК АВТОМАТНЫЙ
Множество цепочек символов, порождаемых с помощью автоматной грамматики.

ЯЗЫК ЗАПРОСОВ
Язык для обращения в базы данных и базы знаний за необходимой информацией. Формально Я.З. это счетное множество цепочек из символов некоторого конечного алфавита. На этом множестве цепочек выделено подмножество правильных цепочек или правильных запросов. Каждый правильный запрос имеет процедурную интерпретацию а операциях, разрешенных для информационных единиц, находящихся в базе данных или базе знаний.

ЯЗЫК КОНТЕКСТНО-СВОБОДНЫЙ
Множество цепочек символов, порождаемых контекстно-свободной грамматикой.

ЯЗЫК КОНТЕКСТНО-СВЯЗАННЫЙ
Множество цепочек символов, порождаемых контекстно-связанной грамматикой.

ЯЗЫК ПРЕДСТВЛЕНИЯ ЗНАНИЙ
Способ описания моделей знаний в системах представления знаний. На сегодняшний день известны Я.П.З. для модели знаний в виде фреймов (языки LISP, FRL, KRL и др.), а также ряд продукционных языков.

ЯЗЫК ПРЕДСТВЛЕНИЯ ЗНАНИЙ ЛОГИЧЕСКИЙ
Язык представления знаний в основе которого лежит исчисление предикатов первого порядка. Выражениями Я.П.З.Л. являются синтаксически правильные формулы этого исчисления. В виде таких формул записывается все хранимые в системе декларативные и процедурные знания. Достоинством Я.П.З.Л. является их полная формализуемость и наличие для них формальных процедур, позволяющих выполнять вывод и анализ таких характеристик записей, как непротиворечивость, эквивалентность и т. п. Недостатком Я.П.З.Л. является плохая наглядность для пользователя информационных единиц, записанных в виде формул логического исчисления.

ЯЗЫК ПРОДУКЦИОННЫЙ
Язык предствления знаний, основной единицей которого является продукция.

ЯЗЫК СЕКВЕНЦИЙ
Язык, ориентированный на описание дискретных автоматических устройств, в частности конечных автоматов с памятью и без памяти. Позволяет строить компактные описания, особенно для сильно недоопределенных автоматов. Описание на Я.С. состоит из секвенций, каждая из которых является частным случаем продукции, в левой и правой части которой находятся булевы функции. Смысл секвенции состоит в том, что правая функция принимает значение 1, если левая функция равна 1, и не определена, если левая функция равна 0.

ЯЗЫК ФРЕЙМОВЫЙ
Язык представления знаний и манипулирования знаниями, использующий в качестве модели знаний фреймовые представления. Наиболее известными Я.Ф. являются языки FRL и KRL.

ЯЩИК СЕРЫЙ
Объект исследований, о внутреннем устройстве которого либо известно частично, либо существуют некоторые гипотезы. В отличие от черного ящика, модели Я.С. учитывают помимо связей между реакциями и внешними воздействиями и те частичные сведения, которые известны о его внутреннем строении.

ЯЩИК ЧЕРНЫЙ
Введенное У. Р. Эшби наименование объекта исследования, внутреннее устройство которого неизвестно или не принимается во внимание. Модель Я.Ч. строится на основе его поведения т.е. реакции на воздействия, поступающие на вход извне, и характеризует связи между реакциями и вызвавшими их воздействиями. Модели Я.Ч. теоретически обосновываются в направлении экспериментальной психологии, называемом бихевиоризмом, и обычно называются моделями "стимул - реакция".

Ваш комментарий о книге
Обратно в раздел Наука