Skip to main content

Telling Non-linear Stories with Interval Temporal Logic

  • 2782 Accesses

Part of the Lecture Notes in Computer Science book series (LNISA,volume 9445)

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

Keywords

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

This is a preview of subscription content, access via your institution.

Buying options

Chapter
USD   29.95
Price excludes VAT (USA)
  • DOI: 10.1007/978-3-319-27036-4_39
  • Chapter length: 4 pages
  • Instant PDF download
  • Readable on all devices
  • Own it forever
  • Exclusive offer for individuals only
  • Tax calculation will be finalised during checkout
eBook
USD   59.99
Price excludes VAT (USA)
  • ISBN: 978-3-319-27036-4
  • Instant PDF download
  • Readable on all devices
  • Own it forever
  • Exclusive offer for individuals only
  • Tax calculation will be finalised during checkout
Softcover Book
USD   79.99
Price excludes VAT (USA)
Fig. 1.
Fig. 2.
Fig. 3.

References

  1. Propp, V.: Morphology of the Folktale. 1928. Trans. Svatava Pirkova-Jakobson. 2nd edn. U of Texas P, Austin (1968)

    Google Scholar 

  2. Allen, J.F.: Maintaining knowledge about temporal intervals. Commun. ACM 26(11), 832–843 (1983)

    CrossRef  MATH  Google Scholar 

  3. Halpern, J.Y., Shoham, Y.: A propositional modal logic of time intervals. J. ACM (JACM) 38(4), 935–962 (1991)

    CrossRef  MathSciNet  MATH  Google Scholar 

  4. Kripke, S.A.: Semantical analysis of modal logic in normal modal propositional calculi. Math. Logic Q. 9(5–6), 67–96 (1963)

    CrossRef  MathSciNet  MATH  Google Scholar 

  5. Del Cerro, L.F., Fauthoux, D., Gasquet, O., Herzig, A., Longin, D., Massacci, F.: Lotrec: the generic tableau prover for modal and description logics. In: Goré, R., Leitsch, A., Nipkow, T. (eds.) Automated Reasoning. LNCS, vol. 2083, pp. 453–458. Springer, Heidelberg (2001)

    CrossRef  Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Corresponding author

Correspondence to Matt Thompson .

Editor information

Editors and Affiliations

Rights and permissions

Reprints and Permissions

Copyright information

© 2015 Springer International Publishing Switzerland

About this paper

Cite this paper

Thompson, M., Battle, S., Padget, J. (2015). Telling Non-linear Stories with Interval Temporal Logic. In: Schoenau-Fog, H., Bruni, L., Louchart, S., Baceviciute, S. (eds) Interactive Storytelling. ICIDS 2015. Lecture Notes in Computer Science(), vol 9445. Springer, Cham. https://doi.org/10.1007/978-3-319-27036-4_39

Download citation

  • DOI: https://doi.org/10.1007/978-3-319-27036-4_39

  • Published:

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-319-27035-7

  • Online ISBN: 978-3-319-27036-4

  • eBook Packages: Computer ScienceComputer Science (R0)