Linear logic for non-linear storytelling

Anne-Gwenn Bosser, Marc O. Cavazza, Ronan Champagnat

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

135 Downloads (Pure)

Abstract

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 plot level. Our aim is to investigate how to bridge the gap between action descriptions and narrative concepts, by considering the latter from the perspective of resource consumption and causality. We propose to use Linear Logic, often introduced as a logic of resources, for it provides, through linear implication, a better description of causality than in Classical and Intuitionistic Logic. Besides advances in the fundamental principles of narrative formalisation, this approach can support the formal validation of scenario description as a preliminary step to their implementation via other computational formalisms.
Original languageEnglish
Title of host publicationFrontiers in artificial intelligence and applications
PublisherIOS Press
Pages713-718
ISBN (Print)9781607506058
DOIs
Publication statusPublished - 2010
Event19th European Conference on Artificial Intelligence - Lisbon, Portugal
Duration: 16 Aug 201020 Aug 2010
Conference number: 19

Conference

Conference19th European Conference on Artificial Intelligence
Abbreviated titleECAI 2010
CountryPortugal
CityLisbon
Period16/08/1020/08/10

Bibliographical note

Subject to restrictions, author can archive publisher's version/PDF.

Fingerprint Dive into the research topics of 'Linear logic for non-linear storytelling'. Together they form a unique fingerprint.

  • Cite this

    Bosser, A-G., Cavazza, M. O., & Champagnat, R. (2010). Linear logic for non-linear storytelling. In Frontiers in artificial intelligence and applications (pp. 713-718). IOS Press. https://doi.org/10.3233/978-1-60750-606-5-713