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 numb...
详细信息
ISBN:
(纸本)9783642405648
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.
We propose a framework of distributed concurrent linens logicprogramming, which can elegantly capture the essential features of distributed computation: location-dependence/independence of names and movement of compu...
详细信息
We propose a framework of distributed concurrent linens logicprogramming, which can elegantly capture the essential features of distributed computation: location-dependence/independence of names and movement of computation. We first define the syntax and semantics of a modal linearlogic that is suitable for expressing distributed computation, and then show that there is a close relationship between formulas of a fragment of the modal linearlogic and distributed processes. (C) 1999 Elsevier Science B.V. All rights reserved.
We propose a new framework called ACL for concurrent computation based on linearlogic. ACL is a kind of linear logic programming framework, where its operational semantics is described in terms of proof construction ...
详细信息
暂无评论