Guinot, M Tao (2023) Temporal Logic in Reinforcement Learning for Video Game Agents PRE - Projet de recherche, ENSTA.

Fichier(s) associé(s) à ce document :

[img]
Prévisualisation
PDF
447Kb
[img]
Prévisualisation
PDF
221Kb

Résumé

Le développement de jeux vidéo est devenu un processus long nécessitant la collaboration de nombreux professionnels sur un projet pendant plusieurs mois voire années. Dans ce contexte, la réutilisation des ressources est cruciale, non seulement pour rationaliser le processus, mais aussi pour apporter de la cohérence au produit final. Le problème se pose lorsque leurs comportements sont peaufinés pour répondre aux besoins d’un niveau spécifique, sans tenir compte du fait que ce changement peut altérer leurs performances sur les niveaux précédents déjà testés. Nous travaillons sur le développement d’outils de test automatisés pour les jeux vidéo utilisant des techniques d’intelligence artificielle. En particulier, nous nous intéressons au problème suivant : "étant donné une spécification de test dans un environnement de jeu vidéo (par exemple, avancer du point A au point B en vainquant un ennemi et en évitant la mort), former une politique capable de satisfaire cette spécification ainsi que des systèmes capables d’évaluer automatiquement cette satisfaisabilité à la fin d’une journée de développement afin de détecter d’éventuelles variations dans la jouabilité du niveau”. Ceci est contextualisé par la nécessité de maintenir une couverture de test de régression exhaustive de l’ensemble du jeu développé jusqu’`a présent, compte tenu du fait que, à mesure que le jeu grandit, le déploiement de testeurs humains pour vérifier régulièrement que tout ce qui fonctionnait auparavant continue de fonctionner comme prévu devient exponentiellement coûteux.

Type de document:Rapport ou mémoire (PRE - Projet de recherche)
Mots-clés libres:Automated game testing, game-playing AI, reinforcement learning, temporal logics, regression testing, automaton
Sujets:Sciences et technologies de l'information et de la communication
Mathématiques et leurs applications
Code ID :9471
Déposé par :Tao GUINOT
Déposé le :23 août 2023 10:42
Dernière modification:23 août 2023 10:42

Modifier les métadonnées de ce document.