Бинарные отношения в теории активных систем

Базовая модель теории активных систем рассматривается во взаимосвязи с теорией бинарных отношений. Исследуются новые методы анализа задачи оптимального согласованного планирования. Показывается существование соответствия между бинарными отношениями и функциями стимулирования, между множествами согласованных планов и множествами максимальных элементов, между сильно согласованными функциями стимулирования и отношениями строгого порядка.