主催: 社団法人 人工知能学会
会議名: 2009度人工知能学会全国大会(第23回)
回次: 23
開催地: 香川県高松市 サンポートホール高松
開催日: 2009/06/17 - 2009/06/19
ウェブサービスの合成分解問題には,タスク計画的要素と自動プログラミング的要素がある.タスク計画の視点からの定式化についてはすでに報告した.本論文では,自動プログラミングの視点からウェブサービス合成問題について.型付きラムダ計算を対象としてHoare論理に基づいた形式的意味論を議論し,項書換えによる探索と合成されたプログラムの充足性に着目したプログラム合成のアルゴリズムを定式化する.