先行投機的計算の論理的定式化(「自動推論:帰納,演繹,モデル検査/生成,学習,発見,仮説推論、論理プログラム,プランニングetc.」及び一般)(本文無し)

概要

論文の詳細を見る
インターネットの普及にともない,ネットワークを用いた新規・既存ソフトウェアの統合や異種データベースの同時使用などによる新しい分散協調問題解決手法が多く研究されている.そのような手法では,各計算機上にエージェントと呼ばれるソフトウェアが常駐し,それらエージェントが異種ソフトウェアやデータベースとのインターフェースとして機能し問題解決がなされている.しかし,そのような手法の研究において,通信遅延や計算機故障などによる情報の不完全性に関する処理は,ほとんど考慮されていない.また,たとえ通信が完全に保証されていたとしても,現在では,計算機処理速度に比べて通信速度が格段に遅いため,他エージェントからの情報を受信してから次の処理を行うのでは,計算機の処理能力を十分に引き出せない.本研究では、このような通信が必ずしも保証されていないマルチエージェントシステムにおける分散問題解決の手法を与える.本手法は,質問に対するデフォルトの回答を用意しておき,回答が戻らなくても,デフォルトを用いて計算を進め,その後,送られてきた真の回答がデフォルトと異なるときのみ,計算をやり直すというものである.本発表では,本手法を仮説論理プログラミングの枠組みで実現し,手法の健全性を示す.
2004-06-14

先行投機的計算の論理的定式化(「自動推論:帰納,演繹,モデル検査/生成,学習,発見,仮説推論、論理プログラム,プランニングetc.」及び一般)(本文無し)

スポンサーリンク

概要

著者

関連論文

スポンサーリンク