Пример модели СТОУП

На Рис. 1 дан пример И/ИЛИ графа, где вершины концептов и модулей изображены овалами и прямоугольниками соответственно, вершины исходных концептов не показаны, Т_цел представлено вершинами K₁, K₂, K₃, изображающими одноименные концепты.

Описание структуры И/ИЛИ-графа удобно представить в форме таблиц 1 и 2, в которых зафиксированы отношения «род/вид» (в случае СТОУП это отношение «концепт определен в модулях») и «целое/часть» (в СТОУП это «в модуле используются концепты»).

В соответствии с (1.2):

k₁&k₂&k₃=1.

Используя (1.1), имеем:

(m₁&k₄+m₂&k₅&k₆) & (m₃&k₈&k₁₁+m₇&k₁₀+m₉&k₁₂) & (m₄&k₇&k₁₃+m₇&k₁₀ + m₈&k₁₁&k₁₂) =1,.

Рис. 1. И/ИЛИ граф

где + знак логического сложения. Продолжая замены переменных k_r по формуле (1), приходим к итоговой записи модели в виде дизъюнктивной формы, в которой каждый дизъюнкт выражает одну из возможных альтернатив решения — подмножество переменных m_q, определяющих модульный состав синтезируемого учебного пособия.

Табл.1

Табл.2.

Число дизъюнктов в модели рассмотренного примера сравнительно невелико. Однако в практических задачах с десятками и сотнями концептов перебор всех дизъюнктов невозможен, и для выбора оптимальной альтернативы нужно применять генетические алгоритмы.