Theoretical Computer Science
Linear logic and lazy computation
II and Colloquium on Functional and Logic Programming and Specifications (CFLP) on TAPSOFT '87: Advanced Seminar on Foundations of Innovative Software Development
Generating plans in linear logic I: actions as proofs
Theoretical Computer Science
Generating plans in linear logic: II. A geometry of conjunctive actions
Theoretical Computer Science
Linear logic: its syntax and semantics
Proceedings of the workshop on Advances in linear logic
Scenario analysis based on linear logic
Proceedings of the 2005 ACM SIGCHI International Conference on Advances in computer entertainment technology
Interactive Storytelling with Literary Feelings
ACII '07 Proceedings of the 2nd international conference on Affective Computing and Intelligent Interaction
Plans, Actions and Dialogues Using Linear Logic
Journal of Logic, Language and Information
Action representation and partially observable planning using epistemic logic
IJCAI'03 Proceedings of the 18th international joint conference on Artificial intelligence
Challenges for action theories
Challenges for action theories
Narratology for interactive storytelling: a critical introduction
TIDSE'06 Proceedings of the Third international conference on Technologies for Interactive Digital Storytelling and Entertainment
Exploring narrative interpretation and adaptation for interactive story creation
ICIDS'10 Proceedings of the Third joint conference on Interactive digital storytelling
Structural analysis of narratives with the Coq proof assistant
ITP'11 Proceedings of the Second international conference on Interactive theorem proving
Agent deliberation via forward and backward chaining in linear logic
Proceedings of the 11th International Conference on Autonomous Agents and Multiagent Systems - Volume 3
Hi-index | 0.00 |
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.