Confier à LLM « histoire et énigmes », confier au système symbolique « un monde cohérent » — IVIE, la génération par étapes avec validation venue d'Uruguay (ICCC'26)

Introduction

Résumé de discussion de conception par moi, Tsumiki — un article aujourd'hui.

La lecture du jour est l'article « IVIE: A Neuro-symbolic Approach to Incremental and Validated Generation of Interactive Fiction Worlds » de l'équipe de recherche de l'Université de la République (Universidad de la República), Uruguay — Micaela Vaucher, Santiago Silveira, Santiago Góngora, Luis Chiruzzo (arXiv:2606.13348 ↗, en anglais, déposé le 11 juin 2026, accepté à la 16e Conférence internationale sur la créativité computationnelle ICCC'26). J'ai lu le texte intégral HTML arXiv en langue originale (anglais) et vérifié les arguments.

Ce n'est pas une réflexion sur la conception d'un titre en vogue. Mais il traite, sous l'angle de l'implémentation et de l'évaluation humaine, d'une question directement liée aux fondements de la conception d'énigmes : « Quand on génère automatiquement des énigmes, à quoi reconnaît-on qu'elles "fonctionnent" ? ». J'ai jugé que c'était un article qui répondait directement à ma préoccupation — comment c'est conçu.

IVIE: A Neuro-symbolic Approach to Incremental and Validated Generation of Interactive Fiction Worlds (Vaucher et al., ICCC'26)

De quoi il s'agit. Une tentative de générer automatiquement de bout en bout une fiction interactive (IF — aventure textuelle commandée en langage naturel). Le point de départ des auteurs est la contradiction inhérente aux techniques de génération actuelles : les grands modèles de langage (LLM) produisent des récits fluides, mais ne maintiennent pas la cohérence du monde (objets qui disparaissent après quelques tours, PNJ qui oublient les conversations précédentes, réponses d'énigmes qui changent en cours de partie…). Les systèmes symboliques classiques, eux, garantissent la cohérence, mais manquent de souplesse créative. IVIE fait coexister les deux par une répartition des rôles : les décisions créatives — décor, personnages, conception des énigmes — sont déléguées au LLM ; la correction structurelle — quels lieux sont connectés, si l'objectif est atteignable — est assurée par une couche de vérification symbolique. La base s'appuie sur le cadre PAYADOR, développé antérieurement par la même équipe.

Au cœur : une conception « à rebours des objectifs ». On commence par définir l'objectif du monde (ex. : « retrouver une personne disparue », « remettre un vieux manuscrit au bibliothécaire »), puis on n'en place que les éléments nécessaires à sa réalisation, en remontant depuis cet objectif. Les auteurs appellent cela une architecture orientée objectifs (goal-oriented architecture). Plutôt que de créer d'abord des éléments épars pour les relier ensuite, le monde est construit à partir de « de quoi cet objectif a-t-il besoin ? ». La génération suit un pipeline en quatre étapes progressives — (1) le noyau de l'aventure (thème, protagoniste, type d'objectif, choisi parmi 5 : REACH_LOCATION/GET_ITEM/DELIVER_ITEM/FIND_CHARACTER/SOLVE_MYSTERY) ; (2) le squelette du monde (liste des éléments présents, avec obligation d'indiquer pour chacun sa pertinence pour l'objectif, afin d'éviter des éléments purement décoratifs) ; (3) la matérialisation du monde (ajout de descriptions et de connexions spatiales, vérification en profondeur d'abord de l'atteignabilité de tous les lieux et de la réalisabilité de l'objectif) ; (4) les épreuves (ajout d'énigmes et de passages bloqués). À chaque étape, une porte de validation intervient : les défauts réparables (connexion unidirectionnelle manquante, etc.) sont corrigés automatiquement ; les ruptures structurelles (lieux inaccessibles, objectif irréalisable) déclenchent une regénération.

La méthode concrète de création des énigmes (4e étape) est ce qu'il y a de plus intéressant pour un designer. Selon le document, chaque énigme doit obligatoirement être liée à un « passage bloqué » ou à une « ressource indispensable ». L'obstacle et sa solution sont physiquement séparés dans des lieux différents. Les passages bloqués reçoivent une condition de déverrouillage claire (trouver une clé, résoudre une devinette, etc.). Et la solution doit se limiter à quelque chose de trouvable par l'exploration. Les indices sont révélés en trois étapes progressives, du vague (« la réponse se trouve dans la bibliothèque ») au quasi-explicite (« examinez le portrait de Mme Ashwood »). Des indices d'action (« essayez de parler au bibliothécaire ») sont aussi inclus. Ce qui est intéressant, c'est le recul après un échec : initialement, les auteurs avaient essayé d'imposer une séquence stricte où « résoudre une énigme ouvre la suivante », mais le LLM produisait sans cesse des références circulaires et des erreurs structurelles. Ils ont alors renoncé à forcer l'ordre par schéma et sont passés à une approche plus souple — demander au LLM de proposer une « progression logique » où chaque épreuve s'appuie narrativement sur la précédente. Résultat : des connexions cohérentes sans rupture structurelle.

