Real-Time Decision-Making Systems: Approaches to Construction
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...
| Main Authors: | , , , , , , |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
Academy of Sciences of Moldova
2022-03-01
|
| Series: | Problems of the Regional Energetics |
| Subjects: | |
| Online Access: | https://journal.ie.asm.md/assets/files/10_01_53_2022.pdf |
| _version_ | 1818982165158821888 |
|---|---|
| author | Zakharchenko I. Dmitriev A. Ovcharenko V. Maslov I. Pavlenko M. Timochko A. Kryzhevska K. |
| author_facet | Zakharchenko I. Dmitriev A. Ovcharenko V. Maslov I. Pavlenko M. Timochko A. Kryzhevska K. |
| author_sort | Zakharchenko I. |
| collection | DOAJ |
| description | 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. |
| first_indexed | 2024-12-20T17:42:52Z |
| format | Article |
| id | doaj.art-0e5ec3352973408d96d6b03ccc480013 |
| institution | Directory Open Access Journal |
| issn | 1857-0070 |
| language | English |
| last_indexed | 2024-12-20T17:42:52Z |
| publishDate | 2022-03-01 |
| publisher | Academy of Sciences of Moldova |
| record_format | Article |
| series | Problems of the Regional Energetics |
| spelling | doaj.art-0e5ec3352973408d96d6b03ccc4800132022-12-21T19:31:04ZengAcademy of Sciences of MoldovaProblems of the Regional Energetics1857-00702022-03-0153112514010.52254/1857-0070.2022.1-53.10Real-Time Decision-Making Systems: Approaches to ConstructionZakharchenko I.0Dmitriev A.1Ovcharenko V.2Maslov I.3Pavlenko M.4Timochko A.5Kryzhevska K. 6Kharkiv National Air Force University named after Ivan Kozhedub, Kharkiv, UkraineKharkiv National Air Force University named after Ivan Kozhedub, Kharkiv, UkraineKharkiv National Air Force University named after Ivan Kozhedub Kharkiv, UkraineKharkiv National Air Force University named after Ivan Kozhedub Kharkiv, UkraineKharkiv National Air Force University named after Ivan Kozhedub, Kharkiv, UkraineKharkiv National Air Force University named after Ivan Kozhedub, Kharkiv, UkraineKharkiv National Air Force University named after Ivan Kozhedub, Kharkiv, UkraineThe 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.https://journal.ie.asm.md/assets/files/10_01_53_2022.pdfcontrol systemdecision-making systempower systemreal timetarget settingformal system |
| spellingShingle | Zakharchenko I. Dmitriev A. Ovcharenko V. Maslov I. Pavlenko M. Timochko A. Kryzhevska K. Real-Time Decision-Making Systems: Approaches to Construction Problems of the Regional Energetics control system decision-making system power system real time target setting formal system |
| title | Real-Time Decision-Making Systems: Approaches to Construction |
| title_full | Real-Time Decision-Making Systems: Approaches to Construction |
| title_fullStr | Real-Time Decision-Making Systems: Approaches to Construction |
| title_full_unstemmed | Real-Time Decision-Making Systems: Approaches to Construction |
| title_short | Real-Time Decision-Making Systems: Approaches to Construction |
| title_sort | real time decision making systems approaches to construction |
| topic | control system decision-making system power system real time target setting formal system |
| url | https://journal.ie.asm.md/assets/files/10_01_53_2022.pdf |
| work_keys_str_mv | AT zakharchenkoi realtimedecisionmakingsystemsapproachestoconstruction AT dmitrieva realtimedecisionmakingsystemsapproachestoconstruction AT ovcharenkov realtimedecisionmakingsystemsapproachestoconstruction AT maslovi realtimedecisionmakingsystemsapproachestoconstruction AT pavlenkom realtimedecisionmakingsystemsapproachestoconstruction AT timochkoa realtimedecisionmakingsystemsapproachestoconstruction AT kryzhevskak realtimedecisionmakingsystemsapproachestoconstruction |