Title :
Speculative computation by abduction under incomplete communication environments
Author :
Satoh, Ken ; Inoue, Katsumi ; Iwanuma, Rosa ; Sakama, Chiaki
Author_Institution :
Hokkaido Univ., Sapporo, Japan
Abstract :
We present a method of problem solving in multi-agent systems when communication between agents is not guaranteed. To solve the problem of incomplete communication, we propose a method using abduction. The idea is as follows. When communication is delayed or failed, 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, or else if the response is inconsistent, we seek an alternative computation. This way of computation is called speculative computation, since computation using a tentative answer would lead to a significant advantage if it succeeds. In this paper, we restrict our attention to a master-slave multi-agent system and propose an implementation of speculative computation and show that abduction plays an important role in speculative computation
Keywords :
inference mechanisms; multi-agent systems; problem solving; uncertainty handling; abduction; default hypothesis; incomplete communication; multiple-agent systems; problem solving; reasoning; speculative computation; Delay; Master-slave; Multiagent systems; Problem-solving;
Conference_Titel :
MultiAgent Systems, 2000. Proceedings. Fourth International Conference on
Conference_Location :
Boston, MA
Print_ISBN :
0-7695-0625-9
DOI :
10.1109/ICMAS.2000.858462