skip to main content
10.1145/1178477.1178583acmotherconferencesArticle/Chapter ViewAbstractPublication PagesesemConference Proceedingsconference-collections
Article

Scenario analysis based on linear logic

Published: 15 June 2005 Publication History

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]
J.-Y. Girard. Linear logic. Theoretical Computer Science, 50:1--102, 1987.
[6]
M. I. Kanovich. Petri nets, Horn programs, linear logic, and vector games. In M. Hagiya and J. Mitchell, editors, Proceedings of the International Symposium Theoretical Aspects of Computer Software TACS'94, pages 642--666, Sendai, Japan, Apr. 1994. Springer-Verlag LNCS 789.
[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]
M. Mateas. Interactive drama, art, and artificial intelligence. Ph.d. thesis, Carnegie Mellon University (School of Computer Science), Pittsburg (USA), Dec. 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, and L. Künzle. Scenario durations characterization of t-timed petri nets using linear. In PNPM'PP (Petri Nets Performance Modeling), Zaragoza (Espagne), Sept. 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.

Cited By

View all
  • (2019)Timing Interactive Narratives2019 IEEE Conference on Games (CoG)10.1109/CIG.2019.8847967(1-8)Online publication date: Aug-2019
  • (2011)Structural analysis of narratives with the Coq proof assistantProceedings of the Second international conference on Interactive theorem proving10.5555/2033939.2033948(55-70)Online publication date: 22-Aug-2011
  • (2010)Linear Logic for Non-Linear StorytellingProceedings of the 2010 conference on ECAI 2010: 19th European Conference on Artificial Intelligence10.5555/1860967.1861107(713-718)Online publication date: 4-Aug-2010
  • Show More Cited By

Recommendations

Comments

Information & Contributors

Information

Published In

cover image ACM Other conferences
ACE '05: Proceedings of the 2005 ACM SIGCHI International Conference on Advances in computer entertainment technology
June 2005
511 pages
ISBN:1595931104
DOI:10.1145/1178477
Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 15 June 2005

Permissions

Request permissions for this article.

Check for updates

Author Tags

  1. game analysis
  2. linear logic
  3. narratives

Qualifiers

  • Article

Conference

ACE05

Acceptance Rates

Overall Acceptance Rate 36 of 90 submissions, 40%

Contributors

Other Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

  • Downloads (Last 12 months)3
  • Downloads (Last 6 weeks)3
Reflects downloads up to 16 Feb 2025

Other Metrics

Citations

Cited By

View all
  • (2019)Timing Interactive Narratives2019 IEEE Conference on Games (CoG)10.1109/CIG.2019.8847967(1-8)Online publication date: Aug-2019
  • (2011)Structural analysis of narratives with the Coq proof assistantProceedings of the Second international conference on Interactive theorem proving10.5555/2033939.2033948(55-70)Online publication date: 22-Aug-2011
  • (2010)Linear Logic for Non-Linear StorytellingProceedings of the 2010 conference on ECAI 2010: 19th European Conference on Artificial Intelligence10.5555/1860967.1861107(713-718)Online publication date: 4-Aug-2010
  • (2010)Automatic Generation of Game Level Solutions as StoryboardsIEEE Transactions on Computational Intelligence and AI in Games10.1109/TCIAIG.2010.20700662:3(149-161)Online publication date: Sep-2010

View Options

Login options

View options

PDF

View or Download as a PDF file.

PDF

eReader

View online with eReader.

eReader

Figures

Tables

Media

Share

Share

Share this Publication link

Share on social media