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

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

КАУЗАЦИЯ. Установление связи двух явлений или фактов. В срогой форме К. устанавливает причинно-следственные связи между явлениями или фактами. В более широком смысле К. устанавливает влияние одних явлений или фактов на другие. В этом более широ­ ком смысле К. отражается в моделях знаний в виде каузальных се­ тей и сценариев. При узком понимании К. в тех же моделях приво­ дит к причинно-следственным сетям.

КВАНТИФИКАТОР. В узком смысле — это указатель на область истинности некоторого утверждения. Примерами К. в этом смысле могут служить лексемы: "всегда", "почти никогда", "для многих", "примерно в половине случаев" и т.д. В формальных системах, как правило, используются два квантификатора, называемых квантором общности и квантором существования. Первому соответствует лексема "всегда" и "для всех", а второму — "существует". В широ­ ком смысле К. может означать любое значение лингвистической пе­ ременной (например, "много", "часто", "далеко" и т.д.). Именно в таком смысле К. используются в псевдофизической логике и в ситу­ ационном управлении.

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

КВАНТОР ОБЩНОСТИ. Специальный указатель на то, что не­ которое утверждение Р, содержащее переменные, распространяется на все формулы, получаемые при подстановке вместо переменных, перечисленных в этом указателе, любых значений из областей опре­

КВАНТОР СУЩЕСТВОВАНИЯ. Специальный указатель на то, что некоторое утверждение Р имеет место (или истинно) при неко­ торых переменных, перечисленных в данном указателе, причем кон­ кретные значения, обеспечивающие это, не указываются, а фикси­ руется лишь то, что они существуют. Переменные, перечисленные в указателе, называются связанными. Стандартно К.С. обозначается как 3 х],Х2,---хпР или 3 Р(;с£-), где JC£- — имена переменных, кото­ рые являются связанными.

КЛАССИФИКАЦИЯ. Введение отношений на множестве объек­ тов или явлений, позволяющих разбить их на классы с установлени­ ем между классами отношений включения типа "род-вид", "элемент

41

— класс44, “целое — часть“ и т.п. (См. также Таксономия, Класте­ ризация.)

КЛАСТЕРИЗАЦИЯ. Способ разбиения объектов или явлений на классы на основании некоторого отношения близости в пространстве признаков. (См. также Таксономия, Классификация.)

КЛАУЗА. См. Дизъюнкт.

КОГИТОЛОГИЯ. Раздел философии, изучающий проблемы, свя­ занные с получением и использованием человеческих знаний в про­ цессе деятельности.

КОГНИТИВНАЯ НАУКА. Комплекс научных дисциплин (когни­ тивная психология, теория аргументации и др.), объединенных еди­ ным предметом исследования — отражением в познавательных структурах человека окружающей его действительности и исследова­ нием механизмов рассуждения об этой действительности.

КОМПОНЕНТА ДЕКЛАРАТИВНАЯ. См. Знания декларатив­ ные.

КОНКАТЕНАЦИЯ. Операция приписывания одних элементов к другим так, что получается новый производный элемент. С помощью К., например, образуются из букв слова языка, из слов, знаков пун­ ктуации и знака пробела — предложения.

КОНСТРУКТ КЕЛЛИ. Униполярная или биполярная шкала, ха­ рактеризующая отношение личности к некоторому субъекту, объек­ ту или какой-либо его стороне. К.Л. используется в методе реперту­ арных решеток, разработанном Келли и его последователями для выявления тех субъективных представлений, которыми люди руко­ водствуются в своей профессиональной и обыденной деятельности. Эти подходы к выявлению субъективных знаний используются в ин­ женерии знаний при приобретении знаний у профессионалов для заполнения баз знаний.

КОНЦЕПТ. См. Понятие.

КОНЪЮНКЦИЯ. Логическая операция (связка) для п ^ 2 выра­ жений. Результирующее выражение (конъюнкция исходных выраже­ ний) истинно только тогда, когда истинны все исходные выражения. Для обозначения К. стандартно используется знак & (реже А ), а также знак умножения в виде точки. Во многих случаях знак К. мо­ жет быть опущен.

Л

ЛИНГВИСТИКА ВЫЧИСЛИТЕЛЬНАЯ. См. Лингвистика ком­ пьютерная.

ЛИНГВИСТИКА КОМПЬЮТЕРНАЯ. Раздел лингвистики, зада­ чей которого является исследование проблем, связанных с машинной обработкой текста: организацией естественно-языкового интер­ фейса, машинным переводом и реферированием, статистическим анализом словарей и текстов на ЭВМ, автоматическим распознава­ нием речи и т.п.

