2007 Fiscal Year Annual Research Report
動的信念変更の定式化とウェブサービスの実時間プラニングへの応用
| Project/Area Number |
19300053
|
|---|
| Research Institution | National Institute of Informatics |
|---|
Principal Investigator |
佐藤 健 National Institute of Informatics, 情報学プリンシプル研究系, 教授 (00271635)
|
|---|
| Co-Investigator(Kenkyū-buntansha) |
福田 直樹 静岡大学, 情報学部, 助教 (30345805)
|
|---|
| Keywords | 全域アブダクション / 動的信念変更 / エージェント / プラニング |
|---|
| Research Abstract |
動的信念変更のための理論的な基礎について検討した。具体的には、全域アブダクション(global abduction)の問題点を解決して外部環境の変化に対応することを検討したが、その変化ごとにプランを変更する方法では、アドホックな方法にならざるを得ず、変更方法の表現について複雑度が増すことが判明した。
動的信念変更にかかわる処理手法のとして,外部世界の環境変化に対応した推論を行うための,プランのコンパイル手法の基礎部分についての検討を行い,実装を進めた.具体的には,並列かつ投機的なウェブサービス実行プランが生成された際に,そのプランを具体的に実行するためのエンジン部分のプラットフォームを構築し,具体的ないくつかのシナリオについて,その動作をプロトタイプ作成により確かめた.また,本検討課題から派生した技術としての,高速な資源割り当て手法の適用についても検討した.
|
