この論文を読む／探す
抄録
インターネットの普及にともない,ネットワークを用いた新規・既存ソフトウェアの統合や異種データベースの同時使用などによる新しい分散協調問題解決手法が多く研究されている.そのような手法では,各計算機上にエージェントと呼ばれるソフトウェアが常駐し,それらエージェントが異種ソフトウェアやデータベースとのインターフェースとして機能し問題解決がなされている.しかし,そのような手法の研究において,通信遅延や計算機故障などによる情報の不完全性に関する処理は,ほとんど考慮されていない.また,たとえ通信が完全に保証されていたとしても,現在では,計算機処理速度に比べて通信速度が格段に遅いため,他エージェントからの情報を受信してから次の処理を行うのでは,計算機の処理能力を十分に引き出せない.本研究では、このような通信が必ずしも保証されていないマルチエージェントシステムにおける分散問題解決の手法を与える.本手法は,質問に対するデフォルトの回答を用意しておき,回答が戻らなくても,デフォルトを用いて計算を進め,その後,送られてきた真の回答がデフォルトと異なるときのみ,計算をやり直すというものである.本発表では,本手法を仮説論理プログラミングの枠組みで実現し,手法の健全性を示す.
Thanks to the Internet, there are many research on distributed problem solving methods such as a unification on various software and database in distributed computers. In these methods, an agent plays an important role for an interface of such software or databases. In most of the current research of multi-agent system, however, people assume that communication of agents is guaranteed and also when an agent asks a question from other agents, a process is suspended until some response from other agents is obtained. Under incomplete communication environment such as the Internet, however, these assumptions are not guaranteed; The messages between agents might be lost or significantly delayed. Therefore, researches of problem solving under incomplete communication is very important. In our research, we propose a method for distributed problem solving by a multi-agent system under such incomplete communication environment. The idea is as follows. When communication is delayed or fails, then we use a default hypothesis as a tentative answer and continue computation. When some response is obtained, we check consistency of the response and the current computation. If the response is consistent, then we continue the current computation and if the response is inconsistent, we seek an alternative computation. We call this way of computation speculative computation. In this talk, we give a framework for speculative computation based on abductive logic programming and show its correctness.
