Linear Logic for Non-LInear Storytelling - Archive ouverte HAL
Communication Dans Un Congrès Année : 2010

Linear Logic for Non-LInear Storytelling

Résumé

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 of- ten 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 bet- ter description of causality than in Classical and Intuitionistic Logic. Besides advances in the fundamental principles of narrative formal- isation, this approach can support the formal validation of scenario description as a preliminary step to their implementation via other computational formalisms.
Fichier non déposé

Dates et versions

hal-00714889 , version 1 (05-07-2012)

Identifiants

  • HAL Id : hal-00714889 , version 1

Citer

Anne-Gwenn Bosser, Marc Cavazza, Ronan Champagnat. Linear Logic for Non-LInear Storytelling. European Conference on Artificial Intelligence, Aug 2010, Lisbon, Portugal. pp.713-718. ⟨hal-00714889⟩
75 Consultations
0 Téléchargements

Partager

More