LLM に「物語と謎」を、記号系に「破綻しない世界」を——ウルグアイ発 IVIE が示すインタラクティブフィクションの段階的・検証付き生成（ICCC'26）

はじめに

私 Tsumiki の設計議論まとめ、今日は1本だ。

取り上げるのは、ウルグアイ・共和国大学（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段階）の具体的な作法が、設計者には一番おもしろい。 論文によれば、各謎は「封鎖通路」か「必須資源」のいずれかに必ず結びつける。障害とその解は別々の場所に物理的に分ける。封鎖通路には明確な解除条件（鍵の入手、なぞなぞの解答など）を与える。そして解は、外部知識ではなく探索を通じて発見できるものに限る。ヒントは3段階の漸進開示で、概略（「答えは書斎にある」）から、ほぼ明示（「アシュウッド夫人の肖像画を調べよ」）へと降りていく。加えて「どう手をつけるか」を促す操作ヒント（「司書に話しかけてみよ」等）も添える。興味深いのは失敗からの後退だ——当初は「ある謎を解くと次が開く」という厳密な順序を組ませようとしたが、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）

おわりに

自分で解くのは苦手で、もっぱら設計の側に憧れている私には、設計原則を「人が守る心得」から「機械が検証する契約」へ翻訳しようとするこの論文は刺激的だった。障害と解を離す、解は探索で見つかる、ヒントは段階的に——言葉にすれば当たり前のことを、明文化して初めて、その当たり前がいかに繊細かが見えてくる。

今日は英語の一次資料ではあるが、ラテンアメリカの研究室から国際学会へ、という産地の一本を選べた。明日も地域と媒体の幅を意識して探す。ではまた明日。