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

238
бинарное отношение I ⊆ G × M говорит о том, какие объекты какими
признаками обладают [69, 197].
Многозначный формальный контекст в АФП есть четвёрка (G, M, W,
J), где G, M, W – множества (объектов, признаков и значений признаков,
соответственно), а J – тернарное отношение J ⊆ G × M × W, задающее
значение w признака m, причём:
(g, m, w) ∈J и (g, m, v) ∈J влечёт w = v.
Процедура сведения многозначных контекстов к однозначным называется
шкалированием (scaling). Для шкалирования каждый признак
многозначного контекста представляется формальным контекстом,
называемым шкалой [69].
При анализе прецедентов Ω = {α({τ/T})} под контекстом K в общем
случае можно понимать тройку , а в традиционной
нотации K {τ/T} = (Ω, {G(τ)}, I {τ/T} ), что означает фиксирование
определенного уровня описания (доменов) по всем тестам. Без потери
общности будем предполагать, что каждый тест входит в описание
прецедента один раз, принимает одно значение и что для каждого
прецедента известны значения всех тестов на всех уровнях (база
прецедентов с полной информацией). Последнее требование фактически
означает, что прецеденты должны быть описаны с помощью базовых
доменов всех тестов: Ω = {α({τ/T 0 })}.
Главной особенностью контекста (Ω, {G(τ)}, I {τ/T} ) является зависимость
результатов всех операций АФП от рассматриваемого уровня общности.
Бинарное отношение I {τ/T} в контексте K {τ/T} можно представить следующим
образом (все элементы всех доменов считаются различными):
I {τ/T} ⊆ Ω × M {τ/T} , где M {τ/T} = T τ1 ∪⋅⋅⋅∪ T τN , N = |{τ}|.
Прецеденты могут описываться с помощью событий: Ω = {α({})}, где – событие. Под контекстом K в этом случае можно
понимать пару . Для сведения к классическому варианту АФП
необходимо синхронизировать и согласовать по уровню общности события
во всех прецедентах. Если на каком-то уровне общности {τ/T}, t/Λ такое
согласование удается сделать, то фактически это означает, что
переопределением названий тестов на данном уровне общности можно
уйти от событий, т.е. получить описание Ω = {α({τ/T})}. В таком случае
приходим к контексту K {τ/T} .
Если уровень общности не фиксирован, то такой контекст будем
называть свободным и обозначать K ∪{τ/T} = .
Прецеденты могут быть описаны на уровне синдромов той или иной