Generative Story Worlds as Linear Logic Programs
Generative Story Worlds as Linear Logic Programs
复制标题
作为线性逻辑程序的生成故事世界
DOI：
--
复制
发表时间：
2014
期刊：
影响因子：
--
通讯作者：
M. Cavazza
中科院分区：
文献类型：
--
作者：
Chris Martens;J. Ferreira;Anne;M. Cavazza
在先前的工作中已经确定了线性逻辑编程语言，这可在指定故事和分析其因果结构中可行。我们研究了这种语言在指定故事世界的使用，或者是广义叙事动作具有统一效果（不是特定于特定字符或设置元素）的设置，这可能会通过反馈循环创造出紧急行为。我们展示了一个在语言中指定的故事世界的相当大的例子，并讨论了其解释为故事创建程序，模拟和互动叙事。此外，我们表明，通过使用证明理论语言进行规范可用的因果分析工具可以帮助作者推理新兴故事的结构和后果。
Linear logic programming languages have been identified in prior work as viable for specifying stories and analyzing their causal structure. We investigate the use of such a language for specifying story worlds, or settings where generalized narrative actions have uniform effects (not specific to a particular set of characters or setting elements), which may create emergent behavior through feedback loops. We show a sizable example of a story world specified in the language Celf and discuss its interpretation as a story-generating program, a simulation, and an interactive narrative. Further, we show that the causal analysis tools available by virtue of using a proof-theoretic language for specification can assist the author in reasoning about the structure and consequences of emergent stories.