Алгебраический подход к решению задач логического управления

Рассматриваются проблемы формального описания логической части интеллектуальных систем управления динамическими объектами. Обсуждаются достоинства представления системы логических функций с упорядоченными элементами в различных базисах. Дается описание операций над логическими функциями с упорядоченными элементами. Вводится определение системы логических уравнений как алгебраической структуры, для которой определены обычные, принятые для линейных систем векторно-матричные операции, а логический вывод интерпретируется как решение систем логических уравнений. Исследуются проблемы приведения произвольных динамических систем логических уравнений к линейным динамическим системам логических уравнений, известным как линейные последовательностные машины, для которых хорошо разработан математический аппарат их анализа и синтеза.