Abstract
In this paper we propose a new plot composition method based on situation calculus and Petri net models, which are applied, in a complementary fashion, to a narrative open to user co-authorship. The method starts with the specification of situation calculus schemas, which allow a planning algorithm to check if the specification covers the desired cases. A Petri net is then automatically derived from the schemas in a second phase, guiding interactive plot generation and dramatization. The applicability of the proposed method is validated through the implementation of an interactive storytelling system capable of representing the generated Petri net models using 2D graphics and animations.
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
Similar content being viewed by others
Notes
- 1.
A complete description of the static and dynamic schemas used in this example is available at: http://www.icad.puc-rio.br/~logtell/petri-net/schemas-trial-by-combat.pdf.
- 2.
A comprehensive and still useful classic survey of the Petri net formalism is provided in [21].
- 3.
Lua is a well-known programming language developed at the Pontifical Catholic University of Rio de Janeiro, Brazil (http://www.lua.org/).
- 4.
References
Aalst, W.V.D.: Process mining. Commun. ACM 55(8), 76–83 (2012). https://doi.org/10.1145/2240236.2240257
Agostinelli, S., Maggi, F.M., Marrella, A., Mecella, M.: Verifying petri net-based process models using automated planning. In: Proceedings of the 2019 IEEE 23rd International Enterprise Distributed Object Computing Workshop (EDOCW), pp. 44–53. IEEE Press, New York (2019). https://doi.org/10.1109/EDOCW.2019.00021
Balas, D., Brom, C., Abonyi, A., Gemrot, J.: Hierarchical petri nets for story plots featuring virtual humans. In: Proceedings of the Fourth AAAI Conference on Artificial Intelligence and Interactive Digital Entertainment (AIIDE’08), pp. 2–9. AAAI Press, Menlo Park (2008)
Brom, C., Abonyi, A.: Petri-nets for game plot. In: Proceedings of AISB Artificial Intelligence and Simulation Behaviour Convention 3, pp. 6–13 (2006)
Ciarlini, A.E.M., Barbosa, S.D.J., Casanova, M.A., Furtado, A.L.: Event relations in plan-based plot composition. Computers in Entertainment 7(4), 55 (2009). https://doi.org/10.1145/1658866.1658874
Ciarlini, A.E.M., Casanova, M.A., Furtado, A.L., Veloso, P.A.S.: Modeling interactive storytelling genres as application domains. J. Intelligent Inf. Systems 35(3), 347–381 (2010). https://doi.org/10.1007/s10844-009-0108-5
Ciarlini, A.E.M., Pozzer, C.T., Furtado, A.L., Feijó, B.: A logic-based tool for interactive generation and dramatization of stories. In: Proceedings of the International Conference on Advances in Computer Entertainment Technology (ACE 2005), pp. 133–140. ACM Press, New York (2005). https://doi.org/10.1145/1178477.1178495
Eco, U.: The Open Work. Harvard University Press, Cambridge (1989)
El-Sattar, H.K.H.A.: A new framework for plot-based interactive storytelling generation. In: Proceedings of the 2008 Fifth International Conference on Computer Graphics, Imaging and Visualisation, pp. 317–322. IEEE Press, New York (2008). https://doi.org/10.1109/CGIV.2008.50
Fernandes, A., Ciarlini, A.E.M., Furtado, A.L., Hinchey, M.G., Casanova, M.A., Breitman, K.K.: Adding flexibility to workflows through incremental planning. Innovations Syst. Softw. Eng. 3(4), 291–302 (2007). https://doi.org/10.1007/s11334-007-0035-y
Fikes, R.E., Nilsson, N.J.: A new approach to the application of theorem proving to problem solving. Artif. Intell. 2(3–4), 189–208 (1971). https://doi.org/10.1016/0004-3702(71)90010-5
Gheno, F., Lima, E.S.: História viva: a sketch-based interactive storytelling system. In: Proceedings of the XX Brazilian Symposium on Computer Games and Digital Entertainment (SBGames 2021), pp. 116–125. SBC, Porto Alegre (2021)
Hickmott, S., Rintanen, J., Thiebaux, S., White, L.: Planning via petri net unfolding. In: Proceedings of the 20th International Joint Conference on Artificial intelligence, pp. 1904–1911. AAAI Press, Menlo Park (2007)
Kindler, E., Rubin, V., Schäfer, W.: Process mining and petri net synthesis. In: Eder, J., Dustdar, S. (eds.) BPM 2006. LNCS, vol. 4103, pp. 105–116. Springer, Heidelberg (2006). https://doi.org/10.1007/11837862_12
Kowalski, R., Sadri, F.: Reconciling the event calculus with the situation calculus. J. Logic Programming 31(1–3), 39–58 (1997)
Lebowitz, J., Klug, C.: Interactive Storytelling for Video Games: A Player-Centered Approach to Creating Memorable Characters and Stories. Focal Press, Waltham (2011)
Lee, Y.-S., Cho, S.-B.: Dynamic quest plot generation using Petri net planning. In: Proceedings of the Workshop at SIGGRAPH Asia (WASA ‘12), pp. 47–52. ACM Press, New York (2012). https://doi.org/10.1145/2425296.2425304
de Lima, E.S., Feijó, B., Furtado, A.L.: Video-based interactive storytelling using real-time video compositing techniques. Multimedia Tools Appl. 77(2), 2333–2357 (2017). https://doi.org/10.1007/s11042-017-4423-5
Lima, E.S., Furtado, A.L., Feijó, B., Casanova, M.A.: A note on process modelling: combining situation calculus with petri nets. Technical Report 01/2022, Department of Informatics, PUC-RIO, Rio de Janeiro (2022). https://doi.org/10.17771/PUCRio.DImcc.59758
Lima, E.S., Gheno, F., Viseu, A.: Sketch-based interaction for planning-based interactive storytelling. In: Proceedings of the XIX Brazilian Symposium on Computer Games and Digital Entertainment (SBGames 2020), pp. 348–356. IEEE Press, New York (2020). https://doi.org/10.1109/SBGames51465.2020.00029
Peterson, J.L.: Petri nets. ACM Comput. Surv. 9(3), 223–252 (1977). https://doi.org/10.1145/356698.356702
Peterson, J.L.: Petri Net Theory and the Modeling of Systems. Prentice Hall, Upper Saddle River (1981)
Riedl, M., Li, B., Ai, H., Ram, A.: Robust and authorable multiplayer storytelling experiences. In: Proceedings of the Seventh AAAI Conference on Artificial Intelligence and Interactive Digital Entertainment (AIIDE’11), pp. 189–194. AAAI Press, Menlo Park (2011)
Tan, X.: SCOPE: A situation calculus ontology of Petri Nets. In: Proceedings of 6th International Conference of Formal Ontology in Information Systems, Toronto, Canada, pp. 227–240 (2010)
Ziparo, V.A., Iocchi, L., Nardi, D., Palamara, P.F., Costelha, H.: Petri net plans - a formal model for representation and execution of multi-robot plans. In: Proceedings of the 7th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2008), pp. 79–86 (2008)
Acknowledgements
We want to thank CNPq (National Council for Scientific and Technological Development) and FINEP (Funding Agency for Studies and Projects), which belong to the Ministry of Science, Technology, and Innovation of Brazil, for the financial support.
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2022 IFIP International Federation for Information Processing
About this paper
Cite this paper
de Lima, E.S., Furtado, A.L., Feijó, B., Casanova, M.A. (2022). Plot Composition by Mapping Situation Calculus Schemas into Petri Net Representation. In: Göbl, B., van der Spek, E., Baalsrud Hauge, J., McCall, R. (eds) Entertainment Computing – ICEC 2022. ICEC 2022. Lecture Notes in Computer Science, vol 13477. Springer, Cham. https://doi.org/10.1007/978-3-031-20212-4_5
Download citation
DOI: https://doi.org/10.1007/978-3-031-20212-4_5
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-031-20211-7
Online ISBN: 978-3-031-20212-4
eBook Packages: Computer ScienceComputer Science (R0)
