Андрей Титов: Неклассические логики в описании задач управления сложными объектамиНазад
Андрей Титов: Неклассические логики в описании задач управления сложными объектами
А.В.Титов
Анализ формализованных моделей разрабатываемых при решении задач управления крупномасштабными системами показывает, что в общем случае эффективное решение этих задач связано с привлечением экспертов, кроме того на разных уровнях декомпозиции задачи используются различные варианты моделирования, с привлечением различного формального аппарата.
Из приведенного можно сделать заключение что, формализация основных этапов технологии принятия решений требует развития теории принятия решений, включающей декомпозицию методов описания по типам объектов управления и этапам технологии принятия решения. Автоматизация любой области деятельности, в том числе и принятия управленческих решений, требует разработки развитой теории процесса управления. Основные положения теории записываются на специальном формальном языке-языке теории, что и обеспечивает в дальнейшем возможность автоматизации. Другими словами для автоматизации какого-либо вида деятельности теория этого вида деятельности должна развиваться как дедуктивная наука.
Превращение научного направления в дедуктивную науку по Глушкову включает следующие этапы:
- создание формального языка для описания понятий и процессов, изучаемых данным научным направлением;
- создание теории записанной на выбранном языке, интерпретацией которой являются изучаемые структуры;
- развитие теории для дальнейшего изучения свойств исследуемых структур.
Обобщая это, можно сказать, что превращение научного знания в формальную теорию связано с процессом абстракции, который при естественнонаучном подходе можно определить как процесс, состоящий из следующих этапов:
- обнаружение формальной аналогии в поведении некоторых разных сущностей;
- выделение общих черт и их изолированное представление в виде аксиоматического описания;
- развитие общей теории на основе аксиоматического описания;
- "иллюстрация" примерами - моделями теории;
- специализация, процесс обратный к абстракции - поиск новых моделей;
- поиск теорем представления.
Среди языков, которыми описываются ситуации управления для объектов управления различной природы, выделяют следующие [1]:
- Естественный язык.
- Язык предикатов.
- Язык теории множеств
- Язык универсалной алгебры, в частности булевой алгебры.
- Язык теории вероятностей.
- Язык нечетких множеств,
- Язык теории графов.
- Язык функционального анализа.
- Язык теории моделей
- Язщык теории структур.
- Категорный язык.
Для поиска общей основы для классификации типов формализации описания состояний объектов управления различной природы обратим внимание на то что, в наиболее распространенной атрибутивной модели, состояние объекта управления может рассматриваться как общее понятие, т.е. описывается семейством "свойств", которыми обладает объект управления.
В математической логике свойство есть одноместный предикат. Таким образом, при принятии атрибутивной концепции описания ситуации управления она фиксируется как общее понятие, т.е. характеризуется некоторым семейством "свойств".