5.3. Формальная постановка задачи

Без ограничения общности можно положить, что переменная у принимает только два значения: у′ и у". (Применяя дихотомию, можно решить задачу для любого числа значений.) Этим значениям соответствуют два множества входных состояний системы: А′ и А", каждое со своим набором комбинаций значений переменных x₁, x₂,…, x_m.

Пусть поведение системы наблюдалось в моменты t₁, t₂,…, t_N. Полученные данные представим в виде таблицы, называемой протоколом наблюдений:

Требуется для новой комбинации с = х_i(c),…, x_m(c) определить: с  А´ или c  A''. При такой постановке заведомо предполагается, что игдеА_э, множества наблюдений в эксперименте,А, А′, А" – теоретически возможные множества наблюдений. Причем =иА′А" = А,  = ø и А′А" = ø.

Из такой формулировки ничего не следует, пока не определено множество А и, соответственно, множества А′ и А". Введение определений для А, А′ и А" сразу же переводит задачу в математическую модель.