プディングにおける証明:調理処方作成のための自動定理証明の利用【JST・京大機械翻訳】

Mahon Louis; Vogel Carl

プレプリント

J-GLOBAL ID：202202214247879794 整理番号：22P0299333

プディングにおける証明:調理処方作成のための自動定理証明の利用【JST・京大機械翻訳】

The Proof is in the Pudding: Using Automated Theorem Proving to Generate Cooking Recipes

出版者サイト {{ this.onShowPLink() }} 複写サービスで全文入手
高度な検索・分析はJDreamⅢで

この文献はプレプリントです。プレプリントについてはこちらをご確認ください。

著者 (2件)： ,
資料名：
発行年： 2022年03月05日プレプリントサーバーでの情報更新日： 2022年03月05日
JST資料番号： O7000B 資料種別：プレプリント
記事区分：プレプリント発行国：アメリカ合衆国 (USA) 言語：英語 (EN)

本論文では,調理処方のためのルールベース自然言語生成プログラムであるFASTFOODを提示した。資源と指示を選択するための自動化定理プロービング手順を用いて,アキシムに対応する成分および含意に対する指示により,処方が生成される。また,FASTFOODは,ユーザにとってより時間効率が良いようにレシピを追い出すことができる時間最適化モジュールも含んでおり,例えば,米が沸騰している間,レシピは野菜をチョップするのを指定する。システムは,自然言語生成を4つのフェーズに分割するフレームワーク(コンテンツ生産,コンテンツ選択,コンテンツ組織およびコンテンツ実現)を用いて詳細に記述した。次に,類似の既存システムと技術との比較を行った。【JST・京大機械翻訳】

, , , , , , , , , ,
, , , , 【Automatic Indexing@JST】

人間機械系 , 人工知能 , 計算機システム開発 , その他の情報処理 , 図形・画像処理一般

, , , ,

前のページに戻る