Mars Robot Puzzle (a Multiagent Approach to the Dijkstra Problem)

We continue our study of multiagent algorithms for a problem that we call the Mars Robot Puzzle. This problem could be considered as a special case of a graph-theoretic problem (Discrete Mathematics), as a combinatorial geometry problem (Computer Science), or as a very special case of a path-planni...

Full description

Bibliographic Details
Main Authors: E. V. Bodin, N. O. Garanina, N. V. Shilov
Format: Article
Language:English
Published: Yaroslavl State University 2011-06-01
Series:Моделирование и анализ информационных систем
Subjects:
Online Access:https://www.mais-journal.ru/jour/article/view/1091
_version_ 1797877942622093312
author E. V. Bodin
N. O. Garanina
N. V. Shilov
author_facet E. V. Bodin
N. O. Garanina
N. V. Shilov
author_sort E. V. Bodin
collection DOAJ
description We continue our study of multiagent algorithms for a problem that we call the Mars Robot Puzzle. This problem could be considered as a special case of a graph-theoretic problem (Discrete Mathematics), as a combinatorial geometry problem (Computer Science), or as a very special case of a path-planning problem (Artificial Intelligence). Our algorithms grew up from a local search (heuristic) solution of the problem suggested by E.W. Dijkstra. In the paper we present a series of new multiagent algorithms solving the problem, prove (manually) their correctness, model check some of these algorithms, and discuss further research topics. All our algorithms are multiagent in contrast to "centralized" graph and combinatorial algoritms; correctness of our algorithms is formally proven, while the testing is used for validation of path-planning algorithms.
first_indexed 2024-04-10T02:24:46Z
format Article
id doaj.art-4c60c0eed5cc4e9fbaeedddaf6455e60
institution Directory Open Access Journal
issn 1818-1015
2313-5417
language English
last_indexed 2024-04-10T02:24:46Z
publishDate 2011-06-01
publisher Yaroslavl State University
record_format Article
series Моделирование и анализ информационных систем
spelling doaj.art-4c60c0eed5cc4e9fbaeedddaf6455e602023-03-13T08:07:31ZengYaroslavl State UniversityМоделирование и анализ информационных систем1818-10152313-54172011-06-01182113128832Mars Robot Puzzle (a Multiagent Approach to the Dijkstra Problem)E. V. Bodin0N. O. Garanina1N. V. Shilov2Институт Систем Информатики им. А.П. Ершова СО РАНИнститут Систем Информатики им. А.П. Ершова СО РАНИнститут Систем Информатики им. А.П. Ершова СО РАНWe continue our study of multiagent algorithms for a problem that we call the Mars Robot Puzzle. This problem could be considered as a special case of a graph-theoretic problem (Discrete Mathematics), as a combinatorial geometry problem (Computer Science), or as a very special case of a path-planning problem (Artificial Intelligence). Our algorithms grew up from a local search (heuristic) solution of the problem suggested by E.W. Dijkstra. In the paper we present a series of new multiagent algorithms solving the problem, prove (manually) their correctness, model check some of these algorithms, and discuss further research topics. All our algorithms are multiagent in contrast to "centralized" graph and combinatorial algoritms; correctness of our algorithms is formally proven, while the testing is used for validation of path-planning algorithms.https://www.mais-journal.ru/jour/article/view/1091мультиагентная системараспределённый алгоритмзадача о назначенияхпланирование перемещений
spellingShingle E. V. Bodin
N. O. Garanina
N. V. Shilov
Mars Robot Puzzle (a Multiagent Approach to the Dijkstra Problem)
Моделирование и анализ информационных систем
мультиагентная система
распределённый алгоритм
задача о назначениях
планирование перемещений
title Mars Robot Puzzle (a Multiagent Approach to the Dijkstra Problem)
title_full Mars Robot Puzzle (a Multiagent Approach to the Dijkstra Problem)
title_fullStr Mars Robot Puzzle (a Multiagent Approach to the Dijkstra Problem)
title_full_unstemmed Mars Robot Puzzle (a Multiagent Approach to the Dijkstra Problem)
title_short Mars Robot Puzzle (a Multiagent Approach to the Dijkstra Problem)
title_sort mars robot puzzle a multiagent approach to the dijkstra problem
topic мультиагентная система
распределённый алгоритм
задача о назначениях
планирование перемещений
url https://www.mais-journal.ru/jour/article/view/1091
work_keys_str_mv AT evbodin marsrobotpuzzleamultiagentapproachtothedijkstraproblem
AT nogaranina marsrobotpuzzleamultiagentapproachtothedijkstraproblem
AT nvshilov marsrobotpuzzleamultiagentapproachtothedijkstraproblem