A Graphical Formalism for Commonsense Reasoning with Recipes

要約

料理は非常に重要な人間の活動である一方で、推論フレームワークで使用するためにレシピを形式化する方法についてはほとんど考慮されていませんでした。
私たちは、ラベル付きの二部グラフの形で食料品 (原材料、中間食品、最終製品) と食料品に対するアクションを捉えるグラフィカルな形式化を提案することで、このニーズに応えます。
次に、レシピの比較、サブレシピからレシピを構成するための、およびレシピをサブレシピに分解するための正式な定義を提案します。
また、材料が不足している場合、一部の操作が実行できない場合、または最終製品を何らかの方法で変更する必要がある場合に必要となる、レシピへの代替品に関する 2 つの正式な定義も紹介し、比較します。

要約(オリジナル)

Whilst cooking is a very important human activity, there has been little consideration given to how we can formalize recipes for use in a reasoning framework. We address this need by proposing a graphical formalization that captures the comestibles (ingredients, intermediate food items, and final products), and the actions on comestibles in the form of a labelled bipartite graph. We then propose formal definitions for comparing recipes, for composing recipes from subrecipes, and for deconstructing recipes into subrecipes. We also introduce and compare two formal definitions for substitution into recipes which are required when there are missing ingredients, or some actions are not possible, or because there is a need to change the final product somehow.

arxiv情報

著者 Antonis Bikakis,Aissatou Diallo,Luke Dickens,Anthony Hunter,Rob Miller
発行日 2023-06-15 11:04:30+00:00
arxivサイト arxiv_id(pdf)

提供元, 利用サービス

arxiv.jp, Google

カテゴリー: cs.AI パーマリンク