In some multi-agent systems, when an agent cannot retrieve information from another agent, the agent makes an assumption and tentatively performs the computation. When the agent comes across a mistake in the preliminary assumption, the computation is modified. This kind of speculative computation is effective when the assumption is correct. However, once the agent executes an action, it is impossible to modify the computation in these systems. This paper shows how to integrate speculative computation and action execution through logic programming. © 2002 Published by Elsevier Science B.V.
Hayashi, H., Cho, K., & Ohsuga, A. (2002). Speculative computation and action execution in multi-agent systems. In Electronic Notes in Theoretical Computer Science (Vol. 70, pp. 153–166). Elsevier. https://doi.org/10.1016/S1571-0661(04)80594-2