Scenario analysis based on linear logic

Frédéric Collé, Ronan Champagnat, Armelle Prigent
2005 Proceedings of the 2005 ACM SIGCHI International Conference on Advances in computer entertainment technology - ACE '05  
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. Linear logic facilitates the creation of the model: in the case of a complex
more » ... io, the Petri net is difficult to build. However, we use the Petri net as an operational model. 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.
doi:10.1145/1178477.1178583 dblp:conf/ACMace/ColleCP05 fatcat:f53tbd3bo5gvdcyw4paljekr3i