Фреймовые языки представления знаний

Средства поиска решения для фреймовых структур разнообразны и часто зависят от выбора языка представления знаний и самих фреймов. На некоторых этапах поиска могут применяться стратегии, аналогичные стратегиям в продукционных систе.мах. Однако отсутствие общих эффективных фор.мальных способов вывода решений на сети фреймов ограничивает в некоторой степени сферу их использования. [c.138]

В последние годы при разработке фреймовых ЯПЗ для математической формализации ФР используют A- < i v h [13,15, 82, 83]. Каждому <1 Р соответствует свое -опрсдсяснио> ( выражение ). В основе разработанного формализованного языка представления ФР лежит использование Х-конверсии , основными достоинствами которой являются простота понимания и универсальность. В данной системе поддерживается предикатная трактовка ФР и конкретизируется его понятие. ФР рассматривается как ориентированный граф, в котором помечены вершины и дуги. Одна из вершин выделена для предикатного символа. Остальные вершины предназначены для ар17ментов, находящихся в некотором падежном отношении (метка на дуге) с выделенным предикатом. Каждая вершина имеет область допустимых значений, называемую сортом. Сорта, или типы, переменных используются в МПЗ для повышения эффективности алгоритмов поиска знаний и вывода решений (83[. В исчислении предикатов сорта переменных не рассматриваются, а поэтому исчисление предикатов мол/сно рассматривать как односортную логику. С принципиальной точки зрения, сорта переменных могут быть исключены путем введения соответствующих одноместных предикатов. Однако с введением таких дополнительных предикатов падает эффективность алгоритмов поиска решений и вывода. [c.240]

Справочник химика 21

Химия и химическая технология