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

35
присоединяется к вершине T орграфа G 1 (τ). Если ОВЗ вершин T и T′
совпадают, то операция сращивания выполнима. Ее можно записать
следующим образом:
G(τ) = G 1 (τ) [T→ T′] G 2 (τ). (2.4)
На рис. 2.4 показан пример сращивания двух орграфов. Пунктирной
стрелкой показана новая связь (T→ T′).
G 1
T’
T G 2
Рис. 2.4 – Операция сращивания двух орграфов
Так как орграфы доменов тестов принадлежат онтологии какой-либо
задачи, то операции объединения, прививки и сращивания орграфов
доменов могут быть полезны при слиянии разных онтологий
(онтологическом инжиниринге).
Выше уже отмечалось, что необходимо стремиться к тому, чтобы
терминальные вершины орграфа были дуадами. В этом смысле орграф
G(Возраст) не оптимальный. Введем операцию расщепления вершиныдомена
следующим образом: для любой дискретной вершины D = {a 1 ,
a 2 ,…, a n } такой, что n > 2, порождаются n терминальных вершин-листьев
вида {a j ; не a j } ≡ {a j ; ¬ a j } ≡ {a j ; D \ a j }, где j = 1,…,n. В результирующем
орграфе остаются только те вершины, которые отсутствовали в орграфе до
выполнения операции расщепления. В рамках настоящего исследования
будем предполагать, что имеется воспроизводимый алгоритм проверки
совпадения (тождественности) вершин с учетом синонимии и разных
областей отрицания (в разных доменах). Примеры типичной синонимии:
{Жалоб на озноб нет; Жалобы на озноб} ≡ {Жалоб на озноб нет; ¬ ‘Жалоб
на озноб нет’};
{Кожные покровы нормального цвета; Желтушность кожных покровов} ≡
{Кожные покровы нормального цвета; ¬ ‘Кожные покровы нормального
цвета’}.
Последний пример справедлив в рамках следующего орграфа теста
«Желтушность кожных покровов»: G = {D1 → D2}, где