Linear Logic for Non-Linear Storytelling

@inproceedings{Bosser2010LinearLF,
  title={Linear Logic for Non-Linear Storytelling},
  author={Anne-Gwenn Bosser and Marc Cavazza and Ronan Champagnat},
  booktitle={ECAI},
  year={2010}
}
Whilst narrative representations have played a prominent role in AI research, there has been a renewed interest in the topic with the development of interactive narratives. A typical approach aims at generating narratives from baseline action representations, most often using planning techniques. However, this research has developed empirically, often as an application of planning. In this paper, we explore a more rigorous formalisation of narrative concepts, both at the action level and at the… 

Figures from this paper

Timing Interactive Narratives
TLDR
This paper describes how narrative time in the story design and use it to the verification of temporal properties of scenarios, building on previous work using Linear Logic and Petri Nets.
A Nondeterministic Temporal Planning Model for Generating Narratives with Continuous Change in Interactive Storytelling
TLDR
A temporal planning model for real-time generation of narratives in Interactive Storytelling systems that takes into account continuous branched time and the specification of constraints defined as temporal formulae over dramatic properties of the narrative is proposed.
A nondeterministic temporal planning model for gener narratives with continuous change in interactive storyte
TLDR
A temporal planning model for real-time generation of narratives in Interactive Storytelling systems that takes into account continuous branched time and the specification of constraints defined as temporal formulae over dramatic properties of the narrative is proposed.
Generative Story Worlds as Linear Logic Programs
TLDR
It is shown that the causal analysis tools available by virtue of using a proof-theoretic language for specification can assist the author in reasoning about the structure and consequences of emergent stories.
Interactive Storytelling Paradigms and Representations: A Humanities-Based Perspective
TLDR
Film theory can serve as a potential model for a narrative theory of Interactive Storytelling, and the work of many AI researchers could be recast and recognized as contributions to narrative theory.
Network Traversal as an Aid to Plot Analysis and Composition
TLDR
A modelling strategy to combine a chosen repertoire of story variants of the same narrative pattern into a network structure that can be partitioned according to the episodes of the narrative, thus allowing to generate summary networks, which are useful to analyse and identify narrative patterns.
Linear Logic Programming for Narrative Generation
TLDR
This paper uses the language Celf to represent narrative knowledge, and its own querying mechanism to generate story instances, through a number of proof terms, to build a directed graph which represents narrative plots structured by narrative causality.
Structural Analysis of Narratives with the Coq Proof Assistant
This paper proposes a novel application of Interactive Proof Assistants for studying the formal properties of Narratives, building on recent work demonstrating the suitability of Intuitionistic
Ceptre: A Language for Modeling Generative Interactive Systems
TLDR
Ceptre can be viewed as an explication of a new methodology for understanding games based on linear logic, a formal logic concerned with resource usage, intended to enable rapid prototyping for experimental game mechanics, especially in domains that depend on procedural generation and multi-agent simulation.
Co-constructing Subjective Narratives for Understanding Interactive Simulation Sessions
TLDR
An ongoing project is described creating a set of tools allowing users of simulationbased training software to make sense of what happened during the simulation from their point of view, which has the potential to support learning by allowing to contrast different points of view during pedagogical activities such as cooperative learning or tutored debriefing.
...
...

References

SHOWING 1-10 OF 33 REFERENCES
Narratology for Interactive Storytelling: A Critical Introduction
TLDR
The most frequently cited theories from the perspective of IS research are reviewed to discuss in particular the extent to which they can actually inspire IS technologies and highlight key issues for the effective use of narratology in IS.
a morphological approach to interactive storytelling
TLDR
This work focuses on story guidance at the level of morphological functions as defined by Russian formalist Vladimir Propp, and provides access to the story model itself, which allows authors to control the story at all levels of detail.
Interactive Storytelling with Literary Feelings
TLDR
The integration of Natural Language Processing (NLP) within an emotional planner to support Interactive Storytelling is described and examples from a first fully integrated prototype comprising NLP, emotional planning and real-time 3D animation are illustrated.
Generating Plans in Linear Logic
TLDR
This work dealt with a well-delineated domain of planning and gave it an adequate logical characterization, so that it managed to solve the completeness problem and think that integrating other features of linear logic, such as the ones attached to linear implication or the bounded modalities, will enable to cope with more realistic situations.
Verified Planning by Deductive Synthesis in Intuitionistic Linear Logic
TLDR
A new formalisation in Isabelle/HOL of Intuitionistic Linear Logic is described and the support this provides for constructing plans by proving the achievability of given planning goals is considered.
Generating Plans in Linear Logic I. Actions as Proofs
Plans, Actions and Dialogues Using Linear Logic
TLDR
It is described how Intuitionistic Linear Logic can be used to provide a unified logical account for agents to find and execute plans that allows agents to be robust to unexpected events and failures, and supports significant reuse of agent specifications.
Plans, Affordances, And Combinatory Grammar
TLDR
It is argued that natural language grammar and planned action share the formal character of applicative systems based on operations corresponding to the same two combinatory operations, namely functional composition and type-raising.
Notes on the Use of Plan Structures in the Creation of Interactive Plot
An interactive system defines a virtual space, whether the system’s interface provides access to the inhospitable planet of Stroggos or the Microsoft Windows desktop. Users of both these systems
Linear logic: its syntax and semantics
TLDR
The first objection to that view is that there are in mathematics, in real life, cases where reaction does not exist or can be neglected : think of a lemma which is forever true, or of a Mr. Soros, who has almost an infinite amount of dollars.
...
...