ПРИНЦИП ПРЕДЕЛЬНЫХ ОБОБЩЕНИЙ: методология, задачи ...

40
терминальных вершин (4 и 6 соответственно с учетом одной блуждающей
вершины). Таким образом, структурно-завершенный орграф G + (Возраст |
{Пол}) будет содержать 22 вершины. Такое число вершин будут содержать
все структурно-завершенные орграфы из {G + (Возраст | {Пол})}.
Предельный структурно-завершенный орграф G ++ (Возраст | {Пол}) будет
содержать дополнительное ребро (В2 → В8). При рассмотрении
канонических орграфов будет приведен пример G + (Возраст | {Пол}).
Рассмотрим еще примеры. Пусть значения теста «Аппетит» выбираются
из двух доменов:
Тест: Аппетит ^A1:
D2 {Аппетит нормальный ^N; Аппетит изменен ^b}
D1 {Отвращение к пище (анорексия) ^b; Аппетит снижен ^b; Аппетит
нормальный ^N; Аппетит повышен ^b}
Граф G(А1) = {D1 → D2},
где «А1» – условное обозначение теста; «N» и «b» – условные обозначения
элементов доменов, они задают однозначные схемы преобразования:
D1.b → D2.b; D1.N → D2.N.
На базе G(А1) построим структурно-завершенный орграф. Так как
домен D2 дихотомический, то к нему операция расщепления не
применяется. В результате применения операции расщепления к базовой
вершине D1 появляются 4 терминальные вершины. Однако автоматически
сгенерированный домен «Аппетит нормальный; Аппетит не нормальный»
по смыслу совпадает с доменом D2, хотя формулировка второго терма и
отличается. Автоматизмы среды должны распознавать подобные
совпадения и не порождать вершины – дубликаты. Решению задач
распознавания должна способствовать база синонимов термов, которая
является частью онтологии предметной области. В любом случае
пользователь должен убедиться в корректности результатов
автоматических процедур. Таким образом, структурно-завершенный
орграф G + (А1) будет содержать 5 вершин: одну базовую и 4 терминальных.
В данном примере имеем только один вариант структурно-завершенного
орграфа.
Зададим другой орграф для теста «Аппетит»:
Тест: Аппетит ^A2:
D3 {Аппетит нормальный ^N; Аппетит изменен ^a b}
D2 {Аппетит снижен ^a; Аппетит нормальный ^N; Аппетит повышен ^b}
D1 {Отвращение к пище (анорексия) ^a; Аппетит снижен ^a; Аппетит
нормальный ^N; Аппетит повышен ^b; Аппетит очень высокий ^b}
Граф G(А2) = {D1 → D2; D2 → D3}.
Правила преобразования: D1.b → D2.b; D1.a → D2.a; D1.N → D2.N;