42

ЛИПС. Единица измерения производительности машины вывода (от англ. Logical Inference PerSecond), равная числу логических вы­ водов, выполняемых в одну секунду. Как правило, для реализации одного логического вывода требуется от 10 до 100 команд ЭВМ.

ЛИТЕРА. Любая константа, переменная или ее отрицание. ЛОГИКА. Наука о правильных способах рассуждений. В класси­

ческом варианте состоит из учения о понятиях, учения о суждениях и учения об умозаключениях. В течение долгого времени с Л. связы­ валось учение Аристотеля о силлогистических умозаключениях.

Силлогистика была первой дедуктивной системой, возникшей в науке. В онове Л. лежит понятие аксиоматической системы. Сила чистой логики, отвлекающейся от семантики предметной области, состоит в общности ее методов и положений. Важно отметить, что Л. есть наука о мышлении в понятиях, а не о познании мира посредст­ вом мышления о понятиях. Это показывает, что в интеллектуаль­ ных системах чисто логические решатели задач не могут исчерпать весь запас средств, необходимых для воссоздания интеллектуальной деятельности. На базе Л. в конце XIX в. была создана математиче­ ская логика, в основе которой лежат теоретико-множественные ка­ тегории и понятие формальной системы.

ЛОГИКА ВЕРОЯТНОСТНАЯ. Логика, в которой формулам при­ писываются оценки со значениями O ^ P ^ l интерпретируемыми как вероятности того, что данная формула принимает значение “исти­ на44. С правилами вывода в Л.В. связываются процедуры, позволяю­ щие вычислять вероятностную оценку истинности выводимой фор­ мулы по известным оценкам истинности для формул-посылок.

ЛОГИКА ВЕРЫ. Вид логики, в которой используются конструк­ ции типа: 44Х верит, что верно Y44.

ЛОГИКА ВРЕМЕННАЯ. Логика отношений, в которой отноше­ ния (предикаты) или специальные операторы характеризуют вре­ менные зависимости (“раньше44, “будет44, “одновременно44 и т.д.). Другим типом Л.В. являются логики, в которых один из аргументов предиката есть время (состояние, ситуация).

ЛОГИКА ВТОРОГО ПОРЯДКА. Формальная система, в кото­ рой допускается, что кванторы общности и существования могут связывать не только индивидные переменные, но и предикатные символы.

*ЛОГИКА ДВОИЧНАЯ. Логика, в которой в качестве истинност­ ных значений выражений рассматриваются лишь значения 0 и 1, интерпретируемые как абсолютная ложь и абсолютная истина.

ЛОГИКА ДЕЙСТВИЙ. Система рассуждений о закономерностях действий в некоторой проблемной среде.Л.Д. опирается на времен­ ную логику и пространственную логику, а также на свойства конк­ ретной среды. Л.Д. используется в интеллектуальных роботах и экспертных системах. Для Л.Д. характерны немонотонные выво­ ды.

ЛОГИКА ДЕОНТИЧЕСКАЯ. Общее название для логики норм,

43

характеризующей нормативное поведение, и логики оценок. Исполь­ зуется при организации поведения интеллектуальных систем.

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

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

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

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

ЛОГИКА КАУЗАЛЬНАЯ. Логика, в которой отношения совпа­ дают с причинно-следственными или близки к ним по содержанию.

ЛОГИКА КОМАНД. Логика, в которой в качестве операторов ис­ пользуются различные императивы. Близка к логике действий. Ис­ пользуется в интеллектуальных роботах и других интеллектуаль­ ных системах.

ЛОГИКА КОНСТРУКТИВНАЯ. Логика, в которой разрешены лишь контруктивные доказательства. Л.К. лежит в основе конструк­ тивной математики, тесно связанной с проблемами вычислимости на ЭВМ и других устройствах, имеющих ограниченную память.

ЛОГИКА МАТЕМАТИЧЕСКАЯ. Логика, основанная не на содер­ жательной стороне высказываний, а на синтаксических категориях и их структурных (операционных) связях. В основе Л.М. лежит поня­ тие формальной системы. Различные интерпретации формальной системы приводят к различным логическим исчислениям, наиболее известными из которых являются пропозициональное исчисление (исчисление высказываний), исчисление предикатов, ситуационное

44

исчисление, многозначные логики и т.п..

ЛОГИКА МНОГОЗНАЧНАЯ. Логика, в которой в качестве зна­ чений истинности переменных выступают натуральные числа 0,1,

