A nondeterministic model for controlling the dramatization of interactive stories

ABSTRACT

This paper presents a new model to control the dramatization of interactive stories, which are dynamically generated and presented in a 3D animation format. This new model gives the possibility of variation in the representation of stories and allows some interference of the user over the story throughout the play, while assuring coherence and a smooth flow of the narrative. Moreover, the model guarantees that the events finish in the expected way and at the right time. The model is based on the representation of events by nondeterministic automata, which gives some autonomy to the actors in their micro-actions. In order to control the dramatization, policies are generated using an automated planning technique based on model checking. To validate the model, a prototype has been implemented to be incorporated into the interactive storytelling system Logtell

REFERENCES

• 1: Bertoli, P., Cimatti, A., Roveri, M. and Traverso, P. 2001. Planning in Nondeterministic Domains under Partial Observability via Symbolic Model Checking. In 17th International Joint Conferences on Artificial Intelligence, Washington, 473--478.
• 2: J. R. Burch , E. M. Clarke , K. L. McMillan , D. L. Dill , L. J. Hwang, Symbolic model checking: 1020 states and beyond, Information and Computation, v.98 n.2, p.142-170, June 1992 [doi>10.1016/0890-5401(92)90017-A]
• 3: Marc Cavazza , Fred Charles , Steven J. Mead, Character-Based Interactive Storytelling, IEEE Intelligent Systems, v.17 n.4, p.17-24, July 2002 [doi>10.1109/MIS.2002.1024747]
• 4: Ciarlini, A. E. M. 1999. Geração interativa de enredos. PhD thesis, Departamento de Informática, Pontifícia Universidade Católica do Rio de Janeiro, Rio de Janeiro.
• 5: Angelo E. M. Ciarlini , Cesar T. Pozzer , Antonio L. Furtado , Bruno Feijó, A logic-based tool for interactive generation and dramatization of stories, Proceedings of the 2005 ACM SIGCHI International Conference on Advances in computer entertainment technology, p.133-140, June 15-17, 2005, Valencia, Spain [doi>10.1145/1178477.1178495]
• 6: A. Cimatti , M. Pistore , M. Roveri , P. Traverso, Weak, strong, and strong cyclic planning via symbolic model checking, Artificial Intelligence, v.147 n.1-2, p.35-84, July 2003 [doi>10.1016/S0004-3702(02)00374-0]
• 7: Grasbon, D. and Braun, N. 2001. A morphological approach to interactive storytelling. In Proc. CAST01, Living in Mixed Realities. Special issue of Netzspannung.org/journal, the Magazine for Media Production and Inter-media Research, p. 337--340, Sankt Augustin, Germany.
• 8: John E. Hopcroft , Rajeev Motwani , Jeffrey D. Ullman, Introduction to Automata Theory, Languages, and Computation (3rd Edition), Addison-Wesley Longman Publishing Co., Inc., Boston, MA, 2006
• 9: Mateas, M. and Stern, A. 2000. Towards integrating plot and character for interactive drama. In Dautenhahn, K., editor, Socially Intelligent Agents: The Human in the Loop, AAAI Fall Symposium, Menlo Park, CA, 113--118. AAAI Press.
• 10: Propp, V. Morphology of the Folktale. 1968. Laurence Scott (trans.), Austin: University of Texas Press.
• 11: Mark Owen Riedl , R. Michael Young, An Intent-Driven Planner for Multi-Agent Story Generation, Proceedings of the Third International Joint Conference on Autonomous Agents and Multiagent Systems, p.186-193, July 19-23, 2004, New York, New York [doi>10.1109/AAMAS.2004.63]
• 12: Santos, G. L.: Máquinas de Estados Hieráquicas em Jogos Eletrônicos. 2004. MSc thesis, Departamento de Informática, Pontifícia Universidade Católica do Rio de Janeiro, Rio de Janeiro.
• 13: Tanaka, K. 1997. An Introduction to Fuzzy Logic for Practical Applications. Springer-Verlag, New York.

INDEX TERMS

Primary Classification:
  H. Information Systems
  H.5 INFORMATION INTERFACES AND PRESENTATION (I.7)
      H.5.2 User Interfaces (D.2.2, H.1.2, I.3.6)
          Subjects: Interaction styles (e.g., commands, menus, forms, direct manipulation)

Additional Classification:
  I. Computing Methodologies
  I.2 ARTIFICIAL INTELLIGENCE
      I.2.4 Knowledge Representation Formalisms and Methods
          Subjects: Temporal logic; Representation languages
      I.2.8 Problem Solving, Control Methods, and Search
  I.3 COMPUTER GRAPHICS
      I.3.2 Graphics Systems

General Terms:
Design, Languages, Theory

Keywords:
digital entertainment, interactive storytelling, model checking, planning