Speculative constraint processing for hierarchical agents

Speculative computation is an effective means for solving problems with incomplete information in multi-agent systems. It allows such a system to compute tentative solutions by using default knowledge about agents even if communications between agents are delayed or fail. Previously we have proposed a logical framework for speculative constraint processing for master-slave multi-agent systems. In this paper, we extend the framework to support more general multi-agent systems that are hierarchically structured. We provide an operational model for the framework and present a prototype implementation of the model.

[1]  Leora Morgenstern,et al.  A Formal Theory of Multiple Agent Nonmonotonic Reasoning , 1990, AAAI.

[2]  Makoto Yokoo,et al.  Adopt: asynchronous distributed constraint optimization with quality guarantees , 2005, Artif. Intell..

[3]  Michael J. Maher,et al.  The Semantics of Constraint Logic Programs , 1998, J. Log. Program..

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

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

[6]  Martine Ceberio,et al.  Speculative Constraint Processing with Iterative Revision for Disjunctive Answers , 2005, CLIMA.

[7]  Raymond Reiter,et al.  A Logic for Default Reasoning , 1987, Artif. Intell..

[8]  Katsumi Inoue,et al.  Speculative Computation Through Consequence-Finding in Multi-Agent Environments , 2004, Annals of Mathematics and Artificial Intelligence.

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

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

[11]  Makoto Yokoo,et al.  The Distributed Constraint Satisfaction Problem: Formalization and Algorithms , 1998, IEEE Trans. Knowl. Data Eng..

[12]  Seif Haridi,et al.  Programming Paradigms of the Andorra Kernel Language , 1991, ISLP.

[13]  Krysia Broda,et al.  On the Implementation of Speculative Constraint Processing , 2009, CLIMA.

[14]  Xavier Défago,et al.  Agent-based approach to dynamic meeting scheduling problems , 2004, Proceedings of the Third International Joint Conference on Autonomous Agents and Multiagent Systems, 2004. AAMAS 2004..

[15]  Ken Satoh,et al.  Speculative computation with multi-agent belief revision , 2002, AAMAS '02.

[16]  Philippe Codognet,et al.  Speculative Constraint Processing in Multi-agent Systems , 2003, PRIMA.

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

[18]  Gert Smolka,et al.  The Oz Programming Model , 1996, Computer Science Today.

[19]  Eugene C. Freuder,et al.  Constraint-based reasoning and privacy/efficiency tradeoffs in multi-agent problem solving , 2005, Artif. Intell..

[20]  Philippe Codognet,et al.  Agent-Based Speculative Constraint Processing , 2007, IEICE Trans. Inf. Syst..

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

[22]  Ken Satoh,et al.  Speculative Computation and Abduction for an Autonomous Agent , 2005, IEICE Trans. Inf. Syst..