Система управления бизнес процессами на основе логических моделей

С исторической точки зрения выделяют следующие системы управления бизнес-процессами предприятия:
Системы планирования необходимости материалов MRP (Material Requirement Planning);
Системы планирования производственных ресурсов MRP-II (Manufacturing Resource Planning):
Системы управления взаимодействием с клиентами CRM (Customer relationship management);
Системы планирования ресурсов предприятия ERP (Enterprise Resource Planning).
Обзор существующих решений

Определить состояния бизнес процесса
Сформировать базу знаний логических правил управления движением документов. Данные правила имеют вид клауз Хорна
А1 ← В1, В2, …, Вn
Используя специальные формулы преобразовываются существующие правила для определения вероятности нахождения в каждом состоянии.
Построение матрицы отображающей бизнес процесс
Перемножение матрицы до того момента пока не будет доказана противоречивость исходного множества клауз
Применение матричного метода

Диаграмма состояния документа в процессе документооборота организации

База знаний логических правил, следуя которым будет происходить движение документа

Используя следующее правило преобразовывается исходная база знаний для получения вероятности нахождения в каждом состоянии.
a *T b = min{a, b}; a +T b = max{a, b}.
Матрица отображающая вероятности перехода из состояния в состояние
Шаг 3, 4

Перемножение матрицы приводит к подтверждению противоречивости исходного множественного числа клауз при p = 10 по признаку противоречивости для традиционной клаузальной логики, которая доводит приведенное выше предположение о логическом следствии Z11.
Теперь остается определиться с нечеткой оценкой результата. Поскольку мы получили |→ 0.9 Z11, то нечеткая оценка результата принадлежит диагональному элементу последней матрицы на пересечении строки и столбца Z11.
Получение матрицы из заложенных в БЗ правил

Модуль оптимизации и расчетов

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

Отображение данных