论文标题
证明是布丁：使用自动定理证明生成烹饪食谱
The Proof is in the Pudding: Using Automated Theorem Proving to Generate Cooking Recipes
论文作者
论文摘要
本文介绍了FastFood，这是一种基于规则的自然语言生成计划，用于烹饪食谱。配方是通过使用自动定理证明过程来选择成分和说明的，以及与公理和指令相对应的成分。 FastFood还包含一个时间优化模块，该模块可以重新排列配方，以使其对用户的时间效率更高，例如食谱指定在米饭沸腾时切碎蔬菜。使用将自然语言生成分为4个阶段的框架详细描述了该系统：内容生产，内容选择，内容组织和内容实现。然后，与类似的现有系统和技术进行比较。
This paper presents FASTFOOD, a rule-based Natural Language Generation Program for cooking recipes. Recipes are generated by using an Automated Theorem Proving procedure to select the ingredients and instructions, with ingredients corresponding to axioms and instructions to implications. FASTFOOD also contains a temporal optimization module which can rearrange the recipe to make it more time-efficient for the user, e.g. the recipe specifies to chop the vegetables while the rice is boiling. The system is described in detail, using a framework which divides Natural Language Generation into 4 phases: content production, content selection, content organisation and content realisation. A comparison is then made with similar existing systems and techniques.
