Abstract
In this paper, we extend our framework of speculative computation in multi-agent systems by using default constraints. In research on multi-agent systems, handling incomplete information due to communication failure or due to other agents’ delay in communication, is a very important issue. For a solution to this problem, we previously proposed speculative computation based on abduction in the context of master-slave multi-agent systems and gave a procedure in abductive logic programming. In the proposal, a master agent prepares a default value for a yes/no question in advance and it performs speculative computation using the default without waiting for a reply to the question. This computation is effective unless the contradictory reply to the default is returned. In this paper, we formalize speculative constraint processing and propose a correct procedure for such computation so that we can handle not only yes/no questions, but also more general types of questions.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
Janson, S., Haridi, S.: Programming Paradigms of the Andorra Kernel Language. In: Proc. of ISLP 1991, pp. 167–186 (1991)
Saraswat, V.A.: Concurrent constraint programming. Doctoral Dissertation Award and Logic Programming Series. MIT Press, Cambridge (1993)
Satoh, K., Inoue, K., Iwanuma, K., Sakama, C.: Speculative Computation by Abduction under Incomplete Communication Environments. In: Proc. of ICMAS 2000, pp. 263–270 (2000)
Smolka, G.: The Oz Programming Model. In: van Leeuwen, J. (ed.) Computer Science Today. LNCS, vol. 1000, pp. 324–343. Springer, Heidelberg (1995)
Yokoo, M., Durfee, E.H., Ishida, T., Kuwabara, K.: The Distributed Constraint Satisfaction Problem: Formalization and Algorithms. TKDE 10(5), 673–685 (1998)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2003 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Satoh, K., Codognet, P., Hosobe, H. (2003). Speculative Constraint Processing in Multi-agent Systems. In: Lee, J., Barley, M. (eds) Intelligent Agents and Multi-Agent Systems. PRIMA 2003. Lecture Notes in Computer Science(), vol 2891. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-39896-7_12
Download citation
DOI: https://doi.org/10.1007/978-3-540-39896-7_12
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-20460-2
Online ISBN: 978-3-540-39896-7
eBook Packages: Springer Book Archive