Детальная информация

Коллекционная карточная игра Magic: The Gathering пользуется огромной популярностью по всему миру. Самых разных людей привлекает в игре не только красота её иллюстраций, простота её освоения на базовом уровне, но и сложность её устройства. Более опытные игроки обучают менее опытных, в частности, постановкой задач, описывающих некая нетривиальная игровая ситуация, и предлагается определить дальнейшие действия, исходя из правил игры. Magic: The Gathering состоит из двух основных элементов: карт и правил. Правила игры, как и карты, очень хорошо формализованы, и их можно расценивать как формальные требования к некой программной системе. Для решения игровых задач в данной работе предлагается создать такую программную систему, которая соблюдала бы правила игры, а карты и задачи были бы входными параметрами к этой системе. Чтобы карты могли проще обрабатываться программной системой, их следует перевести с естественного языка на специальный формальный язык. Исследованию возможности создания такого языка и посвящена данная работа.