织理者TextrixVeritatis

目的与动机： 我们最初的目标是想要做出这样一种“教育类”游戏——这款游戏应该像解密游戏一样像玩家传递洞见，而非进行灌输；同时，也不需要玩家提前具有某种知识和带有某种目的，而是要创造玩家与知识接触的机会（比如说，有的玩家可能会先入为主地认为数学非常困难，我们希望能够以非数学的形式向他们展现数学，从而让他们在意识到自己在做数学之前先会做数学，做到自己本来没有想过的事，学习本来“不敢”学习的知识）。 形式逻辑与自然演绎作为一种基础知识，在数学、逻辑学和计算机科学中得到了广泛的应用，但是至今为止仍然没有像图论或者一些算法问题一样被融入在游戏机制设计当中，更没有像深圳io或者图灵完备那样专门介绍形式逻辑的游戏，因此我们好奇是否能够对这套系统游戏化 进一步地，我们也想尝试充分利用游戏的结合技术与艺术、玩法与美学叙事这样的特点，把对工具性知识的传输和对思辨性知识的讨论结合起来。我们试图将剧情与关卡机制相结合，激发玩家对于“语义与语法的分野”、“知识作为一种权力”的思考。 解决方案： 玩法上，我们首先设计了一套把一个数理逻辑命题映射到一个（唯一的）图案的方案，然后再将推理规则按照输入、输出进行解构，从而将自然演绎规则系统节点化。 剧情上，我们设定了一个架空世界观作为故事的舞台。在1880 年代另一条世界线的伦敦。年轻的见习织工诺拉·拉芙蒂进入静语纹工坊，在前辈莉娅·科尔宾的指导下学习传统织法。工坊负责为整座城市制造能够驱动门锁、通信设备、契约装置与自动机器的「静语纹」，而学院则负责用符号书写被称为「程式」的理论。诺拉原本和所有人一样相信：工坊负责制造，而学院负责理解。直到她偶然读到学院监工亚瑟·威客利夫遗失的笔记，才发现学院所谓的合取、蕴含与析取，与莉娅教给她的并织、引渡和汇路根本就是同一种结构。 这让故事中的矛盾从“怎样学会逻辑”进一步变成：为什么同一种结构，由工坊女工代代实践时被称为手艺，写进学院论文以后才被承认为知识？ 这一问题的语义版本最终也成为城市灾难的直接原因。新式自动机发生大规模异常后，学院最初怀疑工坊织错了纹样，又怀疑机器的推演系统出了故障。诺拉最后发现，两者都没有错，机器的每一步推理都是合法的。真正错误的是系统最开始接受的前提，莉娅很早以前就记录过某种静语丝在特定环境下会出现异常，但这份长期实践中得到的观察，因为记录者没有学院认可的学术资格而没有进入正式知识体系。学院因此把一个错误的材料假设作为前提写入自动机，最终产生矛盾，并通过矛盾消去不断推出荒谬结果。 现场完成内容：模糊的点子是赛前就有的，但是所有代码、具体玩法/交互和叙事策划案，美术素材以及硬件配件外壳均为黑客松期间从0到1产出。硬件核心是买的成套的。 完成方式：美术资产除了部分场景插图是Gemini生成以后处理的，其它为手绘。剧情由组员先拟订每节的大纲，再由gpt进行语言润色，然后人再进行修订和人物表情、站位等指定。玩法/交互策划案由组员撰写，fable5进行代码生成，然后组员进行黑盒测试反馈。