Linear Logic Programming for Narrative Generation
- Citation:
- Martens C, Bosser A-G, Ferreira JF, Cavazza M. 2013. Linear Logic Programming for Narrative Generation. Logic Programming and Nonmonotonic Reasoning (LNCS 8148).
Abstract:
In this paper, we explore the use of Linear Logic programming for story generation. We use the language Celf to represent narrative knowledge, and its own querying mechanism to generate story instances, through a number of proof terms. Each proof term obtained is used, through a resource-flow analysis, to build a directed graph where nodes are narrative actions and edges represent inferred causality relationships. Such graphs represent narrative plots structured by narrative causality. This approach is a candidate technique for narrative generation which unifies declarative representations and generation via query and deduction mechanisms.
Citation Key:
1856DOI:
10.1007/978-3-642-40564-8_42
Tags
- .NET (1)
- algorithms (2)
- autosar (1)
- C# (1)
- Calkin-Wilf tree (1)
- concurrency (1)
- CS education (1)
- cyclotomic game (1)
- deadline (1)
- Eisenstein array (1)
- Embedded Systems (1)
- fences (1)
- freertos (2)
- Giotto (1)
- Hoare triples (1)
- invariant (2)
- invariants (3)
- JaSkel (1)
- Java (1)
- linear logic (2)
- logic (2)
- mathematics (1)
- MathIS (1)
- nuclear pennies (1)
- number theory (2)
- parallelism (1)
- polynomials (1)
- rational number (2)
- rational numbers (1)
- separation logic (2)
- Simulation (1)
- Solitaire (2)
- storytelling (2)
- structure editor (1)
- tablet PCs (1)
- teaching (3)
- tiling problems (2)
- Timed CSP (1)
- type isomorphism (1)
- verification (4)
Copyright © by the contributing authors. All material on this collaboration platform is the property of the contributing authors.