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

92
ГЛЮКОЗА КРОВИ: c τµ = {анализ проводится натощак; в течение
последних 24 часов не было приема лекарственных средств, влияющих на
уровень глюкозы в крови}.
На основе приведенных выше примеров можно составить общее
описание свойств произвольного теста τ:
СВОЙСТВА(τ) = { (3.1)
{a/A} – Свойства – тесты;
{u/U} – Условия применимости τ;
{LT(τ)} – Лексика;
СОСТАВ(LT(τ)) – Список тестов, используемых в лексике;
{Gs(τ)} – Орграфы набросков значений теста;
{G(τ)} – Орграфы доменов;
{G(∆τ)} – Орграфы доменов приращений теста;
{f/µ f : {b/B} → τ/T}
– Механизмы реализации;
∀ µ τ → c τµ
– Метрологические требования;
{g/µ g : τ/T, {c/C} → J d d/D} – Интерпретация;
{h/µ h : τ/T, {r/R} → {τ/T}’} – Рекомендации по тестам}.
Здесь f/µ f , g/µ g , h/µ h – некоторые известные системопаттерны со своими
механизмами реализации; ∆τ − производный тест, позволяющий выявлять
качественные прерывности значений теста τ (см. раздел 3.2). Орграфы
набросков рассматриваются в разделе 3.5 и главе 6. Можно записать:
∀τ → СВОЙСТВА(τ);
Банк элементарных тестов = {τ: СВОЙСТВА(τ)}.
В идеале Банк тестов должен быть замкнут относительно всех ссылок,
содержащихся в (3.1).
На основе Банка тестов могут быть реализованы разнообразные
вычислительные сети и среды. Более подробно этот вопрос будет затронут
при рассмотрении архитектуры Многоцелевых банков знаний (глава 7).
Очень часто необходимость проведения одних тестов зависит от
результатов других тестов. Так, если «ГОЛОВНАЯ БОЛЬ отсутствует», то
больше никаких уточняющих тестов проводить не нужно. Однако, если
«ГОЛОВНАЯ БОЛЬ имеется», то необходимо уточнить локализацию
боли, ее характер, периодичность, которые также являются тестами.
Возникает проблема процедурного представления взаимосвязанной
совокупности орграфов доменов тестов.
В самом простом случае, если орграф доменов теста «ТЕСТ» состоит из
одного базового домена, то при наличии уточняющих тестов на