Эта публикация цитируется в 2 статьях

Формальный подход к пространственно-временному моделированию игровых систем

В. В. Кугуракова

Казанский (Приволжский) федеральный университет, г. Казань, 420008, Россия

Аннотация: Представлен инновационный унифицированный подход к формальному моделированию игровых сущностей и их взаимодействий – FAST-GM (Formal Approach to Spatio-Temporal Game Modeling). Предложенная модель интегрирует темпоральные и вероятностные аспекты, обеспечивая комплексное описание динамики игровых систем. Подход FAST-GM основан на расширенной темпоральной логике и теории вероятностей, что позволяет точно описать сложные игровые механики и их эволюцию во времени. Рассмотрено формальное определение игровых сущностей, их состояний и взаимодействий, а также методы интеграции темпоральных и вероятностных элементов. Особое внимание уделено применению модели для анализа игрового баланса, формальной верификации игровых сценариев и автоматизированной генерации тестовых случаев. Обсуждены масштабируемость и адаптивность модели для различных игровых жанров. Ожидается, что предложенный подход FAST-GM станет значительным шагом вперед в формальном моделировании игровых систем, предоставляя разработчикам мощный инструмент для анализа, верификации и оптимизации игровых механик на различных этапах разработки.

Ключевые слова: формальное моделирование, игровая сущность, взаимодействие в играх, темпоральная логика, вероятностная модель, анализ игрового баланса, верификация игровых сценариев, FAST-GM, game studies, геймдизайн.

УДК: 531.551.1: 681.5

Поступила в редакцию: 31.07.2024
Принята в печать: 05.09.2024

DOI: 10.26907/2541-7746.2024.4.532-554