350 rub
Journal Information-measuring and Control Systems №6 for 2009 г.
Article in number:
Application of the Logical Game Programs Language to the Problem of Avaiding Obstructions by Robot
Keywords: robots navigation in the labyrinths game programs
Authors:
R. V. Helemendik
Abstract:
In the paper is offered a discrete model of a labyrinth, where robots, which are operated by two sides, are moving with the following types of interactions of these sides: cooperation, counteraction. A problem of constructing an optimal strategy of robot's navigation in the labyrinth is written in the logical language of game programs, and a resulting strategy in the case of it's existence is created by the game program. Solution of the specified problem has been illustrated by examples
Pages: 44
References
  1. Портиш Л., Шаркози Б. 600 окончаний: Пер. с венг. А.Лилиенталя. М.: Физкультура и спорт. 1979.
  2. Хелемендик Р.В. Алгоритм распознавания выполнимости формул логики ветвящегося времени и эффективный алгоритм построения выводов общезначимых формул из аксиом // Математические вопросы кибернетики. Вып. 15: Сб. статей / под редакцией О.Б.Лупанова. М.: Физматлит. 2006. C.217-266.
  3. Хелемендик Р.В. О расширении типов игрового взаимодействия в языке игровых программ // Материалы VI молодежной научной школы по дискретной математике и ее приложениям (Москва, 16-21 апреля 2007г.). Часть III / под редакцией А.В.Чашкина. 2007. С.30-35. URL: http://library.keldysh.ru/prep_vw.asp-pid=2846
  4. Хелемендик Р.В. О соотношении задачи синтеза игровых программ и распознавания выполнимости формул логики ветвящегося времени. // Материалы IX Международного семинара «Дискретная математика и ее приложения», посвященного 75-летию со дня рождения О.Б.Лупанова (Москва, МГУ, 18-23 июня 2007 г.) / под редакцией О.М.Касим-Заде. М.: Изд-во механико-математического факультета МГУ. 2007. С. 183-186.
  5. Хелемендик Р.В. О единой формальной записи всех допустимых ходов в любой шахматной позиции. // Материалы XVI Международной школы-семинара «Синтез и сложность управляющих систем» (Санкт-Петербург, 26-30 июня 2006г.) / под редакцией О.Б.Лупанова. М.: Изд-во механико-математического факультета МГУ. 2006. С.108-112.
  6. Emerson E.A. Automated temporal reasoning about reactive systems // Logics for concurrency. Lecture Notes in Computer Science. V. 1043. Berlin: Springer. 1996. P. 41-101.