Report
Иерархическое планирование действий разнородной группы автономных мобильных роботов
| Title: | Иерархическое планирование действий разнородной группы автономных мобильных роботов |
|---|---|
| Publisher Information: | Проблемы искусственного интеллекта, 2024. |
| Publication Year: | 2024 |
| Subject Terms: | positively-constructed formula, automatic theorem proving, позитивно-образованная формула, heuristics, дискретно-событийная система, задача планирования рабочих смен, prover, work shift scheduling problem, эволюционные алгоритмы, прувер, discrete event system, evolutionary algorithms, эвристики, автоматическое доказательство теорем |
| Description: | В статье представлены общие черты многоуровневого подхода к планированию миссии групп автономных мобильных роботов. Подход совмещает в себе верхнеуровневое планирование на основе эволюционных алгоритмов и логический уровень, опирающийся на формализацию логических дискретно-событийных систем в оригинальном исчислении позитивно-образованных формул. Областью применения разрабатываемого подхода являются системы управления техническими системами, прежде всего, робототехническими комплексами. The article presents the general features of a multi-level approach to mission planning for groups of autonomous mobile robots. The approach combines top-level planning based on evolutionary algorithms and a logical level based on the formalization of logical discrete-event systems in the original calculus of positively formed formulas. The area of application of the developed approach is control systems for technical systems, primarily robotic complexes. |
| Document Type: | Research |
| DOI: | 10.24412/2413-7383-2024-2-4-20 |
| Rights: | CC BY |
| Accession Number: | edsair.doi...........a4d3da2e25c013bf617dec0926e94b51 |
| Database: | OpenAIRE |
| DOI: | 10.24412/2413-7383-2024-2-4-20 |
|---|