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

59
теста в рамках одного домена. Такую трактовку неконфликтности отнесем
к сильной неконфликтности. В основе ряда важных автоматизмов среды
могут быть операции, включающие произвольные домены разных тестов,
например, интервальные операции сложения, умножения и т.д. Подобные
операции приведут к нарушению требования сильной неконфликтности
практически при любых исходных данных. Выход заключается в
формулировке слабой неконфликтности, допускающей работу с
интервальными данными вида {δ/T}, где δ – интервалы.
2.4 Нисходящая детерминация. Субоптимизация
Пусть задано произвольное значение теста τ/T, которое
интерпретируется в рамках орграфа G(τ). Нисходящая детерминация
задает неконфликтное множество значений {τ/T′}, где {T′} – все
предшествующие T домены в рамках орграфа G(τ), вплоть до базового
домена T 0 . Очевидно, множество {τ/T′} определяется не единственным
образом.
Примеры. Пусть задано значение теста «Возраст/ В3 молодой» в
рамках орграфа G 1 (Возраст). Приведем несколько вариантов нисходящей
детерминации: {τ/T′} = {Возраст/ В1 5; Возраст/ В2 юный};
{τ/T′}= {Возраст/ В1 30; Возраст/ В2 молодой}.
Пусть задано значение теста «иЛП/D3 Увеличение иЛП» в рамках
орграфа G(иЛП) = {D1 → D2 → D3}. Вариант нисходящей детерминации:
{τ/T’} = {иЛП/D1 4,0; иЛП/D2 b}.
В конкретных задачах процедура нисходящей детерминации может
подчиняться дополнительным регламентирующим правилам
(закономерностям), например, возможна нейросетевая реализация
процедуры с обучением. Если используются элементы теории нечетких
множеств (нечеткой логики), то нисходящая детерминация включает в себя
дефаззификацию (на определенных уровнях). В целом, нисходящая
детерминация относится к врожденным или приобретенным
автоматизмам (вычислительной) среды.
Нисходящая детерминация играет важную роль в задачах управления,
обеспечивая функционирование механизма субоптимизации.
Под субоптимизацией будем понимать оптимизацию на максимально
высоком (предельном) уровне общности описания ситуации
действительности с учетом возможностей нисходящей детерминации и
критерия удовлетворительности решения (в целом).
Значения тестов на других уровнях общности определяются благодаря
восходящим и нисходящим преобразованиям (автоматизмам среды).
Восходящие преобразования позволяют получить обобщенную модель