Logico-mathematical description of the problem-solving process when designing the control system of an unmanned aerial vehicle
Аuthors
*, **Air force academy named after professor N.E. Zhukovskii and Y.A. Gagarin, Voronezh, Russia
*e-mail: vamalyshev@list.ru
**e-mail: mitrofanovd@mail.ru
Abstract
Trends in the development of artificial intelligence technologies, their introduction into complex technical systems such as robotic complexes, unmanned aerial vehicles, minimizing the human role in the process of analyzing information and developing control solutions allow us to develop promising intelligent technical systems capable of fully simulating human intellectual activity associated with solving problematic situations (tasks) that arise during operation. This circumstance requires the definition of the main stages and cognitive processes associated with human intellectual activity. The article discusses the main stages of solving the problem (task). Their mathematical description has been completed. A graphical interpretation of the process of achieving a goal in the process of solving a problem (task) is demonstrated. The cognitive operations performed during the solution of the problem (task) are highlighted. Each operation is described from the point of view of mathematical logic and set theory. A scheme for solving the problem (problem) is proposed.
Keywords:
thinking, problem, task, intellectual task, logic, intelligence, intelligent control system, sophisticated technical systemReferences
- Jan Maarten Schraagen, Tom M.J. Fransen, Scott D.Wood. Cognitive Task Analysis, 2019, 587 p.
- Lindsei P., Norman D. Analiz protsessa resheniya zadach (Problem-solving process analysis), Moscow, Izdatel'stvo Moskovskogo universiteta, 1981, 400 p.
- Akademicheskii slovar'. URL: https://dic.academic.ru/dic.nsf/ruwiki/677076
- Sovremennaya entsiklopediya. URL: https://rus-modern-enc.slovaronline.com
- Thomas H. Cormen, Charles E. Leiserson, Ronald L. Rivest, Clifford Stein. Introduction to Algorithms, Third Edition, 2014, 1328 p.
- Atlas po psikhologii (Atlas of Psychology), Moscow, Pedagogicheskoe obshchestvo Rossii, 2004, 276 p.
- Al'tshuller G.S. Algoritm izobreteniya (Invention algorithm), Moscow, Moskovskii rabochii, 1973, 296 p.
- Pospelov G.S., Irikov V.A. Programmno-tselevoe planirovanie i upravlenie (Program-target planning and management), Moscow, Sovetskoe radio, 1976, 440 p.
- Thomas H. Cormen, Algorithms Unlocked, 2013, 208 p.
- Stuart Russell, Peter Norvig. Artificial Intelligence: A Modern Approach, 2nd Edition, 2015, 1408 p.
- Osipov Yu.S. Bol'shaya rossiiskaya entsiklopediya. T. 2. (Great Russian Encyclopedia), Moscow, Bol'shaya rossiiskaya entsiklopediya, 2005, 766 p.
- Kuznetsov S.A. Sovremennyi tolkovyi slovar' russkogo yazyka (Modern explanatory dictionary of the Russian language), Moscow-Saint Petersburg, 2006, 960 p.
- K. Anders Ericsson, Robert R. Hoffman, Aaron Kozbelt, A. MarkWilliams. The Cambridge Handbook of Expertise and Expert Performance, 2018, 924 p.
- Lepskaya N.D. Logika v skhemakh i tablitsakh (Logic in diagrams and tables), Minsk, MGEU imeni A.D. Sakharova, 2012, 92 p.
- Korovkin S.Yu., Savinova A.D. Psikhologicheskii zhurnal, 2016, vol. 37, no. 4, pp. 32–43.
- Zakovryashin A.I. Trudy MAI, 2012, no. 61. URL: https://trudymai.ru/eng/published.php? ID=35525
- Korotkova T.I. Trudy MAI, 2015, no. 84. URL: https://trudymai.ru//eng/published.php?ID=63279
- Golomazov A.V. Trudy MAI, 2019, no. 106. URL: https://trudymai.ru/eng/published.php?ID=105738
- Belokon' A.M. Trudy MAI, 2011, no. 46. URL: https://trudymai.ru/eng/published.php?ID=25984
- Lor'er Zh.L. Sistemy iskusstvennogo intellekta (Intelligence Artificielle), Moscow, Mir, 1991, 568 p.
- Lyuger D.F. Iskusstvennyi intellekt: strategii i metody resheniya slozhnykh problem (Artificial Intelligence: Structures and Strategies for Complex Problems Solving), Moscow, Vil'yams, 2003, 864 p.
Download