ЛОГИКА МОНОТОННАЯ. Логика замкнутого мира, эквивалент­ ная некоторой формальной системе. В Л.М. действует принцип мо­ нотонности: если на некотором шаге вывода получено утверждение, то его истинность на последующих шагах вывода не может изме­ няться.

ЛОГИКА НЕМОНОТОННАЯ. Логика открытого мира. В Л.Н. на­ рушается основной принцип монотонной логики. Если на некотором шаге вывода получено утверждение, то при поступлении в систему новой информации (новых фактов) истинность этого вывода может измениться. Л.Н. характерны для большинства интеллектуальных систем, имеющих дело со сложными предметными областями, для которых получить априорно исчерпывающее замкнутое описание не представляется возможным.

ЛОГИКА НЕЧЕТКАЯ. Логика, в которой используются нечеткие квантификаторы (чаще всего нечеткие квантификаторы лингви­ стической переменной “частота": “почти никогда", “очень редко", “ни часто — ни редко", “часто", “очень часто", “почти всегда"). Рассуждения с подобными квантификаторами требуют специальных приемов для нахождения квантификатора, который должен быть приписан заключению, когда посылки помечены нечеткими кванти­ фикаторами.

♦ЛОГИКА НОРМ. См. Логика деонтическая. ЛОГИКА ОЦЕНОК. См. Логика деонтическая.

ЛОГИКА ПЕРВОГО ПОРЯДКА. Формальная система, в кото­ рой кванторы общности и существования могут связывать только индивидуальные переменные, но не могут связывать символы преди­ катов или иных функциональных символов.

ЛОГИКА ПРОПОЗИЦИОНАЛЬНАЯ. Логика, характерная для

пропозиционного исчисления.

ЛОГИКА ПРОСТРАНСТВЕННАЯ. Формальная система, в кото­ рой использованы аксиомы, характерные для описания возможных расположений объектов в трехмерном (или двухмерном) пространст­ ве, расстояний между ними и локов. Л.П. позволяют проводить рас­ суждения о пространственном расположении и взаимосвязи объектов для случая абсолютной и относительной системы координат и для случая, когда такие переменные, как расстояние, размер лока или характеристики взаимного расположения предметов, заданы в виде

лингвистических переменных. В Л.П. выделяют логику расстояний

и логику взаимного положения предметов в метрическом и тополо­ гическом (размытом) вариантах.

ЛОГИКА ПСЕВДОФИЗИЧЕСКАЯ. Логика, отражающая воспри­ ятие субъектом или искусственной системой закономерностей внеш­ ней физической среды. Особенностью Л.П. является наличие размы­

45

тых шкал, на которые проецируются объекты. Примерами Л.П. яв­ ляются временная логика, пространственная логика, логика дей­ ствий и др.

ЛОГИКА РАЗМЫТАЯ. См. Логика нечеткая.

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

ЛОГИКА ЭПИСТЕМОЛОГИЧЕСКАЯ. Формальная система, в которой используются операторы типа “знает", “хочет", “верит" и т.п.

*ЛОК. Ограниченная часть пространства, в которой полностью помещается некоторый объект, чьи внешние границы совпадают с границами Л. Понятие Л. используется в пространственной логике.

ЛОКУЦИЯ. Одна из составляющих речевого акта — собственно говорение, характерезуемое дикцией, скоростью речи, ее правильно­ стью и т.п., без учета намерений говорящего и достигаемого при этом эффекта. Две другие составляющие — иллокуция и перлоку­ ция.

ЛЯМБДА-ИСЧИСЛЕНИЕ. Исчисление, в котором используется операция функциональной абстракции ( A-конверсии) ХхМ, задаю­ щая функцию, значения которой для любого аргумента получаются подстановкой этого аргумента вместо х во все его вхождения в М. Такие исчисления широко применяются в формальных моделях баз данных.

М

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

МАШИНА БАЗ ДАННЫХ. Блок управления базой данных в ин­ формационных системах. Специализированный процессор с собст­ венной памятью, выполняющий обработку запросов.

МАШИНА БАЗ ЗНАНИЙ. Блок управления базой знаний в ма­ шине пятого поколения. Специализированный процессор (система процессоров), выполняющий обработку запросов и формирование от­ ветов в некоторой предметной области на основе использования со­ вокупностей фактов и знаний о предметной области, представляе­ мых в виде правил, а также механизмов вывода.

46

МАШИНА ВИРТУАЛЬНАЯ. Абстрактная машина (комплекс программных средств), с помощью которой для пользователя имити­ руется гипотетическая ЭВМ, обладающая практически неограничен­ ной оперативной памятью и расширяемым набором команд. М.В. ис­ пользует для имитации конечную оперативную память и базовый набор команд.

МАШИНА ПАРАЛЛЕЛЬНОГО ВЫВОДА. Специализированный процессор (система процессоров), реализующий параллельно основ­ ные операции, характерные для вывода на знаниях.

МАШИНА ПОСТА. Абстрактная машина, состоящая из беско­ нечной в обе стороны ленты, разделенной на клетки, и управляю­ щей головки. Клетки ленты могут быть пустыми или отмеченными специальным символом. Вдоль клетки перемещается управляющая головка. За один такт работы М.П. выполняет одну из шести базо­ вых команд: сдвиг управляющей головки на одну клетку влево, ана­ логичный сдвиг на одну клетку вправо, вписывание отмечающего символа в пустую клетку, условный переход и остановку. Из после­ довательности перенумерованных натуральными числами таких ко­ манд образуются программы функционирования М.П. Перед нача­ лом работы М.П. необходимо заполнить нужные клетки ленты отме­ чающими символами и расположить управляющую головку против некоторой клетки. После этого М.П. будет выполнять команду про­ граммы с номером один. Если это не команды сдвига или прекраще­ ния работы, то следующая выполняемая команда программы после данной определяется специальными указателями (отсылками), вхо­ дящими в каждую команду записи и стирания отмечающих симво­ лов. В команде условного перехода выбор новой команды определяется состоянием обозреваемой в данном такте работы клетки — отмечена она символом или пуста. В зависимости от ситу­ ации происходит переход к программе, указанной в команде услов­ ного перехода. М.П. по результатам работы эквивалентна машине Тьюринга, но функционирование ее более медленное. Как и машина Тьюринга, М.П. служит для уточнения интуитивного понятия алго­ ритма.

МАШИНА СВЯЗЕЙ. Компьютер, состоящий из десятков (сотен) тысяч параллельно работающих процессоров. Конструкция М.С. по­ зволяет любому процессору связываться с любым другим процессо­ ром подобно абонентам телефонной станции. Быстродействие М.С. достигает десятков миллиардов операций в секунду.

МАШИНА ТЬЮРИНГА. Абстрактная машина, состоящая из бесконечной в одну сторону ленты, разделенной на клетки, и управ­ ляющей головки, которая может передвигаться вдоль ленты. Симво­ лы входного алфавита, включающие пустой символ, могут разме­ щаться на ленте по одному в клетке. Управляющая головка может находиться в одном из конечного числа внутренних состояний, одно из которых является особым. Оно соответствует выключению М.Т. Каждый шаг работы состоит в том, что управляющая головка по па-

47

рс (наблюдаемый символ в клетке ленты» против которой находится управляющая головка, — внутреннее состояние головки) вырабаты­ вает тройку (новое содержимое клетки — новое внутреннее состоя­ ние головки — сдвиг головки на одну клетку влево или вправо или сохранение положения головки). Работа М.Т. заканчивается, когда управляющая головка переходит в состояние конца работы. Началь­ ное заполнение ленты и начальное положение управляющей головки вместе с ее начальным состоянием задаются извне. Действия М.Т. на каждом шаге определяются конечной таблицей, размер которой соответствует произведению числа символов внешнего алфавита и числа внутренних состояний головки. М.Т. является моделью уни­ версального вычислительного процесса, так как можно построить универсальную М.Т., которая будет имитировать работу любой кон­ кретной М.Т.. В этом смысле универсальная М.Т. может рассматри­ ваться как математическая модель ЭВМ, построенной по традицион­ ной архитектуре. М.Т. является одним из возможных уточнений по­ нятия алгоритма, эквивалентного другим уточнениям этого понятия, известным в дискретной математике. Языки, порождаемые в резуль­ тате работы М.Т., называются рекурсивно-перечислимыми.

МАШИНА, УПРАВЛЯЕМАЯ ПОТОКОМ ДАННЫХ. См. Архи­ тектура потоковая.

♦МАШИННЫЙ ИНТЕЛЛЕКТ. См. Интеллект искуственный. МЕНЮ. Способ организации интерфейсов, базирующийся на пе­

речислении альтернатив и поддержке возможности выбора нужной из них с помощью курсора и/или явным указанием ее названия.

МЕРА ПРАВДОПОДОБИЯ. Оценка истинности события или фак­ та.

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

МЕТАПРОДУКЦИЯ. Продукция, включаемая в систему продук­ ций для указания порядка выполнения продукций, входящих в спи­ сок готовых для исполнения.

МЕТАФОРА. Перенесение свойств одного предмета (явления) на другой на основании признака, общего для обоих предметов (“говор волн”, “брожение умов”)

МЕТАЯЗЫК. Язык для описания других языков. Чаще всего ме­ таязык использует нотацию, в которой собственные символы описы­ ваемого языка являются терминальными символами метаязыка.

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

48

процессе реализации метода.

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

♦МЕТОД ОБРАТНОЙ ВОЛНЫ. См. Поиск нисходящий. ♦МЕТОД ПРЯМОЙ ВОЛНЫ. См. Поиск восходящий. МЕХАНИЗМ ВЫВОДА. Совокупность правил вывода и стратегии

управления выводом (применения этих правил). Крайним случаем М.В. может быть произвольное применение правил вывода, как это делается в логических исчислениях.

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

МИМД-АРХИТЕКТУРА. Архитектура вычислительной систе­ мы с несколькими одинаковыми или разными параллельно работаю­ щими процессорами, каждый из которых выполняет свои команды над своими данными.

МНОЖЕСТВО НЕЧЕТКОЕ. Множество, характеристическая функция которого может принимать значения из отрезка [0,1 ]. Зна­ чение характеристической функции для некоторого элемента харак­ теризует степень принадлежности этого элемента к множеству.

МОДЕЛЬ. Объект (реальный, знаковый или воображаемый), от­ личный от исходного, но способный заменить его и в рамках решае­ мых задач.

МОДЕЛЬ АССОЦИАТИВНАЯ. Модель процесса решения задачи человеком, опирающаяся на процедуру установления сходства дан­ ной задачи (или составляющих ее подзадач) с задачами, решение которых уже известно.

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

МОДЕЛЬ ЗАМКНУТАЯ. Модель, остающаяся неизменной при работе с ней. В процессе функционирования интеллектуальной сис-

49

4 - 6474

темы в М.З. в отличие от открытой модели нельзя добавлять новые факты и закономерности. Все утверждения, полученные в М.З., окончательны и абсолютны.

МОДЕЛЬ ЗНАНИЙ. Описание знаний в базе знаний. Известны четыре типа М.З.: логические, в основе которых лежит формальная модель; сетевые, в основе которых лежит семантическая сеть; фреймовые, основанные на фреймах ; продукционные, основанные на продукциях. Каждая такая М.З. определяет форму представления знаний.

МОДЕЛЬ КОГНИТИВНАЯ. Гипотетическая модель, описываю­ щая устройство когнитивной структуры (структуры знаний у челове­ ка). Для интеллектуальных систем М.К. совпадает с моделью зна­ ний.

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

МОДЕЛЬ КРИПКЕ. Одна из моделей логической семантики, ис­ пользуемая в искусственном интеллекте. В основе М.К. лежит представление о множестве возможных миров, каждый из которых задается формальной системой. Переход из одного возможного ми­ ра в другой в рамках М.К. осуществляется с помощью специального отношения, свойства которого могут варьироваться.

МОДЕЛЬ ЛАБИРИНТНАЯ. Модель, в рамках которой процесс решения задач человеком объясняется аналогией с движением по ла­ биринту. Площадки лабиринта соответствуют промежуточным ре­ зультатам (часть площадок отмечена как целевые), а передвижение от площадки к площадке происходит за счет использования преобра­ зований из заданного набора. В М.Л. решение задачи — это поиск пути от начальной площадки лабиринта к одной из целевых. При этом лабиринт считается полностью заданным.

МОДЕЛЬ ЛИНГВИСТИЧЕСКАЯ. 1. Модель, относящаяся к фик­ сации тех или иных знаний о естественном языке. 2. Описание объ­ екта в терминах лингвистических переменных и рассуждений о них.

МОДЕЛЬ ЛОГИКО-ЛИНГВИСТИЧЕСКАЯ. Модель, основанная на расширении формальной системы, в рамках которого вводятся процедуры изменения всех или части элементов формальной систе­ мы в зависимости от решаемых задач. М.Л.Л. часто используется как способ задания модели Крипке.

МОДЕЛЬ ЛОГИЧЕСКАЯ. Модель представления знаний, в осно­ ве которой лежит формальная система.

МОДЕЛЬ МИРА. Способ отображения в памяти интеллектуаль­ ной системы знаний о внешней среде. (См. также Модель знаний, Схема концептуальная.)

50