Scenario analysis based on linear logic

ABSTRACT

This paper deals with game analysis. We begin by the proposal of a terminology relevant to game scenario. Then, we propose an approach dedicated to analyze game scenarii. This approach consists in expressing a scenario by using a fragment of linear logic. This model is then translated into a Petri net model. This model allows us to generate the possible narratives for the given scenario that are at last analyzed. Morever, in addition to usual provable properties such as liveness and safety properties, we propose a new class of properties establishing conclusions with respect to the scenario relevance.

REFERENCES

• 1: A. Arnold. Systèmes de transitions finis et sémantique des processus communicants. Masson, 1992.
• 2: R. Aylett and S. Louchart. Towards a narrative theory of virtual reality. Virtual Reality, special issue on storytelling, 7, 2004.
• 3: R. Champagnat. Optimisation d'une séquence de franchissement de transitions dans un réseau de petri t-temporisé. In Y. Dallery, J. Hennet, and P. Lopez, editors, MOSIM'O3 (MOdélisation et SIMulation), pages 94--100, Toulouse (France), Apr. 2003.
• 4: F. Charles, M. Lozano, S. J. Mead, A. F. Bisquerra, and M. Cavazza. Planning formalisms and authoring in interactive storytelling. In 1st international conference on technologies for interactive digital storytelling and entertainment, Darmstadt (Germany), 2003.
• 5: Jean-Yves Girard, Linear logic, Theoretical Computer Science, v.50 n.1, p.1-102, Jan. 30, 1987 [doi>10.1016/0304-3975(87)90045-4]
• 6: Max I. Kanovich, Petri Nets, Horn Programs, Linear Logic, and Vector Games, Proceedings of the International Conference on Theoretical Aspects of Computer Software, p.642-666, April 19-22, 1994
• 7: J. Küngas. Using linear logic planning to make knowledge bases reactive. In Seventh Symposium on Programming Languages and Software Tools, pages 135--148, Szeged (Hungary), June 2001.
• 8: C. Lindley. The gameplay gestalt, narrative, and interactive storytelling. In Computer games and digital cultures, Tampere (Finland), June 2002.
• 9: S. Louchart and R. Aylett. The emergent narrative theoretical investigation. In Narrative and learning environments conference NILE, pages 24--33, Edinburgh (Scotland), 2004.
• 10: B. Magerko and J. Laird. Building an interactive drama architecture. In 1st international conference on technologies for interactive digital storytelling and entertainment, Darmstadt (Germany), Mar. 2003.
• 11: Michael Mateas , Joseph Bates , Jaime Carbonell, Interactive drama, art and artificial intelligence, 2002
• 12: S. Natkin. Jeux vidéos et médias du XXI siècle. Ed. Vuibert, Paris, 2004.
• 13: S. Natkin and L. Vega. A petri net model for the analysis of the ordering of actions in computer games. In Proceedings of GAME'ON 2003, 2003.
• 14: B. Pradin-Chezalviel , R. Valette , L. A. Kunzle, Scenario Durations Characterization of T-Timed Petri Nets Using Linear Logic, Proceedings of the The 8th International Workshop on Petri Nets and Performance Models, p.208, September 08-10, 1999
• 15: M. Riedl and R. Young. Character-focused narrative planning. Submitted to Virtual Reality 2003, 2003.
• 16: N. Szilas. Interactive drama on computer: beyond linear narrative. In AAAI Fall symposium on narrative intelligence, pages 150--156, 1999.
• 17: T. Tammet. Proof strategies in linear logic. Journal of Automated Reasoning, 12:273--304, 1994. Also available as Programming Methodology Group Report 70, Chalmers University, 1993.
• 18: R. Young. Story and discourse: a bipartite model of narrative generation in virtual worlds. Submitted to Virtual Reality 2003, 2003.

INDEX TERMS

Keywords:
game analysis, linear logic, narratives