(P)Nfg: A language and runtime system for structured computer narratives

1st International North-American Conference on Intelligent Games and Simulation, Game-On 'NA 2005

Volumn , Issue , 2005, Pages 23-32

  Pickett, Christopher J F ^a   Verbrugge, Clark ^a   Martineau, Felix ^a  

^a MCGILL UNIVERSITY   (Canada)

Author keywords

Compilers; Computer Games; Formal Verification; Interactive Fiction; Interpreters; Languages; Narratives; Petri Nets

Indexed keywords

COMPUTER GAMES; MODEL CHECKING; PETRI NETS; PROGRAM COMPILERS; PROGRAM INTERPRETERS; QUERY LANGUAGES;

DESIGN AND ANALYSIS; FORMAL VERIFICATIONS; INTERACTIVE FICTION; LOGICAL CONSISTENCY; LOW LEVEL REPRESENTATION; NARRATIVES; STATE OF THE ART; SYSTEMATIC ANALYSIS;

QUALITY CONTROL;

EID: 78049424188     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (43)

1. Adams, E. (1998-2005). The designer's notebook: Bad game designer, no twinkie! parts I-VT. .
2. Adams, S. (1981). The Count. Adventure International. http: / /www . msadams . corn.
3. Arnold, J., Baggett, D., Clements, M., Russoto, M. T., Newland, J., Plotkin, A. C., and Shiovitz, D. (1995). Game design in general. Discussion thread in rec . arts. mt fiction archives.
4. Barnett, D. (1993). Return to Zork. Activision Publishing, Inc.
5. Bobbio, A. and Horváth, A. (2001). Model checking time petri nets using NuSMV. In Proceedings of the 5th International Workshop on Per- formability Modeling of Computer and Communication System (PMCC'05), Erlaiigen, Germany. Extended abstract
6. Brooks, K. M. (1996). Do story agents use rocking chairs? The theory and implementation of one model for computational narrative. In Proceedings of the fourth ACM International Conference on Multimedia, pages 317 328
7. Bryant, R. E. (1992). Symbolic boolean manipulation with ordered binary-decision diagrams. ACM Comput. Surv. 24(3):293-318.
8. Burg, J., Boyle, A., and Lang, S.-D. (2000). Using constraint logic programming to analyze the chronology in "A rose for Emily". Computers and the Humanities, 34(4):377-392.
9. Charles, F., Mead, S. J., and Caazza, M. (2002). Generating dynamic storylines thiough characters' interactions. International Journal of Intelligent Ga;nes&Simulation, l(t):5 II.
10. Ciardo, G 2004 Reachability set generation for petri nets Can brute force be smart? Tn Proceedingc of Applications Theory of Fetri Netc 2004: 25th International Conference (ICATFN'04 of LNCS, Bologna, Italy. Springer 3099 17-34
11. Cimatti, A., Clarke, E., Giunchiglia, E., Giunchiglia, F., Pistore, M., Roved, M., Sebastiani, R., and Tacchella, A. (2002). NuSMV version 2: An opensource tool for symbolic model checking. Tn Proc. International Conference on Computer-Aided Verification (CAV 2002 volume 2404 of LNCS, 359-364, Copenhagen, Denmark. Springer- Verlag.
12. Eladhari, M. (2002). Object oriented story construction in story driven computer games. Master's thesis, Stockholm University.
13. Esparza, J. (1998). Decidability and complexity of petri net problems-an introduction. In Lectures on Fetri Nets I: Back Models, volume 1491 of LNCS, pages 374-428. Springer-Verlag.
14. Eve, E. (2005). Getting Started in TADS 3: A Beginner'c Guide, version 3.0.8. http //tads . org.
15. [Firth, 1999] Firth, R. (1999). Cloak of darkness. http: //www. firthworks .com/roger/cloak!.
16. Forman, C. E. (1997). Game desigii at the drawing board. XYZZY News, 4:5-11.
17. Gansner, E. R. and North, S. C. (1999). An open graph visualization system and its applications to software engineering. Software-Practice and Experience, 30(11): 1203 1233.
18. Heiner, M. and Menzel, T. (1998). A petri net semantics for the PLC language instruction list. Tn Proceedings of the Fourth Workshop on Discrete Event Systems (WoDES'98), pages 161-172, Cagliari, Italy.
19. Hutchings, Ci. (2004). IFM: Interactive Fiction Mappet; vercion 5.1 manual. http: //www - sentex . neL/dchapes/ifm/.
20. Kakas, A. C. and Miller, R. (1997). A simple declarative language for describing narratives with actions. Journal of Logic Programming, 31(1 - 3): 157-200.
21. Kinder, D., Granade, S., Blasius, V., and Baggett, D. M. (2005). The interactive fiction archive. .
22. Lebling, P. D., Blank, M. S., and Anderson, T. A. (1979). Zork: A computerized fantasy simulation game. IEEE Computer, 12(4):51 59.
23. Mateas, M. (1997). An Oz-centric review of interactive drama and believable agents. Technical Report CMU-CS-97-156, School of Computer Science, Carnegie Mellon University.
24. Merritt, D. (1996). Adventure in Prolog. Amzi! Inc., 5861 Greentree Road, Lebanon, Ohio 45036 USA.
25. Merritt, D. (2004). AIFT: Amzi! Interacfive Fiction Toolkit. http://www.ainewsletter. corn/downloads/if docs/.
26. Montfort, N. (2003). Twisty Little Pascages. The MIT Press.
27. Natkin, S. and Vega, L. (2004). A petri net model for computer games analysis. International Journal of Intelligent Games & Simulation, 3( 1): 37-44.
28. Nelson, G. (2001). The Inform Designer's Manual. The Interactive Fiction Library, P0 Box 3304, St Charles, Illinois 60174, USA, 4th edition.
29. Nilsson, T. and Forslund, 0. (2005). The ALAN Adventure Language, vercion 3.Odev36 manual. http: //www.alanf - Se.
30. Pastor, E., Cortadella, J., and Roig, 0. (2001). Symbolic analysis of bounded petri nets. IEEE Trancactionc on Computers, 50(5):432-448.
31. Purvis, M. K. (2004). Narrative structures for multi-agent interaction. In 2004 IEEE! WIC/ACM International Conference on Intelligent Agent Technology (JAT 2004), pages 232-238, Beijing. China. IEEE Computer Society.
32. Reiter, R. (2000). Narratives as programs. In Cohn, A. G., Giunchiglia, F, and Selman, B., editors, KR2000: Principles of Knowledge Representation and Reasoning, pages 99 108, San Francisco. Morgan Kaufmann.
33. Roberts, M. J. (1987 2005). TADS: The Text Adventure Development System. lit tp: / / Lads. org.
34. Spear, P. (1994). Return to Zork - The Official Guide to the Great Underground Empire. BradyGames.
35. Stotts, P. D. and Furuta, R. (1989). Petri-net-based hypertext: document structure with browsing semantics. AM Transactions on Information Systems (TOTh), 7(I):3 29.
36. Tessman, K. (2004). The Hugo Book Hugo: An Interactive Fiction Design System. The General Coffee Company Film Productions, Toronto, Canada, 1st edition. hbtp: //www . generalcotfee - corn.
37. van der Aalst, W. (2002). Workflow Management: Models, Methodc, and Systems (Cooperative Information Syctems). The MIT Press.
38. Vega, L., Grünvogel, S. M., and Natkin, 5. (2004). A new methodology for spatiotemporal game design. In Proceedings of the CGAIDE'2004, Fifth Game- On International Conference on Computer Gamec: Artificial Intelligence, Design and Education, pages 109-113.
39. Verbrugge, C. (2002). A structure for modem computer narratives. In CG'2002: International Conference on Computerc and Games, volume 2883 of LNCS,pages308 325.
40. Warren, A. (2004). Quest Documentation, version 3.51. Axe Software. ht tp: / /www. axeuk. corn/quest/.
41. Wild, C. (2003). ADRIFT. Adventure Development & Runner-Interactive Fiction Toolkit, version 4.0 manual. http://www.adrift.org uk.
42. Young, R. M. (2005). Cognitive and computational models in interactive narrative. In Forsythe, C., Bernard, M. L., and Goldsmith, T. E., editors, Cognitive Systems: Human Cognitive Models in Systems Design. Lawrence Erlbaum. To appear
43. Ziaei, R. and Agha, G. (2003). SynchNet: A petri net based coordination language for distributed objects. In GFCE'03: Proceedings of the second international conference on Generative programming and component engineering, volume 2830 of I.NCS, pages 324-343.