Year-end Sale % OFF 
Abstract
The purpose of this work is the development of mathematical tools for formalizing decisionmaking 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.
Highlights
The purpose of this work is the development of mathematical tools for formalizing decisionmaking problems
The proposed approach was distinguished by using the axioms
the development of axioms that reflect the specifics of the problems being solved
Summary
Вопросы автоматизации выработки и принятии решений в системах управления на объектах энергетической сферы рассмотрены в работах [1, 2]. Особенности применения моделей знаний основанных на логике предикатов рассмотрены в источниках [3, 4] для удовлетворения требованиям, предъявляемым к средствам формализации и принятия решений по управлению на объектах энергетики. Однако не рассмотрены вопросы применения этих отношений подчинения для описания пердметной области. Однако для систем управления реального времени необходима разработка аппарата формализации, описывающая разные аспекты знаний в рамках единого формализма. Для формализации процесса принятия решений требуется строгое определение понятий цели, отношений между целями и разработка соответствующего математического аппарата. Он позволяет устанавливать истинность отношений между целями по каждому из аспектов знаний, определяющих содержательную парадигму, описывать структуру целевой модели и контролировать процессы достижения целевых установок и пополнения знаний о задачах принятия решений. Истинны TD для определенной цели y , то цель y является конъюнктивной. Истинность хотя бы одного дизъюнктивного компонента является необходимым и достаточным условием истинности дизъюнктивной цели.
Sign-in/Register to view highlights & summary 
Published Version
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a callDisclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.
