Speculative computation with multi-agent belief revision

In multi-agent system, we often face incompleteness of information due to communication failure or other agent's suspension of decisions. To solve the incompleteness, we previously proposed speculative computation using abduction in the context of matter-slave multi-agent systems and gave a procedure in abductive logic programming [14]. In the work, a master agent prepares a default value for a question in advance and it performs speculative computation using the default without waiting for a reply for the question. This computation is effective unless the contradictory reply with the default is returned. However, we find that this mechanism is not sufficient for speculative computation in more general multi-agent systems such that replies can be revised according to other agents' speculative computation. In this paper, we formalize speculative computation with multi-agent belief revision and propose a correct procedure for such computation.

[1]  Teodor C. Przymusinski.  On the Declarative Semantics of Deductive Databases and Logic Programs , 1988, Foundations of Deductive Databases and Logic Programming..

[2]  Robert A. Kowalski,et al.  From logic programming towards multi‐agent systems , 1999, Annals of Mathematics and Artificial Intelligence.

[3]  Francesca Toni,et al.  Executing Suspended Logic Programs , 1998, Fundam. Informaticae.

[4]  Nicholas R. Jennings,et al.  Coordination techniques for distributed artificial intelligence , 1996 .

[5]  Antonis C. Kakas,et al.  The role of abduction in logic programming , 1998 .

[6]  Paolo Torroni,et al.  Dialogues for Negotiation: Agent Varieties and Dialogue Sequences , 2001, ATAL.

[7]  Chiaki Sakama,et al.  Speculative computation by abduction under incomplete communication environments , 2000, Proceedings Fourth International Conference on MultiAgent Systems.

[8]  F. Warren Burton,et al.  Speculative computation, parallelism, and functional programming , 1985, IEEE Transactions on Computers.

[9]  José Júlio Alferes,et al.  MINERVA - A Dynamic Logic Programming Agent Architecture , 2001, ATAL.

[10]  Chiaki Sakama,et al.  A Defeasible Reasoning System in Multi-Agent Environment , 2000, CL-2000 Workshop on Computational Logic in Multi-Agent Systems.

[11]  Steve Gregory,et al.  Experiments with Speculative Parallelism in Parlog , 1993, ILPS.

[12]  Katsumi Inoue,et al.  Linear Resolution for Consequence Finding , 1992, Artif. Intell..

[13]  José Júlio Alferes,et al.  A Dynamic Logic Programming Agent Architecture , 2022 .

[14]  Hisashi Hayashi.  Replanning in Robotics by Dynamic SLDNF , 1999 .