Telling non-linear stories with interval temporal logic

Thompson, M, Battle, S and Padget, J (2015) 'Telling non-linear stories with interval temporal logic.' In: Schoenau-Fog, H, Bruni, L, Louchart, S and Baceviciute, S, eds. Interactive storytelling. ICIDS 2015. Lecture notes in computer science (9445). Springer, Cham, pp. 370-373. ISBN 9783319270357

8218.pdf - Accepted Version
Repository Terms Apply.

Download (473kB) | Preview
Official URL:


Authoring a consistent interactive narrative is difficult without exhaustively specifying all possible deviations from the main path of a story. When automatically generating new story paths, it is important to be able to check these paths for consistency with the narrative world. We present a method of describing the structure of a story as a Kripke structure using Interval Temporal Logic. This allows the model checking of each possible telling of the narrative for consistency with the story world, as well as the ability to construct re-usable story components at different levels of abstraction. This is the first step towards building a fully checkable framework for building story components using modal logic.

Item Type: Book Chapter or Section
Keywords: interactive narrative, model checking, modal logic, interval temporal logic, Kripke structures
Divisions: Bath School of Design
Date Deposited: 05 Apr 2018 11:02
Last Modified: 07 Jan 2022 19:34
URI / Page ID:
Request a change to this item or report an issue Request a change to this item or report an issue
Update item (repository staff only) Update item (repository staff only)