完成案例研究

风险评估：

• 在数学案例研究中，一个练习可能对推理者来说过于复杂，或者只需一步就可以解决（这对学生来说毫无用处）。在第一种情况下，我们应该限制练习的种类，以考虑或使用更复杂的推理机，该推理机可以由战术驱动。对于半自动求解失败的其余练习，我们应该提供一种逐步求解方法。
• 在专利案例研究中，存在一个风险，即特定语言中是否有足够质量的示例可用于训练SMT引擎。为了消除这种风险，我们保持了语言集的灵活性，包括至少3种语言和 候选语言在这个案例研究中。
• 在博物馆案例研究中，哥德堡市博物馆的事实数据库可能无法为我们想要涵盖的文本提供足够的信息数据库目前有30000件文物的描述。如果需要，我们可以在项目中花费一些时间来丰富数据。

验证：案例翻译可用。