ICIDS 2011: Interactive Storytelling pp 249-260 | Cite as
How Authors Benefit from Linear Logic in the Authoring Process of Interactive Storyworlds
Conference paper
Abstract
We present a case study of interactive story creation, in which we applied a proof mechanism based on Linear Logic to the authoring process. After initial scenario modeling for dynamic plot generation based on planning, we used the mechanism in iterations of refinements to find possible problems within a huge possibility space of resulting discourses. We describe first results of our case study, discuss prospects and limitations and point out future work.
Keywords
Interactive Storytelling (IS) Authoring Planning Linear Logic Scenario Validation Proof GraphPreview
Unable to display preview. Download preview PDF.
References
- 1.Abrusci, V.M., Ruet, P.: Non-commutative logic I: The multiplicative fragment. Annals of Pure and Applied Logic 101, 29–64 (1999/2000)MathSciNetCrossRefMATHGoogle Scholar
- 2.Barros, L.M., Musse, S.R.: Planning algorithms for interactive storytelling. Computers in Entertainment 5(1) (2007)Google Scholar
- 3.Champagnat, R., Prigent, A., Estraillier, P.: Scenario building based on formal methods and adaptative execution. In: International Simulation and Gaming Association, ISAGA 2005, Atlanta, USA (2005)Google Scholar
- 4.Charles, F., Lozano, M., Mead, S.J., Bisquerra, A.F., Cavazza, M.: Planning Formalisms and Authoring in Interactive Storytelling. In: Proceedings of TIDSE 2003, Technologies for Interactive Digital Storytelling and Entertainment, ZGDV Computer Graphik Edition Band 9, pp. 216–225. Fraunhofer IRB Verlag, Stuttgart (2003)Google Scholar
- 5.Dang, K.D., Champagnat, R., Augeraud, M.: Modeling of Interactive Storytelling and Validation of Scenario by Means of Linear Logic. In: Aylett, R., Lim, M.Y., Louchart, S., Petta, P., Riedl, M.O. (eds.) ICIDS 2010. LNCS, vol. 6432, pp. 153–164. Springer, Heidelberg (2010)CrossRefGoogle Scholar
- 6.Fikes, R., Nilsson, N.: STRIPS: A new approach to the application of theorem proving to problem solving. Artificial Intelligence 2, 189–208 (1971)CrossRefMATHGoogle Scholar
- 7.Girard, J.-Y.: Linear Logic. Theoretical Computer Science 50(1), 1–101 (1987)MathSciNetCrossRefMATHGoogle Scholar
- 8.Hebert, L.: Tools for Text and Image Analysis: An Introduction to Applied Semiotics, Texto! (2006), http://www.revue-texto.net/Parutions/Livres-E/Hebert_AS/Hebert_Tools.html (last accessed September 13, 2011)
- 9.Hoffmann, S., Spierling, U., Struck, G.: A Practical Approach to Introduce Story Designers to Planning. In: Proceedings of GET 2011, IADIS International Conference Game and Entertainment Technologies, Rome (2011)Google Scholar
- 10.Indrzejczak, A.: Jaskowski and Gentzen approaches to natural deduction and related systems, pp. 253–264. The Lvov-Warsaw School and Contemporary Philosophy. Kluwer Academic Publishers, Printed in the Netherlands (1998)MATHGoogle Scholar
- 11.LaValle, S.M.: Planning Algorithms. Cambridge University Press, Cambridge (2006)CrossRefMATHGoogle Scholar
- 12.Kim, J., Blythe, J.: Supporting plan authoring and analysis. In: Proceedings of the 8th International Conference on Intelligent User Interfaces, pp. 109–116 (2003)Google Scholar
- 13.Kriegel, M., Aylett, R., Dias, J., Paiva, A.: An Authoring Tool for an Emergent Narrative Storytelling System. In: AAAI Fall, Symposium on Intelligent Narrative Technologies (2007)Google Scholar
- 14.Medler, B., Magerko, B.: Scribe: A Tool for Authoring Event Driven Interactive Drama. In: Göbel, S., Malkewitz, R., Iurgel, I. (eds.) TIDSE 2006. LNCS, vol. 4326, pp. 139–150. Springer, Heidelberg (2006)CrossRefGoogle Scholar
- 15.Pizzi, D., Cavazza, M.: From Debugging to Authoring: Adapting Productivity Tools to Narrative Content Description. In: Spierling, U., Szilas, N. (eds.) ICIDS 2008. LNCS, vol. 5334, pp. 285–296. Springer, Heidelberg (2008)CrossRefGoogle Scholar
- 16.Riedl, M.O.: Incorporating Authorial Intent into Generative Narrative Systems. In: Proceedings of the AAAI Spring Symposium on Intelligent Narrative Technologies II, Palo Alto, California (2009)Google Scholar
- 17.Russell, S., Norvig, P.: Artificial Intelligence – A Modern Approach, 2nd edn. Pearson Education International, Prentice Hall, Upper Saddle River, USA (2003)MATHGoogle Scholar
- 18.Skorupski, J.: Storyboard authoring of plan-based interactive dramas. In: Proceedings of the 4th International Conference on Foundations of Digital Games (FDG 2009), Orlando, USA (2009)Google Scholar
- 19.Spierling, U.: Adding Aspects of “Implicit Creation” to the Authoring Process in Interactive Storytelling. In: Cavazza, M., Donikian, S. (eds.) ICVS-VirtStory 2007. LNCS, vol. 4871, pp. 13–25. Springer, Heidelberg (2007)CrossRefGoogle Scholar
- 20.Swartjes, I., Theune, M.: Iterative Authoring Using Story Generation Feedback: Debugging or Co-creation? In: Iurgel, I.A., Zagalo, N., Petta, P. (eds.) ICIDS 2009. LNCS, vol. 5915, pp. 62–73. Springer, Heidelberg (2009)CrossRefGoogle Scholar
- 21.Thomas, J.M., Young, R.M.: Author in the Loop: Using Mixed-Initiative Planning to Improve Interactive Narrative. In: Workshop on AI Planning for Computer Games and Synthetic Characters (ICAPS 2006), Ambleside, The English Lake District, UK (2006)Google Scholar
- 22.Vega, L., Natkin, S.: A petri net model for the analysis of the ordering of actions in computer games. In: Proceedings of 4th Annual European GAME-ON Conference, London, United Kingdom (2003)Google Scholar
Copyright information
© Springer-Verlag Berlin Heidelberg 2011