IVIE：一种增量和验证生成交互式小说世界的神经符号方法

互动小说中的计算创造力面临着根本性的紧张：大语言模型 (LLM) 可能会产生创造性的叙事，但与世界的连贯性作斗争，而符号系统确保一致性，但缺乏创造性的灵活性。我们提出 IVIE（增量和验证的互动体验），这是一种从头开始生成完整且可玩的互动小说世界的神经符号方法。 IVIE 以 PAYADOR 的神经符号框架为基础，实现了一个四阶段增量生成管道，将创造性决策（设置和角色创建、谜题设计）委托给 LLM，同时通过符号验证奠定世界状态的基础。该系统生成的世界具有相互关联的位置、功能项目、非玩家角色和连贯的谜题，所有这些都围绕一个以目标为中心的架构构建。人工评估表明，该方法可以生成身临其境、主题连贯的世界，并具有较高的玩家参与度。结果似乎表明，神经符号方法成功地平衡了灵活性和叙事连贯性：符号验证为 LLM 生成奠定了基础，而不会消除生成自由。然而，挑战仍然存在：LLM 不一致有时会绕过谜题约束，客观验证差距允许实现一些结构上不可能的目标。我们确定了未来神经符号交互式讲故事系统的关键设计考虑因素，特别是关于 LLM 功能及其局限性。