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

54
Множество {τ/T} назовем неконфликтным над орграфами {G(τ) |
τ ∈ Test({τ/T})}, если замыкание {τ/T} + над данными орграфами не
содержит конфликтов значений тестов (нет нарушений ОВЗ тестов и нет
конфликтных значений в рамках любого домена).
Неконфликтное множество данных не может содержать более одного
значения теста в рамках любого домена. Однако это не означает, что нельзя
строить замыкания для произвольных множеств {τ/T}.
Изначально неконфликтное множество {τ/T} не всегда является
неконфликтным. Изначально конфликтное множество остается
конфликтным всегда. Пример конфликтного множества: {τ 1 ; τ 2 }/T.
Изменение состава множества графов {G(τ)} может изменить
характеристику конфликтности {τ/T} на противоположную.
Верхним пределом множества {τ/T} над орграфами {G(τ) |
τ ∈ Test({τ/T})} назовем множество {τ/T}^, являющееся подмножеством
замыкания {τ/T} + и состоящее из результатов тестов максимального уровня
общности (значения принадлежат доменам, образующим терминальные
вершины).
Нижним пределом множества {τ/T} над орграфами {G(τ) |
τ ∈ Test({τ/T})} назовем множество {τ/T} ‾ , являющееся минимальным
подмножеством {τ/T} + , замыкание которого содержит {τ/T}, т.е.
{τ/T} ⊂ ({τ/T} ‾ ) + .
Все множества {τ/T}, {τ/T} ‾ , {τ/T}^ принадлежат {τ/T} + . Очевидно,
выполняется соотношение: {τ/T} + = ({τ/T} ‾ ) + над орграфами {G(τ) |
τ ∈ Test({τ/T})}.
Подчеркнем, что введенные выше операции замыкания, получения
верхнего и нижнего пределов целиком опираются на онтологические
описания и не используют возможности базы знаний. Данные операции
следует отнести к автоматизмам вычислительной среды.
Во многих случаях для принятия решения достаточно информации
{τ/T}^, т.е. информации максимального уровня общности. Напротив, при
хранении прецедентов в базе данных достаточно хранить нижние пределы
множеств результатов тестов. При извлечении прецедента из памяти с
помощью автоматизмов среды возможно генерирование полного описания
(замыкания множества всех имеющихся данных).
Примеры. Пусть имеется орграф G(Возраст), представленный на
рис. 2.2. Легко убедиться в справедливости следующих результатов:
{Возраст/ В1 33} + содержит 6 элементов;
{Возраст/В2 молодой} + = {Возраст/ В2 молодой; Возраст/ В3 молодой}
{Возраст/ В1 33}^ = {Возраст/ В5 средних лет; Возраст/ В3 молодой;
Возраст/ В6 трудоспособный};