Multi-Agent Resource Negotiation in Speculative Computation

The speculative computation is a kind of computing process that is used in decision-making in advance under incomplete information. It is based on abduction and utilizes defaults to compute the future problem. In fact, in computing process, the defaults are not the only basic information. Under situation that time allows, master agent can obtain real information as more as possible via negotiation. The more information is, the more accurate the result is. To strengthen negotiation, basic theories of abduction and speculative computation are introduced, based on these theories, framework extended of speculative computation is presented, and negotiation language and negotiation algorithm are presented, and the algorithm is embedded in speculative computation. Thus it can improve the accuracy of speculative computation.