МЕТОДЫ ФОРМАЛИЗАЦИИ ОБЛАСТИ УПРАВЛЕНИЯ ОБЪЕКТАМИ ТРАНСПОРТА НЕФТИ ДЛЯ ИНТЕЛЛЕКТУАЛЬНЫХ СИСТЕМ ПОДДЕРЖКИ ПРИНЯТИЯ УПРАВЛЯЮЩИХ РЕШЕНИЙ

Проведен обзор математических методов описания области управления объектами транспорта нефти для автоматизации решения задач интеллектуальной поддержки принятия управляющих решений. Описан метод ситуационного исчисления Р. Рейтера, применяемый для формализации действий, причинно-следственных зависимостей и ситуаций, описывающих их поведение в области управления. Приведено описание языка ситуационного исчисления. Описан метод ситуационного исчисления Дж. Маккарти. При формализации действий в ситуационном исчислении Дж. Маккарти предлагает обходиться понятиями: повествованием (предысторией), планированием и предсказанием. Предыстория описывает то, что уже случилось. Она задается посредством описания ситуаций и событий, которые являются частично упорядоченными во времени. Повествование рассматривается как набор ситуаций из событий и отношений между ними. Предсказание основывается на мотивациях лица, принимающего решения. Описано исчисление событий Миллера и Шенехена, основанное на аксиоматизации исчисления событий в рамках многосортного исчисления предикатов первого порядка, которое является формальным аппаратом описания рассуждений о действиях и их изменениях. Описана семиотическая парадигма Д. Поспелова, основанная на формализме "семиотическая модель" и схеме ситуационного решения задач интеллектуального управления. Приведено описание семиотических порождающихся систем и аппарат универсального семантического кода В. Мартынова. Приведены рекомендации по использованию рассмотренных математических методов для построения интеллектуальных систем управления в области трубопроводных систем.

• Башлыков А.А.

• Искусство. Декоративно-прикладное искусство. Фотография. Музыка. Игры. Спорт

• Естественные науки
• Технические науки. Промышленность
• Физико-математические науки