Skip to main content

Research Repository

Advanced Search

Telling non-linear stories with interval temporal logic

Thompson, Matt; Battle, Steve; Padget, Julian

Authors

Matt Thompson

Julian Padget



Contributors

H. SchoenauFog
Editor

L. E. Bruni
Editor

S. Louchart
Editor

S. Baceviciute
Editor

Abstract

© Springer International Publishing Switzerland 2015. 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.

Citation

Thompson, M., Battle, S., & Padget, J. (2015). Telling non-linear stories with interval temporal logic. Lecture Notes in Artificial Intelligence, 9445, 370-373. https://doi.org/10.1007/978-3-319-27036-4_39

Journal Article Type Conference Paper
Publication Date Jan 1, 2015
Journal Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Print ISSN 0302-9743
Electronic ISSN 1611-3349
Publisher Springer Verlag
Peer Reviewed Peer Reviewed
Volume 9445
Pages 370-373
Series Title Lecture Notes in Computer Science
DOI https://doi.org/10.1007/978-3-319-27036-4_39
Keywords interactive narrative, model checking, modal logic, interval temporal logic, kripke structures
Public URL https://uwe-repository.worktribe.com/output/844782
Publisher URL http://dx.doi.org/10.1007/978-3-319-27036-4_39

This file is under embargo due to copyright reasons.

Contact steve.battle@uwe.ac.uk to request a copy for personal use.






You might also like



Downloadable Citations