Аннотация:
Данная статья посвящена развитию методов представления и обработки знаний для автоматизации решения некоторых классов задач, в том числе поиска логических выводов, синтеза условий существования выводов и планирования действий. Возможности методов иллюстрируются на примерах задач достижимости целевых состояний в динамических и интеллектуальных системах.
Ключевые слова:
динамические системы, интеллектуальные системы, теория управления, математическая логика, искусственный интеллект, управляемость, функции Ляпунова.
Образец цитирования:
С. Н. Васильев, Г. М. Пономарев, “Методы автоматизации логического вывода и их применение в управлении динамическими и интеллектуальными системами”, Тр. ИММ УрО РАН, 17, № 2, 2011, 35–52; Proc. Steklov Inst. Math. (Suppl.), 276, suppl. 1 (2012), S161–S179
\RBibitem{VasPon11}
\by С.~Н.~Васильев, Г.~М.~Пономарев
\paper Методы автоматизации логического вывода и их применение в~управлении динамическими и интеллектуальными системами
\serial Тр. ИММ УрО РАН
\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}
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/timm694
https://www.mathnet.ru/rus/timm/v17/i2/p35
Эта публикация цитируется в следующих 5 статьяx:
А. В. Давыдов, А. А. Ларионов, Н. В. Нагул, “О применении исчисления позитивно-образованных формул для исследования управляемых дискретно-событийных систем”, Модел. и анализ информ. систем, 31:1 (2024), 54–77 [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
Н. Т. Когабаев, “О сложности проблемы эквивалентности хорновским формулам. II”, Алгебра и логика, 61:4 (2022), 469–482
Н. Т. Когабаев, “О сложности проблемы эквивалентности хорновским формулам”, Алгебра и логика, 60:6 (2021), 575–586
Цитирование в формате AMSBIB
Обратная связь: