Linear logic for non-linear storytelling

Hdl Handle:
http://hdl.handle.net/10149/110653
Title:
Linear logic for non-linear storytelling
Book Title:
Frontiers in artificial intelligence and applications
Authors:
Bosser, A-G. (Anne-Gwenn); Cavazza, M. O. (Marc); Champagnat, R. (Ronan)
Editors:
Coelho, H. (Helder); Studer, R. (Rudi); Wooldridge, M. (Michael)
Affiliation:
Teesside University. School of Computing.
Citation:
Bosser, A-G., Cavazza, M. O. and Champagnat, R. (2010) 'Linear logic for non-linear storytelling', ECAI 2010 - 19th European conference on artificial intelligence, in Coelho, H., Studer, R. and Wooldridge, M. (eds) Frontiers in artificial intelligence and applications. IOS Press.
Publisher:
IOS Press
Conference:
ECAI 2010 - 19th European conference on artificial intelligence
Issue Date:
2010
URI:
http://hdl.handle.net/10149/110653
DOI:
10.3233/978-1-60750-606-5-713
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.
Type:
Meetings and Proceedings; Book Chapter
Language:
en
Keywords:
artificial intelligence; interactive narratives; linear logic; storytelling
Series/Report no.:
Volume 215
ISBN:
9781607506058
Rights:
Subject to restrictions, author can archive publisher's version/PDF. For full details see http://www.sherpa.ac.uk/romeo/ [Accessed 03/09/2010]
Citation Count:
0 [Web of Science and Scopus, 03/09/2010]

Full metadata record

DC FieldValue Language
dc.contributor.authorBosser, A-G. (Anne-Gwenn)en
dc.contributor.authorCavazza, M. O. (Marc)en
dc.contributor.authorChampagnat, R. (Ronan)en
dc.contributor.editorCoelho, H. (Helder)en
dc.contributor.editorStuder, R. (Rudi)en
dc.contributor.editorWooldridge, M. (Michael)en
dc.date.accessioned2010-09-03T08:12:43Z-
dc.date.available2010-09-03T08:12:43Z-
dc.date.issued2010-
dc.identifier.isbn9781607506058-
dc.identifier.doi10.3233/978-1-60750-606-5-713-
dc.identifier.urihttp://hdl.handle.net/10149/110653-
dc.description.abstractWhilst 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.en
dc.language.isoenen
dc.publisherIOS Pressen
dc.relation.ispartofseriesVolume 215en
dc.rightsSubject to restrictions, author can archive publisher's version/PDF. For full details see http://www.sherpa.ac.uk/romeo/ [Accessed 03/09/2010]en
dc.subjectartificial intelligenceen
dc.subjectinteractive narrativesen
dc.subjectlinear logicen
dc.subjectstorytellingen
dc.titleLinear logic for non-linear storytellingen
dc.typeMeetings and Proceedingsen
dc.typeBook Chapteren
dc.contributor.departmentTeesside University. School of Computing.en
dc.title.bookFrontiers in artificial intelligence and applicationsen
dc.identifier.conferenceECAI 2010 - 19th European conference on artificial intelligenceen
ref.citationcount0 [Web of Science and Scopus, 03/09/2010]en
or.citation.harvardBosser, A-G., Cavazza, M. O. and Champagnat, R. (2010) 'Linear logic for non-linear storytelling', ECAI 2010 - 19th European conference on artificial intelligence, in Coelho, H., Studer, R. and Wooldridge, M. (eds) Frontiers in artificial intelligence and applications. IOS Press.-
All Items in TeesRep are protected by copyright, with all rights reserved, unless otherwise indicated.