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

188
выборки по каждому заключению z/Z, а также наличия всех необходимых
данных (рассматриваются прецеденты с полной информацией).
Обозначим базовые домены всех тестов через T 0 . Соответственно,
первичное описание базы прецедентов будет иметь вид {τ/T 0 } ≡{τ/T} 0 . Для
фиксации конкретного описания (наброска) базы прецедентов будем
использовать нотацию Ω({τ/T}) или Ω({τ/T}, Z), например, Ω({τ/T 0 }).
Данная нотация означает, что все прецеденты в базе прецедентов описаны
на одном и том же фиксированном уровне общности {τ/T}. Для фиксации
конкретного описания (наброска) произвольной ситуации/прецедента
будем использовать нотацию α({τ/T}) или α({τ/T}, z/Z). В общем случае Ω
может содержать прецеденты разного уровня общности описания. Термины
«прецедент», «ситуация» и «ситуация действительности» считаются
синонимами.
Будем говорить, что база прецедентов Ω не содержит конфликтов на
уровне общности {τ/T} (в рамках описания {τ/T}), если нет двух ситуаций с
разными исходами (заключениями), но совпадающими значениями тестов.
Любые две ситуации, у которых совпадают значения тестов, но разные
исходы назовем артефактом первого рода (genus). Любые M ситуаций, у
которых совпадают значения тестов, но все исходы разные назовем
артефактом (M-1)-рода. Предполагается, что первоначально все
прецеденты α описаны с использованием максимально точных доменов
(базовых доменов) всех тестов и на этом первичном уровне база
прецедентов не содержит конфликтов. Другими словами, база прецедентов
Ω({τ/T 0 }) конфликтов не содержит.
Вероятностной закономерностью появления заключения z/Z назовем
правило вида
R = ({τ/T} → J z z/Z), p(R) ≥ p*, υ R = υ(R), (5.1)
где {τ/T} – неизбыточная совокупность значений тестов; J z и p(R) – ранг
или вероятность получения заключения z/Z при условии {τ/T}; p* – порог
(например, 0.9); υ R – вес правила, пропорциональный количеству
прецедентов с заключением z/Z, отвечающих правилу R. Вероятностную
закономерность нельзя редуцировать с сохранением ранга. Сослаться на
конкретную закономерность можно следующим образом: R({τ/T}, z/Z). Для
веса υ R , как и для любого теста, существует орграф G(υ R ).
Синонимами вероятностной закономерности можно считать
ассоциативное правило (обобщение импликаций, когда допускается
некоторая доля исключений) и предвестник.
Под формальным синдромом будем понимать неизбыточную
совокупность значений тестов, позволяющую однозначно установить
заключение z/Z (в такой трактовке формальные синдромы отличаются от