Scenario analysis based on linear logic

Authors:
Frédéric Collé;Ronan Champagnat;Armelle Prigent
Affiliations:
Université de La Rochelle, Av M. Crépeau, LA, Rochelle;Université de La Rochelle, Av M. Crépeau, LA, Rochelle;Université de La Rochelle, Av M. Crépeau, LA, Rochelle
Venue:
Proceedings of the 2005 ACM SIGCHI International Conference on Advances in computer entertainment technology
Year:
2005

Citing 4
Cited 2

Linear logic

Theoretical Computer Science
Petri Nets, Horn Programs, Linear Logic, and Vector Games

TACS '94 Proceedings of the International Conference on Theoretical Aspects of Computer Software
Scenario Durations Characterization of T-Timed Petri Nets Using Linear Logic

PNPM '99 Proceedings of the The 8th International Workshop on Petri Nets and Performance Models
Interactive drama, art and artificial intelligence

Interactive drama, art and artificial intelligence

Linear Logic for Non-Linear Storytelling

Proceedings of the 2010 conference on ECAI 2010: 19th European Conference on Artificial Intelligence
Structural analysis of narratives with the Coq proof assistant

ITP'11 Proceedings of the Second international conference on Interactive theorem proving

Quantified Score

Hi-index	0.00

Visualization

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.