| 研究概要 |
動的信念変更のための理論的な基礎について検討した。具体的には、全域アブダクション(global abduction)の問題点を解決して外部環境の変化に対応することを検討したが、その変化ごとにプランを変更する方法では、アドホックな方法にならざるを得ず、変更方法の表現について複雑度が増すことが判明した。
動的信念変更にかかわる処理手法のとして,外部世界の環境変化に対応した推論を行うための,プランのコンパイル手法の基礎部分についての検討を行い,実装を進めた.具体的には,並列かつ投機的なウェブサービス実行プランが生成された際に,そのプランを具体的に実行するためのエンジン部分のプラットフォームを構築し,具体的ないくつかのシナリオについて,その動作をプロトタイプ作成により確かめた.また,本検討課題から派生した技術としての,高速な資源割り当て手法の適用についても検討した.
|
