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.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Abrusci, V.M., Ruet, P.: Non-commutative logic I: The multiplicative fragment. Annals of Pure and Applied Logic 101, 29–64 (1999/2000)
Barros, L.M., Musse, S.R.: Planning algorithms for interactive storytelling. Computers in Entertainment 5(1) (2007)
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)
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)
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)
Fikes, R., Nilsson, N.: STRIPS: A new approach to the application of theorem proving to problem solving. Artificial Intelligence 2, 189–208 (1971)
Girard, J.-Y.: Linear Logic. Theoretical Computer Science 50(1), 1–101 (1987)
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)
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)
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)
LaValle, S.M.: Planning Algorithms. Cambridge University Press, Cambridge (2006)
Kim, J., Blythe, J.: Supporting plan authoring and analysis. In: Proceedings of the 8th International Conference on Intelligent User Interfaces, pp. 109–116 (2003)
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)
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)
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)
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)
Russell, S., Norvig, P.: Artificial Intelligence – A Modern Approach, 2nd edn. Pearson Education International, Prentice Hall, Upper Saddle River, USA (2003)
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)
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)
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)
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)
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)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2011 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Dang, K.D., Hoffmann, S., Champagnat, R., Spierling, U. (2011). How Authors Benefit from Linear Logic in the Authoring Process of Interactive Storyworlds. In: Si, M., Thue, D., André, E., Lester, J.C., Tanenbaum, T.J., Zammitto, V. (eds) Interactive Storytelling. ICIDS 2011. Lecture Notes in Computer Science, vol 7069. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-25289-1_27
Download citation
DOI: https://doi.org/10.1007/978-3-642-25289-1_27
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-25288-4
Online ISBN: 978-3-642-25289-1
eBook Packages: Computer ScienceComputer Science (R0)