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

127
В ситуации β оставим только те тесты, которые имеются в ситуации α:
β = {
КАШЕЛЬ имеется
КАШЕЛЬ.Характер влажный непродуктивный.
КАШЕЛЬ.Громкость и тембр мучительный.
КАШЕЛЬ.Время появления в течение всего дня.
КАШЕЛЬ.Ритм постоянный.
КАШЕЛЬ.Усиление кашля при глубоком вдохе
МОКРОТА имеется.
МОКРОТА.Количество за сутки 200 мл.
МОКРОТА.Характер слизисто-гнойная.
МОКРОТА.Отхаркиваемость трудноотделяемая.
МОКРОТА.Цвет желтоватая.
МОКРОТА.Запах затхлый.
МОКРОТА.Консистенция густая.
БОЛЬ В ГРУДНОЙ КЛЕТКЕ имеется}.
Курсивом выделены тесты, значения которых совпадают с
соответствующими тестами ситуации α. Всего совпадают значения 6
тестов из 14. Подчеркнем, что все тесты представлены базовыми доменами.
В рамках детализации 1-го уровня ситуации α и β будут иметь вид:
α = {КАШЕЛЬ имеется; МОКРОТА имеется; БОЛЬ В ГРУДНОЙ
КЛЕТКЕ отсутствует};
β = {КАШЕЛЬ имеется; МОКРОТА имеется; БОЛЬ В ГРУДНОЙ
КЛЕТКЕ имеется}.
В рамках максимального уровня обобщения ситуаций совпадают значения
2-х тестов из 3.
Для элементарного теста τ справедливо следующее правило: если τ −
произвольное значение теста, то элементарным тестом будет также
конструкция
τ.τ / {Истина; Ложь}
Более того, если w({τ}) – произвольная логическая формула, составленная
из результатов теста τ, то элементарным тестом будет также конструкция
τ.w({τ}) / {Истина; Ложь}
Домен {Истина; Ложь} эквивалентен доменам {Есть; Нет}, {Да; Нет},
{Имеется; Отсутствует} и т.п. Примеры:
Об-но.Веки Гиперемия;