BACK
Mon 7 Oct 2024
12:00 - 12:50
12:00 - 12:50
A Producer's Delight: Formally Provable Narrative
Unity
Unreal Engine
In-House or Custom Engine
Narrative
Yarn Spinner
Z3
Story Solver is a tool for narrative designers that helps you plan, write, and test your game's story. Brought to you by the same team that built the open-source narrative tools behind award-winning games like Night in the Woods, Dredge and Venba, Story Solver lets you create the branching paths of your story, and then uses automated reasoning to ensure that every part of your story is reachable by the player in some way. Using this approach, Story Solver can take any point in your story and produce a save-game file for it.
In this talk, we'll take a deep dive into how to use automated reasoning and theorem provers to create a complex, intertwined story. We'll then mathematically prove that it contains no problems. This is not hyperbole.
In this talk, we'll take a deep dive into how to use automated reasoning and theorem provers to create a complex, intertwined story. We'll then mathematically prove that it contains no problems. This is not hyperbole.
Narrative
Room 110
Jon Manning
Narrative Technologies Lead
Yarn Spinner
Dr Jon Manning is the co-founder of Yarn Spinner, an independent game development studio that builds narrative tools that power games like Night in the Woods, Dredge, Venba, and A Short Hike.
Tim Nugent
Development Lead
Yarn Spinner
Dr. Tim Nugent is the co-founder of Yarn Spinner, which builds the world's best narrative tools for games at every possible scale. Tim is the co-author of a huge number of books on Unity, Swift, and machine learning, and holds a PhD on information flow in public spaces.