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

31
В3 = {молодой; средних лет; пожилой}.
Примеры результатов тестов:
Возраст/ В2 = «пожилой»; Возраст/ В1 87; Возраст/ В3 = «пожилой».
Отметим, что (Возраст/ В2 пожилой) ≠ (Возраст/ В3 пожилой). Зададим
правила пересчета между доменами В1, В2 и В3 следующим образом:
В1.[0; 14] → В2.{юный}; В1.[15; 33] → В2.{молодой};
В1.[34; 55] → В2.{средних лет}; В1.[56; 70] → В2.{пожилой};
В1.[71; 100] → В2.{старческий}; В2.{юный; молодой} → В3.{молодой};
В2.{средних лет} → В3.{средних лет};
В2.{пожилой; старческий} → В3.{пожилой}.
Правила пересчета {В1 → В2; В2 → В3} задают орграф доменов для теста
‘Возраст’. Обозначим орграф через G 1 (Возраст).
Если задан орграф доменов теста, то появляется возможность
автоматического вычисления значений теста в рамках всех доменов по
одному, например, самому точному значению. Примеры:
Возраст/ В1 5 → Возраст/ В2 юный → Возраст/ В3 молодой;
Возраст/ В1 76 → Возраст/ В2 старческий → Возраст/ В3 пожилой.
Преобразование множества значений:
Возраст/ В1 [13; 20] → Возраст/ В2 {юный; молодой} → Возраст/ В3
молодой.
Результат получен путем объединения преобразований атомарных
значений.
Зададим другой набор доменов для того же теста τ = ‘Возраст’:
В1 = [0; 100];
В4 = {[0; 17]; [18; 30]; [31; 40]; [41; 55]; [56; 60]; [61; 100]};
В5 = {молодой; средних лет; пожилой};
В6 = {трудоспособный; нетрудоспособный}.
Правила пересчета значений из домена В1 в домен В4 очевидны.
Зададим остальные правила (с учетом разного возраста ухода на пенсию
мужчин и женщин: мужчины в 60 лет, женщины в 55):
В4.{[0; 17]; [18; 30]} → B5.{молодой};
В4.{[31; 40]; [41; 55]} → B5.{средних лет};
В4.{[56; 60]; [61; 100]} → B5.{пожилой};
Пол М & В4.{[18; 30]; [31; 40]; [41; 55]; [56; 60]} → B6.{трудоспособный};
Пол Ж & В4.{[18; 30]; [31; 40]; [41; 55]} → B6.{трудоспособный};
Пол М & В4.{[0; 18]; [61; 100]} → B6.{нетрудоспособный};
Пол Ж & В4.{[0; 18]; [56; 60]; [61; 100]} → B6.{нетрудоспособный}.