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

В итоге получаем второй орграф:
32
G 2 (Возраст | {Пол}) ≡ {В1 → В4; В4 → В5; В4 {Пол}→ В6}.
Обратим внимание, что, несмотря на внешнее совпадение термов доменов
В3 и В5, это разные домены с отличными по смыслу термами. Следует
также отметить, что если значение теста «Пол» не задано, то связка
(В4 {Пол}→ В6) не определена и орграф G 2 (Возраст) меняет структуру на
{В1 → В4; В4 → В5}.
Примеры веерного вычисления значений теста на основе орграфа
G 2 (Возраст):
Возраст/ В1 5 → Возраст/ В4 [0; 17] → Возраст/ В5 молодой;
Пол/{М; Ж} М & Возраст/ В4 [0; 17] → Возраст/ В6 нетрудоспособный.
Операции обобщения в рамках орграфов доменов отнесем к
автоматизмам вычислительной среды (вычислительного интеллекта).
На рис. 2.1 показана структура орграфов G 1 (Возраст) и G 2 (Возраст).
В3
В5
В6
В2
В4
В1
В1
а) Граф G 1 (Возраст) б) Граф G 2 (Возраст)
Рис. 2.1 – Структура орграфов для теста «Возраст»
Из рисунка видно, что орграф G 1 (Возраст) имеет линейную структуру с
одной терминальной вершиной, а орграф G 2 (Возраст) – ветвящуюся, с
двумя терминальными вершинами (пунктирная стрелка означает
зависимость преобразования от внешних тестов).
Определим операцию объединения ‘∪’ разных орграфов одного и того
же теста, если у них совпадают по содержанию как минимум базовые
домены. В результирующем орграфе общим становится базовый домен.
Обязательно объединяются и другие вершины – домены, если между
элементами этих доменов имеется взаимнооднозначное соответствие и
доказано, что отсутствуют конфликты (конфликт имеет место, когда
разные пути вычислений приводят к разным значениям в одном домене).
Пусть G k (τ |[{a/A} k ]) – разные орграфы теста τ (k = 1,…, K) с совпадающим