Plot Composition by Mapping Situation Calculus Schemas into Petri Net Representation.

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.