Telling Non-linear Stories with Interval Temporal Logic

Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 9445)


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.


Interactive narrative Model checking Modal logic Interval temporal logic Kripke structures 


  1. 1.
    Propp, V.: Morphology of the Folktale. 1928. Trans. Svatava Pirkova-Jakobson. 2nd edn. U of Texas P, Austin (1968)Google Scholar
  2. 2.
    Allen, J.F.: Maintaining knowledge about temporal intervals. Commun. ACM 26(11), 832–843 (1983)CrossRefzbMATHGoogle Scholar
  3. 3.
    Halpern, J.Y., Shoham, Y.: A propositional modal logic of time intervals. J. ACM (JACM) 38(4), 935–962 (1991)CrossRefMathSciNetzbMATHGoogle Scholar
  4. 4.
    Kripke, S.A.: Semantical analysis of modal logic in normal modal propositional calculi. Math. Logic Q. 9(5–6), 67–96 (1963)CrossRefMathSciNetzbMATHGoogle Scholar
  5. 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)CrossRefGoogle Scholar

Copyright information

© Springer International Publishing Switzerland 2015

Authors and Affiliations

  1. 1.Department of Computer ScienceUniversity of BathBathUK
  2. 2.Department of Computer Science and Creative TechnologiesUniversity of the West of EnglandBristolUK

Personalised recommendations