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

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

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

Ф

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

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

ФОРМА ПРЕФИКСНАЯ НОРМАЛЬНАЯ. Представление выра­ жений исчисления предикатов в виде >1 \ .vj ...» т хт М , где »/ до­ есть либоУдс/, либоЭдс/; М — выражение, не содержащее предикат­ ных символов. С помощью простой процедуры любое выражение в исчислении предикатов может быть переведено в Ф.П.Н.

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

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

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

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

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

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

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

ФРЕЙМ ПАДЕЖНЫЙ. Фрейм, у которого все слоты имеют име­

на, являющиеся глубинными падежами.

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

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

экстенсиональную базу данных.

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

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

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

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

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

ц

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

Ш

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

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

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

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

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

82

уровня.

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

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

ным размытым шкалам.

э

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

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

Я

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

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

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

83

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

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

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

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

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

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

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

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

84

СЛОВАРИ

85

86

87

88

89

90