Abstract:
The paper is devoted to developing methods of knowledge representation and processing for automated
solving of some classes of problems, including the search for logical derivations, synthesis of conditions for
derivability, and action planning. The capabilities of the methods are illustrated by examples of problems of
attaining target states in dynamic and intelligent systems.
Citation:
S. N. Vassilyev, G. M. Ponomarev, “Automation methods for logical derivation and their application in the control of dynamic and intelligent systems”, Trudy Inst. Mat. i Mekh. UrO RAN, 17, no. 2, 2011, 35–52; Proc. Steklov Inst. Math. (Suppl.), 276, suppl. 1 (2012), S161–S179
\Bibitem{VasPon11}
\by S.~N.~Vassilyev, G.~M.~Ponomarev
\paper Automation methods for logical derivation and their application in the control of dynamic and intelligent systems
\serial Trudy Inst. Mat. i Mekh. UrO RAN
\yr 2011
\vol 17
\issue 2
\pages 35--52
\mathnet{http://mi.mathnet.ru/timm694}
\elib{https://elibrary.ru/item.asp?id=16352390}
\transl
\jour Proc. Steklov Inst. Math. (Suppl.)
\yr 2012
\vol 276
\issue , suppl. 1
\pages S161--S179
\crossref{https://doi.org/10.1134/S0081543812020137}
\isi{https://gateway.webofknowledge.com/gateway/Gateway.cgi?GWVersion=2&SrcApp=Publons&SrcAuth=Publons_CEL&DestLinkType=FullRecord&DestApp=WOS_CPL&KeyUT=000305482900013}
\scopus{https://www.scopus.com/record/display.url?origin=inward&eid=2-s2.0-84859342778}
Linking options:
https://www.mathnet.ru/eng/timm694
https://www.mathnet.ru/eng/timm/v17/i2/p35
This publication is cited in the following 5 articles:
A. V. Davydov, A. A. Larionov, N. V. Nagul, “On the application of the calculus of positively constructed formulas for the study of controlled discrete-event systems”, Model. Anal. Inform. Sist., 31:1 (2024), 54–77
Artem Davydov, Aleksandr Larionov, Nadezhda Nagul, “Analysis and Control of Partially Observed Discrete-Event Systems via Positively Constructed Formulas”, Computation, 12:5 (2024), 95
A. V. Davydov, A. A. Larionov, N. V. Nagul, “On the Application of the Calculus of Positively Constructed Formulas for the Study of Controlled Discrete-Event Systems”, Aut. Control Comp. Sci., 58:7 (2024), 1042
N. T. Kogabaev, “O slozhnosti problemy ekvivalentnosti khornovskim formulam. II”, Algebra i logika, 61:4 (2022), 469–482
N. T. Kogabaev, “O slozhnosti problemy ekvivalentnosti khornovskim formulam”, Algebra i logika, 60:6 (2021), 575–586
Citation in format AMSBIB
Contact us: