Логическое проектирование
В продолжение общих подходов. Разбираю ссылки в сети и обнаружил пост со следующим названием АЛГЕБРАИЧЕСКАЯ МОДЕЛЬ ПРОДУКЦИОННЫХ СИСТЕМ И ТЕХНОЛОГИЯ ИХ РАЗРАБОТКИ. По ссылке теперь нет статьи, но по ряду косвенных признаков можно предположить, что её автор опубликовал ещё такое интересное произведение Категорная технология создания и развития интеллектуальных систем, основанных на знании.
Вероятно, прямо на наших глазах происходит процесс терминологической трансформации между классическими и модными обозначениями неких общих представлений. Алгебра, логика, продукции, теория категорий, ... Не суть. Но здесь же можно выделить и полезные ссылки на тематический журнал и книгу, которые были в связи с выше приведенной:
ИНФОРМАЦИОННЫЕ ПРОЦЕССЫ
Логическое проектирование дискретных устройств с использованием продукционно-фреймовой модели представления знаний