КФУ. Карточка публикации. A Formal Approach to Spatio-Temporal Modeling of Game Systems

КАЗАНСКИЙ
ФЕДЕРАЛЬНЫЙ УНИВЕРСИТЕТ

RUS

- EN
- 中文
- ES

A FORMAL APPROACH TO SPATIO-TEMPORAL MODELING OF GAME SYSTEMS

Форма представления

Статьи в зарубежных журналах и сборниках

Год публикации

2024

Язык

английский

Авторы, сотрудники КФУ

Кугуракова Влада Владимировна, автор

Библиографическое описание на языке оригинала

Kugurakova VV, A Formal Approach to Spatio-Temp oral Modeling of Game Systems//UCHENYE ZAPISKI KAZANSKOGO UNIVERSITETA-SERIYA FIZIKO-MATEMATICHESKIE NAUKI. - 2024. - Vol.166, Is.4. - P.532-554.

Аннотация

This article introduces FAST-GM (Formal Approach to Spatio-Temporal Game Modeling), a new unified approach to formal modeling of game entities and their interactions that integrates temporal and probabilistic dimensions, thus offering a comprehensive framework for capturing the dynamics of game systems. Built upon the principles of extended temporal logic and probability theory, FAST-GM accurately describes complex game mechanics and how they evolve. A formal definition of game entities was considered. Their states and interactions were explored. The methods for integrating temporal and probabilistic elements into gameplay were discussed. The applicability of FAST-GM for game balancing, formal verification of game scenarios, and automated generation of test cases was analyzed. Its scalability and adaptability in various game genres were assessed. The results obtained show that FAST-GM should advance the formal modeling of game systems, equipping developers with a powerful toolset for analysis, verification, and optimization of game mechanics throughout the process of creating a video game.

Ключевые слова

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

Название журнала

UCHENYE ZAPISKI KAZANSKOGO UNIVERSITETA-SERIYA FIZIKO-MATEMATICHESKIE NAUKI

URL

https://uzakufismat.elpub.ru/jour/article/view/130

Пожалуйста, используйте этот идентификатор, чтобы цитировать или ссылаться на эту карточку

https://repository.kpfu.ru/?p_id=321051

Полная запись метаданных

Поле DC	Значение	Язык
dc.contributor.author	Кугуракова Влада Владимировна	ru_RU
dc.date.accessioned	2024-01-01T00:00:00Z	ru_RU
dc.date.available	2024-01-01T00:00:00Z	ru_RU
dc.date.issued	2024	ru_RU
dc.identifier.citation	Kugurakova VV, A Formal Approach to Spatio-Temp oral Modeling of Game Systems//UCHENYE ZAPISKI KAZANSKOGO UNIVERSITETA-SERIYA FIZIKO-MATEMATICHESKIE NAUKI. - 2024. - Vol.166, Is.4. - P.532-554.	ru_RU
dc.identifier.uri	https://repository.kpfu.ru/?p_id=321051	ru_RU
dc.description.abstract	UCHENYE ZAPISKI KAZANSKOGO UNIVERSITETA-SERIYA FIZIKO-MATEMATICHESKIE NAUKI	ru_RU
dc.description.abstract	This article introduces FAST-GM (Formal Approach to Spatio-Temporal Game Modeling), a new unified approach to formal modeling of game entities and their interactions that integrates temporal and probabilistic dimensions, thus offering a comprehensive framework for capturing the dynamics of game systems. Built upon the principles of extended temporal logic and probability theory, FAST-GM accurately describes complex game mechanics and how they evolve. A formal definition of game entities was considered. Their states and interactions were explored. The methods for integrating temporal and probabilistic elements into gameplay were discussed. The applicability of FAST-GM for game balancing, formal verification of game scenarios, and automated generation of test cases was analyzed. Its scalability and adaptability in various game genres were assessed. The results obtained show that FAST-GM should advance the formal modeling of game systems, equipping developers with a powerful toolset for analysis, verification, and optimization of game mechanics throughout the process of creating a video game.	ru_RU
dc.language.iso	ru	ru_RU
dc.subject	формальное моделирование	ru_RU
dc.subject	игровая сущность	ru_RU
dc.subject	взаимодействие в играх	ru_RU
dc.subject	темпоральная логика	ru_RU
dc.subject	вероятностная модель	ru_RU
dc.subject	анализ игрового баланса	ru_RU
dc.subject	верификация игровых сценариев	ru_RU
dc.subject	FAST-GM	ru_RU
dc.subject	game studies	ru_RU
dc.subject	геймдизайн	ru_RU
dc.title	A Formal Approach to Spatio-Temporal Modeling of Game Systems	ru_RU
dc.type	Статьи в зарубежных журналах и сборниках	ru_RU