The purpose of this work is the development of mathematical tools for formalizing decision-making problems in open expert real-time control systems. The goal was achieved by defining and formally describing all the elements of a formal system. The most significant result was the proposed approach to formalization. With its help, within the framework of a single formalism, the dynamic properties of the subject area and the logical-analytical activity of the power system dispatcher, presented in different classes of formal logics, were described. The significance of the results obtained lies in the possibility of a rigorous description of various aspects of knowledge within the framework of a single formal apparatus with further pragmatic interpretation in the management process. The proposed approach was distinguished by using the axioms of aletic and deontic logics and the development of axioms that reflect the specifics of the problems being solved. The introduced system of basic concepts and relations makes it possible to classify many decision-making problems for the power systems management. The goals were described within the framework of a single formalism form the basis of the apparatus for formalizing the decision-making problems of the class under consideration. The formalization apparatus provides a description of the dynamic properties of the system within each aspect of knowledge of the content paradigm. The direction of further research is the construction of an appropriate formal theory based on the proposed formal system.

Scopul lucrării este de a elabora un set de instrumente matematice pentru formalizarea sarcinilor de luare a deciziilor în sistemele expert deschise de management în timp real. Obiectivul este atins prin definirea și descrierea formală a tuturor elementelor sistemului formal. Cel mai semnificativ rezultat este abordarea propusă pentru formalizare, prin care, în cadrul unui formalism unic sunt descrise proprietățile dinamice ale domeniului și activitățile logico-analitice ale dispecerului sistemului energetic, reprezentate în diferite clase de logici formale. Semnificația rezultatelor obținute constă în posibilitatea descrierii stricte a diferitelor aspecte ale cunoștințelor în cadrul aparatului formal unificat, cu o interpretare pragmatică ulterioară în procesul de management. În principiu, abordarea propusă diferă prin aplicarea axiomelor logicii aletice și deontice ca logici și dezvoltarea unor axiome care reflectă specificul sarcinilor de rezolvat. Acestea fac legătura între caracteristicile situației și descrierea formalizată a proceselor relevante din domeniul problemei. Totalitatea axiomelor avute în vedere ne permite să reprezentăm procesul de realizare a obiectivelor, fără a fi legați de conținutul specific al problemelor de management care trebuie rezolvate. Această soluție ne permite să considerăm totalitatea axiomelor propuse ca fiind axiome ale pragmaticii teleotice. Cu ajutorul sistemului introdus de concepte și relații de bază, este posibilă clasificarea întregii mulțimi de sarcini de luare a deciziilor pentru dirigarea sistemului energetic. Obiectivele, descrise în cadrul formalismului unificat, constituie baza aparatului de formalizare a sarcinilor de decizie ale clasei respective. Particularitățile domeniului determină punerea în aplicare a următoarelor tipuri de relații: subordonare, precedență și "condiție inițială - rezultat".

Цель работы – разработка математического инструментария формализации задач принятия решений в открытых экспертных системах управления реального времени. Поставленная цель достигается путем определения и формального описания всех элементов формальной системы. Наиболее существенным результатом является предложенный подход к формализации, с помощью которого в рамках единого формализма описываются динамические свойства предметной области и логико-аналитическая деятельность диспетчера энергосистемы, представленные в разных классах формальных логик. Значимость полученных результатов состоит в возможности строгого описания различных аспектов знаний в рамках единого формального аппарата с дальнейшей прагматической интерпретацией в процессе управления. Принципиально предлагаемый подход отличается применением аксиом алетической и деонтической логик в качестве логических и разработкой аксиом, отражающих специфику решаемых задач. Они связывают признаки ситуации и формализованное описание соответствующих процессов в проблемной области. Вся совокупность рассматриваемых аксиом позволяет представить процесс достижения целей, не привязываясь к конкретному содержанию решаемых задач управления. Такое решение позволяет рассматривать совокупность предложенных аксиом как аксиомы телеотической прагматики. С помощью введенной системы базовых понятий и отношений возможно классифицировать все множество задач принятия решений для управления энергосистемами. Цели, описываемые в рамках единого формализма, составляют основу аппарата формализации задач принятия решений рассматриваемого класса. Особенности предметной области обуславливают реализацию следующих видов отношений: подчинения, предшествования и “начальное условие – результат”. Аппарат формализации позволяет установить однозначное соответствие между процессами актуализации и достижения целевых установок и фактом их достижения в объективной реальности. Обеспечивается описание динамических свойств системы управления в рамках каждого аспекта знаний содержательной парадигмы. Направлением дальнейших исследований явл