A formal approach to spatio-temporal modeling of game systems

V. V. Kugurakova

Učënye zapiski Kazanskogo universiteta. Seriâ Fiziko-matematičeskie nauki, Uchenye Zapiski Kazanskogo Universiteta. Seriya Fiziko-Matematicheskie Nauki, Tome 166 (2024) no. 4, pp. 532-554

Résumé

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.

Détail

Keywords: formal modeling, game entity, game interaction, temporal logic, probabilistic model, game balance analysis, game scenario verification, FAST-GM, game studies, game design.

Bibliographie

[1] Sahibgareeva G.F., Kugurakova V.V., Bolshakov E.S., “Video game's mechanics generation and balancing”, Scientific Service Internet, Proc. XXIV All-Russ. Sci. Conf. (September 19–22, 2022, Online), IPM im. M.V. Keldysha, Moscow, 2022, 455–485 (In Russian) | DOI

[2] Sahibgareeva G.F., Kugurakova V.V., “Game balance practices”, Program. Sist.: Teor. Prilozh., 13:3 (2022), 255–273 (In Russian) | DOI

[3] Nurlygaianov N.R., Kugurakova V.V., “A new approach to creating a corpus of video game texts”, Elektron. Bibl., 27:4 (2024), 587–597 (In Russian) | DOI

[4] Levenchuk A., Systems Thinking, v. 1, Ridero, Yekaterinburg, 2024, 412 pp. (In Russian)

[5] Aarseth E., “Computer game studies, year one”, Game Stud., 1:1 (2001)

[6] Juul J., Half-Real: Video Games between Real Rules and Fictional Worlds, MIT Press, Cambridge, MA, 2005, 248 pp.

[7] Mateas M., Stern A., “Structuring content in the fa\c{c ade} interactive drama architecture”, Proc. Artif. Intell. Interact. Digital Entertainment Conf., 1:1 (2005), 93–98 | DOI

[8] Nelson M.J., Mateas M., “Towards a formal game grammar”, Proc. 6th Int. Conf. on Cognitive Modeling, 2008, 137–143

[9] Zagal J.P., Mateas M., Fernández-Vara C., Hochhalter B., Lichti N., “Towards an ontological language for game analysis”, Proc. DiGRA 2005 Conf.: Changing Views – Worlds in Play, DiGRA, Tampere, 2005, 1–13

[10] Cook D., The chemistry of game design, Game Developer, , 2007 https://www.gamedeveloper.com/design/the-chemistry-of-game-design

[11] Björk S., Holopainen J., Patterns in Game Design, Game Development Series, Charles River Media, Hingham, MA, 2005, xvii+423 pp.

[12] Brogi A., Canciani A., Soldani J., Wang P., “A Petri net-nased approach to model and analyze the management of cloud applications”, Transactions on Petri Nets and Other Models of Concurrency XI, Lecture Notes in Computer Science, eds. Koutny M., Desel J., Kleijn J., Springer, Berlin–Heidelberg, 2016, 28–48 | DOI

[13] Grünvogel S.M., “Formal models and game design”, Game Stud., 5:1 (2005)

[14] Rakhmankulova V., Kugurakova V., “Developing an online tool for balancing video games”, Proc. Int. Conf. on Simplicity and Complexity in SMART Automatics and Energy Systems, SMART-SYSTEMS, 2024, 1–6

[15] Pnueli A., “The temporal logic of programs”, Proc. 18th Annu. Symp. on Foundations of Computer Science, SFCS 1977, IEEE, Providence, RI, 1977, 46–57 | DOI

[16] Ross S.M., Introduction to Probability Models, 12th ed., Acad. Press, 2019, 842 pp. | DOI

[17] Hansson H., Jonsson B., “A logic for reasoning about time and reliability”, Formal Aspects Comput., 6:5 (1994), 512–535 | DOI

[18] Apperley T.H., “Genre and game studies: Toward a critical approach to video game genres”, Simul. Gaming, 37:1 (2006), 6–23 | DOI

[19] Nilsson N.J., “Probabilistic logic”, Artif. Intell., 28:1 (1986), 71–87 | DOI

[20] Fagin R., Halpern J.Y., Megiddo N., “A logic for reasoning about probabilities”, Inf. Comput., 87:1–2 (1990), 78–128 | DOI

[21] Sistla A.P., Clarke E.M., “The complexity of propositional linear temporal logics”, J. ACM, 32:3 (1985), 733–749 | DOI

[22] Papadimitriou C.H., “Games against nature”, J. Comput. Syst. Sci., 31:2 (1985), 288–301 | DOI

[23] Biere A., Cimatti A., Clarke E., Zhu Y., “Symbolic model checking without BDDs”, Tools and Algorithms for the Construction and Analysis of Systems (TACAS'99), Proc. 5th Int. Conf., Lecture Notes in Computer Science, 1579, ed. Cleaveland W.R., Springer, Berlin–Heidelberg, 1999, 193–207 | DOI

[24] Biere A., Heljanko K., Junttila T., Latvala T., Schuppan V., “Linear encodings of bounded LTL model checking”, Logical Methods Comput. Sci., 2:5 (2006), 1–64 | DOI

[25] Henriques D., Martins J.G., Zuliani P., Platzer A., Clarke E.M., “Statistical model checking for Markov decision processes”, Proc. 2012 9th Int. Conf. on Quantitative Evaluation of Systems, IEEE, London, 2012, 84–93 | DOI