Задача о роботах на Марсе (мультиагентный подход к задаче Дейкстры)

\noindent Изучаются мультиагентные алгоритмы для так называемой задачи о роботах на Марсе. Эту задачу можно рассматривать как задачу из теории графов (дискретная математика), как комбинаторную геометрическую задачу (теоретическое программирование) или как частный случай задачи планирования перемещений (искусственный интеллект). Наши алгоритмы основаны на эвристическом поиске, предложенном Э. Дейкстрой. В статье представлен ряд новых мультиагентных алгоритмов, решающих задачи о роботах на Марсе, доказана их корректность, приведены результаты проверки на модели некоторых из этих алгоритмов, предложены направления дальнейших исследований. Новизна представленной работы состоит в том, что в отличие от теоретико-графового и комбинаторно-геометрического подходов, ориентированных на централизованное решение задачи, мы развиваем мультиагентный подход, но, в свою очередь, наша работа отличается от работ по планированию перемещений математической строгостью доказательств корректности предложенных алгоритмов.