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

D2.N → D3.N; D2.{a; b} → D3.a.
41
Построим структурно-завершенный орграф G + (А2). Выше уже
отмечалось, что операция отрицания связана с конкретным доменом.
Поскольку D1.N → D2.N → D3.N, т.е. не происходит расширения
смысловой зоны элемента «Аппетит нормальный», то операция
расщепления, примененная к доменам D1 и D2, порождает одинаковые
вершины «Аппетит нормальный; Аппетит не нормальный», которые
совпадают с D3. Сложнее обстоит дело с элементами (термами) доменов
D1, D2 – «Аппетит снижен» и «Аппетит повышен». При переходе от
домена D1 к домену D2 происходит расширение смысловой зоны каждого
терма, например:
D1.{Анорексия ^a; Аппетит снижен ^a } → D2.{Аппетит снижен ^a}.
Это приводит, например, к следующему факту: «Аппетит снижен;
¬ D1 Аппетит снижен» ≠ «Аппетит снижен; ¬ D2 Аппетит снижен».
В итоге структурно-завершенный орграф G + (А2) будет содержать 9
вершин.
Построим структурно-завершенный орграф для теста «Жалобы на боли
в области живота»:
Тест: Жалобы на боли в области живота ^ЖБОЖ:
D2 {Болей в животе нет (норма) ^N; Жалобы на боли в животе ^b}
D1 {Болей в животе нет (норма) ^N; Постоянные ноющие боли в правом
подреберье ^b; Схваткообразные боли в правом подреберье ^b;
Опоясывающие боли в эпигастрии ^b; Боли в левом подреберье ^b}.
G(ЖБОЖ) = {D1 → D2}. Правила: D1.b → D2.b; D1.N → D2.N.
Формально домен D1 в результате расщепления порождает 5 листьев
(по числу элементов), однако вершина D2 входит в число данных вершин,
поэтому структурно-завершенный орграф G + (ЖБОЖ) содержит 6 вершин –
одну базовую и 5 терминальных (рис. 2.6).
D4
D3
D5
D2
D1
D6
Рис. 2.6 – Структурно-завершенный орграф теста «Жалобы на боли в
области живота»
Определим число вершин структурно-завершенного орграфа для теста