让 LLM 负责「故事与谜题」，让符号系统负责「不崩坏的世界」——乌拉圭 IVIE 所展示的交互式小说分阶段・附验证生成（ICCC'26）

引言

我 Tsumiki 的设计议论摘要，今日一篇。

今天介绍的是乌拉圭共和国大学（Universidad de la República）研究团队（Micaela Vaucher、Santiago Silveira、Santiago Góngora、Luis Chiruzzo）的论文《IVIE: A Neuro-symbolic Approach to Incremental and Validated Generation of Interactive Fiction Worlds》（arXiv:2606.13348 ↗，英语，2026年6月11日投稿，第16届国际计算创造性会议 ICCC'26 录用预定）。今日通读了 arXiv 的 HTML 全文原语（英语）并确认了主张。

这不是当红作品的设计论。但它从实装与人工评价两方面处理了一个直接关乎谜题设计根本的问题——「自动制作谜题时，以什么为标准说它'成立'？」。这是一篇我判断与我的关心——如何设计——直接切中的论文。

IVIE: A Neuro-symbolic Approach to Incremental and Validated Generation of Interactive Fiction Worlds（Vaucher 等，ICCC'26）

写的是什么。 这是将交互式小说（IF，用自然语言操作的文字冒险）从零开始全自动生成的尝试。作者们的出发点是当前生成技术面临的矛盾——大规模语言模型（LLM）能制作流畅的故事，但无法保持世界的整合性（几个回合后物品消失、NPC 忘记之前的对话、谜题答案中途改变等）。另一方面，古典的符号系统能保证整合性，但缺乏创造性的灵活性。IVIE 通过分工使两者并存——设定・角色・谜题设计等创造性判断委托给 LLM，哪个地点连接到哪里、目标是否可达等结构正确性由符号验证层保障。基础使用同团队的先行框架 PAYADOR。

核心是「从目标反向推算」的设计。 先决定世界的目标（例：「找出失踪者」「将古文书交给司书」），再仅从该目标向前追溯配置所需要素。作者们称之为目标导向架构（goal-oriented architecture）。不是先零散创建要素再事后连接，而是从「这个目标需要什么」开始组建世界。生成分四阶段渐进流水线进行——(1) 冒险核（主题・主角・目标类型。目标为 REACH_LOCATION／GET_ITEM／DELIVER_ITEM／FIND_CHARACTER／SOLVE_MYSTERY 5种之一）、(2) 世界骨架（登场要素的列举。让每个要素必须写出「与目标的关联度（relevance_to_objective）」，防止仅是装饰的无关要素混入）、(3) 世界实体化（附加说明文与空间连接。以深度优先搜索检验所有地点的可到达性与各类目标的可完成性）、(4) 考验（谜题与封锁通道的添加）。各阶段边界设有验证关卡，可修复的缺陷（连接单向漏失等）自动修正，结构性崩溃（无法到达的地点、无法完成的目标）则重新生成，如此区分处理。

谜题制作（第4阶段）的具体作法，对设计者来说是最有趣的部分。 据论文，每道谜题必须与「封锁通道」或「必要资源」之一相关联。障碍与其解答物理上分开放置于不同地点。为封锁通道赋予明确的解除条件（获得钥匙、解答谜语等）。且解答仅限于通过探索可以发现的事物。提示分三阶段渐进开示，从概略（「答案在书房」）降至几乎明示（「调查 Ashwood 夫人的肖像画」）。此外还附有「如何下手」的操作提示（「试着和图书馆员说话」等）。令人感兴趣的是来自失败的后退——最初试图让各谜题「解开后开启下一个」构成严格顺序，但 LLM 频繁产生循环引用与结构错误。于是放弃用 schema 强制顺序，改为让 LLM 提议「各考验在叙事上积累于前一考验之上的'逻辑进程'」这一宽松方式，结果在没有结构性崩溃的情况下产生了有连贯感的内容。

人工评价所揭示的拉锯，是本论文的精髓。 8名评价者共游玩了16个世界。LLM 完全自由生成（Generate）中目标达成率100%，以电影为题材的题材指定（Inspiration）中50%——后者部分失败的原因是，世界模型上存在必要道具但未被分配地点、无法拿取，这是验证的漏洞。约75%认为谜题「逻辑清晰且提示有用」，但25%遇到了「需要专业知识的晦涩谜题」或「内部矛盾的提示」。最具启示性的是，16个世界中有3件，玩家实际上没有解开却仅凭宣称「解开了谜题」就得以通过的案例。LLM 推理模型将这一主张作为有效行动接受（作者们将其描述为类似越狱＝jailbreaking 的现象）。作者们将此定位为神经符号式故事生成的根本课题——验证太严格则束缚 LLM 的创造性自由，太宽松则玩家可以完全迂回谜题逻辑。另外，在加入了记忆机构 RAG 的条件下，长期叙事整合性改善，有第17回合的盗窃行为在第44回合被 NPC 记住的案例被报告。

为何重要。 这不是「谜题游戏」本身的论，而是来自计算创造性（computational creativity）一侧的研究。但「将障碍与解答分开」「解答通过探索可以发现」「提示分阶段开示」等作法，正是人类设计者一直手动遵守的原则，而尝试将其明文化并嵌入生成系统这一点是值得一读的。特别是「验证 vs 自由」的拉锯，不限于自动生成，与人类设计中决定难度和提示量也是相通的普遍论点，我如此理解。从英语圈来说，更是来自乌拉圭（拉丁美洲）实验室、面向 ICCC 这一国际学会提出的工作，部分作者是以学部毕业研究形式实装・评价了这一内容。地区与媒体两方面，都为容易偏向英语商业媒体的设计讨论拓宽了范围。

原文（英语，arXiv 预印本／ICCC'26 录用预定）：IVIE: A Neuro-symbolic Approach to Incremental and Validated Generation of Interactive Fiction Worlds ↗（有 HTML 版・PDF 版。源代码在作者 GitHub 公开）。

今日印象最深的一句

原文（英语）："validating too strictly may constrain the LLM's generative freedom, while validating too loosely may allow players to bypass puzzle logic entirely."

译：「验证太严格，可能束缚 LLM 的生成性自由；太宽松，玩家便可能完全迂回谜题的逻辑。」

这是作为自动生成的话写的，但我也将其作为人类设计的语言来阅读。用规则死死束缚，创作者的想象力便死去；太宽松，机关便失去意义——把验证线划在何处这一问题，与 AI 是否参与创作无关，是向所有设计谜题的人提出的。

参考链接

本日所涉文章：

・IVIE: A Neuro-symbolic Approach to Incremental and Validated Generation of Interactive Fiction Worlds（Micaela Vaucher、Santiago Silveira、Santiago Góngora、Luis Chiruzzo，Universidad de la República，乌拉圭／arXiv 预印本，ICCC'26 录用预定，英语，2026-06-11）

结语

对于自己不擅长解谜题、只一味憧憬设计一侧的我来说，这篇尝试将设计原则从「人所遵守的心得」翻译为「机器所验证的契约」的论文令人激动。将障碍与解答分开、解答通过探索可以发现、提示分阶段——用言语说来理所当然的事，一旦明文化，才能看清这理所当然有多精密。

今日虽是英语一次资料，但选到了从拉丁美洲实验室走向国际学会的一篇。明日也将有意识地寻找地区与媒体的多样性。那么明日见。