ПОИСК Статьи Рисунки Таблицы Фреймовые языки представления знаний из "Экспертные системы в химической технологии" Наиболыиий интерес представляет язык KRL, базирующийся на глубоком анализе проблемы представления знаний и смысла естественно-языкового текста. Он создавался как экспериментальная система с целью определить, каким должен быть язык более высокого уровня, чем язык ЛИСП. Разработка языка KRL базировалась на приведенных ниже принципах [78, 80, 81]. [c.237] Основной единицей АЖ является структурный концептуальный объект , с которым связаны дескрипторы. Эти объекты служат для отображения фактов, отношений, сценариев, событий, понятий й др. Формально все они являются списками свойств. Дескрипторы, заполняющие значения свойств, описывают объект разными способами могут указывать категорию и/или множество, к которым он относится указывать его роль в более сложном объекте задавать уникальное имя описывать его отношения с другими объектами содержать некоторый предикат, истинный для него, и пр. [78, 80, 81]. [c.238] Три основные операции языка KRL добавление и и/или изменение свойства сопоставление объектов поиск объектов, удовлетворяющих заданному описанию [80, 81]. [c.238] Сопоставление описаний с понятиями и экземплярами является основой работы программы на KRL. Сопоставление происходит по свойствам при этом учитывается множественность описания, возможность полноты представления. [c.239] Основными свойствами языка FRL являются [7] поддержка и множественное наследие свойств принцип действий по умолчанию ограничения в виде требований и предложений абстрагирование и прикрепление процедур способами Если — добавлено , если — нужно и если — удалено . [c.239] Язык КЕЕ—это фреймовый ЯПЗ, которьгй также поддерживает методы представления, основанные на ПП, ориентированные на процедуры и на объекты. Основные свойства КЕЕ наличие множественных БД, предназначенных для удобства разработки модульных систем, и интерпретатор правил для прямой и обратной цепочки вывода. Средства поддержки, отладочный пакет, ориентированный на графику, и механизм объяснений, используют графический дисплей для демонстрации цепочек вывода [7]. [c.239] Язык /Ш5 — фреймовый ЯПЗ также поддерживающий МПЗ, в виде ПП. KMS состоит из набора подсистем, каждая из которых использует собственные МПЗ и процедуры вывода. Основные свойства дедукция, основанная на ПП статистический классификатор образов, использующий теорему Байеса линейный дискриминант и другие оценивающие функции, а также получение вывода, основанного на ФР [7]. [c.239] В последние годы при разработке фреймовых ЯПЗ для математической формализации ФР используют A- i v h [13,15, 82, 83]. Каждому 1 Р соответствует свое -опрсдсяснио ( выражение ). В основе разработанного формализованного языка представления ФР лежит использование Х-конверсии , основными достоинствами которой являются простота понимания и универсальность. В данной системе поддерживается предикатная трактовка ФР и конкретизируется его понятие. ФР рассматривается как ориентированный граф, в котором помечены вершины и дуги. Одна из вершин выделена для предикатного символа. Остальные вершины предназначены для ар17ментов, находящихся в некотором падежном отношении (метка на дуге) с выделенным предикатом. Каждая вершина имеет область допустимых значений, называемую сортом. Сорта, или типы, переменных используются в МПЗ для повышения эффективности алгоритмов поиска знаний и вывода решений (83[. В исчислении предикатов сорта переменных не рассматриваются, а поэтому исчисление предикатов мол/сно рассматривать как односортную логику. С принципиальной точки зрения, сорта переменных могут быть исключены путем введения соответствующих одноместных предикатов. Однако с введением таких дополнительных предикатов падает эффективность алгоритмов поиска решений и вывода. [c.240] Пол ченный примо-ФР отображает ситуацию Емкость (ЕМ) соединена трубопроводом (ТР) с насосом (Н) . [c.241] Вернуться к основной статье