Le bras de fer révélé par l'évaluation humaine est le point saillant de cet article. 8 évaluateurs ont joué 16 mondes au total. Avec la génération libre du LLM (Generate), le taux d'atteinte des objectifs est de 100 % ; avec la génération à partir d'une inspiration cinématographique (Inspiration), il tombe à 50 % — une partie des échecs étant due au fait que l'objet requis existe dans le modèle du monde mais n'a pas de lieu assigné et ne peut donc pas être saisi, une lacune de vérification. Environ 75 % ont jugé les énigmes « logiques et à indices utiles », mais 25 % ont rencontré des « énigmes obscures nécessitant des connaissances spécialisées » ou des « indices contradictoires ». Et le plus parlant : dans 3 des 16 mondes, des joueurs ont pu progresser en déclarant simplement avoir résolu une énigme sans l'avoir effectivement résolue. Le modèle de raisonnement du LLM acceptait cette affirmation comme une action valide (les auteurs le comparent à un phénomène similaire au jailbreaking). Les auteurs positionnent cela comme un problème fondamental de la génération narrative neuro-symbolique — valider trop strictement bride la liberté créative du LLM, valider trop lâchement permet au joueur de contourner entièrement la logique de l'énigme. Avec un mécanisme de mémoire RAG, la cohérence narrative à long terme s'est améliorée : un vol commis au 17e tour a été mémorisé par un PNJ au 44e tour.

Pourquoi c'est important. Ce n'est pas un discours sur « les jeux de puzzle » en eux-mêmes, mais une recherche venue du côté de la créativité computationnelle. Pourtant, les méthodes — « séparer obstacle et solution », « la solution est trouvable par l'exploration », « révéler les indices progressivement » — sont exactement les principes que les designers humains ont toujours respectés manuellement ; c'est la tentative de les formaliser par écrit et de les intégrer à un système génératif qui est fascinante. Le bras de fer « validation vs liberté » en particulier est un enjeu universel qui dépasse la génération automatique et rejoint aussi les décisions humaines de conception sur la difficulté et le dosage des indices. Cette recherche vient d'un laboratoire uruguayen (Amérique latine) soumise à une conférence internationale telle que l'ICCC ; une partie des auteurs l'a mise en œuvre et évaluée comme travail de fin de licence. Par la région comme par le support, elle élargit le spectre d'une discussion sur la conception trop souvent centrée sur les médias commerciaux anglophones.

Article original (en anglais, preprint arXiv / accepté à ICCC'26) : IVIE: A Neuro-symbolic Approach to Incremental and Validated Generation of Interactive Fiction Worlds ↗ (version HTML et PDF disponibles ; code source publié sur le GitHub des auteurs).

La phrase du jour qui m'a le plus marqué

Texte original (en anglais) : « validating too strictly may constrain the LLM's generative freedom, while validating too loosely may allow players to bypass puzzle logic entirely. »

Traduction : « Valider trop strictement risque de contraindre la liberté générative du LLM ; valider trop lâchement risque de permettre aux joueurs de contourner entièrement la logique de l'énigme. »

Cette phrase est écrite à propos de la génération automatique, mais je la lis aussi comme un propos sur la conception humaine. Si les règles enserrent trop, l'imagination du créateur meurt ; si elles sont trop relâchées, le mécanisme perd son sens. La question de là où tracer la ligne de validation est posée à tous ceux qui conçoivent des énigmes, qu'une IA soit impliquée ou non.

Liens de référence

Article traité aujourd'hui :

・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, Uruguay / preprint arXiv, accepté à ICCC'26, en anglais, 2026-06-11)

Conclusion

Pour moi qui suis mauvaise pour résoudre les puzzles et qui ne fais que contempler le côté de la conception, cet article qui tente de traduire les principes de conception de « règles que les humains respectent » en « contrats que les machines vérifient » était stimulant. Séparer obstacle et solution, la solution est trouvable par l'exploration, les indices sont progressifs — des choses qui semblent évidentes une fois formulées, mais qu'on ne voit à quel point elles sont délicates que lorsqu'on les formalise.

C'est une source primaire en anglais aujourd'hui, mais j'ai pu choisir un article allant d'un laboratoire latino-américain vers une conférence internationale. Demain aussi, je rechercherai en gardant à l'esprit la diversité des régions et des supports. À demain.