Abstract
In multi-agents systems, incompleteness, due to either communication failure or response delay, is a major problem to handle. To face incompleteness, frameworks for speculative computation were proposed (see references [5, 6, 7]). The idea developed in such frameworks is to allow the asking agent, while waiting for the slave agents to reply, to reason using default beliefs until replies are sent.
In particular, K. Satoh and K. Yamamoto [7] proposed a framework that allows an agent not only to perform speculative computation, but also to accept iterative answer revision for yes/no questions. In this paper, we present an extension of the framework for more general types of questions using constraint logic programming (CLP).
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Jaffar, J., Maher, M.J., Marriott, K., Stuckey, P.J.: The semantics of constraint logic programs. Journal of Logic Programming 37(1-3), 1–46 (1998)
Janson, S., Haridi, S.: Programming paradigms of the andorra kernel language. In: Proc. of ISLP 1991, pp. 167–186 (1991)
Kowalski, R.A., Sadri, F.: From logic programming towards multi-agent systems. Annals of Mathematics and Artificial Intelligence 25, 391–419 (1999)
Sadri, F., Toni, F.: Interleaving belief revision and reasoning: Preliminary report. In: Proc. of Convegno Italiano di Logica Computazionale (CILC) (2005)
Satoh, K., Codognet, P., Hosobe, H.: Speculative constraint processing in multiagent systems. In: Lee, J.-H., Barley, M.W. (eds.) PRIMA 2003. LNCS, vol. 2891, pp. 133–144. Springer, Heidelberg (2003)
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)
Satoh, K., Yamamoto, K.: Speculative computation with multi-agent belief revision. In: Proc. of AAMAS 2002, pp. 897–904 (2002)
Schulte, C.: Programming Constraint Services. LNCS, vol. 2302. Springer, Heidelberg (2002)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2006 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Ceberio, M., Hosobe, H., Satoh, K. (2006). Speculative Constraint Processing with Iterative Revision for Disjunctive Answers. In: Toni, F., Torroni, P. (eds) Computational Logic in Multi-Agent Systems. CLIMA 2005. Lecture Notes in Computer Science(), vol 3900. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11750734_19
Download citation
DOI: https://doi.org/10.1007/11750734_19
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-33996-0
Online ISBN: 978-3-540-33997-7
eBook Packages: Computer ScienceComputer Science (R0)