Linear Logic Validation and Hierarchical Modeling for Interactive Storytelling Control - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2013

Linear Logic Validation and Hierarchical Modeling for Interactive Storytelling Control

Résumé

The games are typical interactive applications where the system has to react to user actions and behavior with respect to some predefined rules established by the designer. The storytelling allows the interactive system to unfold the scenario of the game story according to these inputs and constraints. In order to improve system's behavior, the scenario should be structured and the system's control should be validated. In this paper, we deal with these two issues. We first show how to validate Interactive Storytelling control using Linear Logic. Then we present "situation-based" hierarchical scenario structuring which allows the state space reduction.
Fichier principal
Vignette du fichier
dang.pdf (41.09 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-00915785 , version 1 (09-12-2013)

Identifiants

  • HAL Id : hal-00915785 , version 1

Citer

Kim Dung Dang, Phuong Thao Pham, Ronan Champagnat, Mourad Rabah. Linear Logic Validation and Hierarchical Modeling for Interactive Storytelling Control. 10th International Conference on Advances in Computer Entertainment Technology, Nov 2013, Netherlands. pp.524-527. ⟨hal-00915785⟩

Collections

L3I UNIV-ROCHELLE
96 Consultations
278 Téléchargements

Partager

Gmail Facebook X LinkedIn More