Telling non-linear stories with interval temporal logic

Matt Thompson, Steve Battle, Julian Padget

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Abstract

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 themodel 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.

Original languageEnglish
Title of host publicationInteractive Storytelling
Subtitle of host publication8th International Conference on Interactive Digital Storytelling, ICIDS 2015, Copenhagen, Denmark, November 30 - December 4, 2015, Proceedings
EditorsH. Shoenau-Fog, L. E. Bruni, S. Louchart, S. Baceviciute
Place of PublicationSwitzerland
PublisherSpringer
Pages370-373
Number of pages4
ISBN (Print)9783319270357
DOIs
Publication statusPublished - 11 Dec 2015
Event8th International Conference on Interactive Digital Storytelling, ICIDS 2015 - Copenhagen, Denmark
Duration: 30 Nov 20154 Dec 2015

Publication series

NameLecture Notes in Computer Science
Volume9445

Conference

Conference8th International Conference on Interactive Digital Storytelling, ICIDS 2015
CountryDenmark
CityCopenhagen
Period30/11/154/12/15

Keywords

  • Interactive narrative
  • Interval temporal logic
  • Kripke structures
  • Modal logic
  • Model checking

Fingerprint Dive into the research topics of 'Telling non-linear stories with interval temporal logic'. Together they form a unique fingerprint.

Cite this