Abstract
Speculative computation has been proposed for reasoning with incomplete information in multi-agent systems. This paper presents the first multi-threaded implementation for speculative constraint processing with iterative revision for disjunctive answers in master-slave multi-agent systems.
Access provided by Autonomous University of Puebla. Download to read the full chapter text
Chapter PDF
Similar content being viewed by others
Keywords
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
References
Satoh, K., Inoue, K., Iwanuma, K., Sakama, C.: Speculative computation by abduction under incomplete communication environments. In: ICMAS, pp. 263–270 (2000)
Satoh, K., Yamamoto, K.: Speculative computation with multi-agent belief revision. In: AAMAS, pp. 897–904 (2002)
Satoh, K., Codognet, P., Hosobe, H.: Speculative constraint processing in multi-agent systems. In: Lee, J.-H., Barley, M.W. (eds.) PRIMA 2003. LNCS (LNAI), vol. 2891, pp. 133–144. Springer, Heidelberg (2003)
Ceberio, M., Hosobe, H., Satoh, K.: Speculative constraint processing with iterative revision for disjunctive answers. In: Toni, F., Torroni, P. (eds.) CLIMA 2005. LNCS (LNAI), vol. 3900, pp. 340–357. Springer, Heidelberg (2006)
Satoh, K.: Speculative computation and abduction for an autonomous agent. IEICE Transactions 88-D(9), 2031–2038 (2005)
Inoue, K., Kawaguchi, S., Haneda, H.: Controlling speculative computation in multi-agent environments. In: Proc. Second Int. Workshop on Computational Logic in Multiagent Systems (CLIMA 2001), pp. 9–18 (2001)
YAP Prolog 5.1.3 manual (June 2008), http://www.dcc.fc.up.pt/~vsc/Yap/index.html
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2010 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Ma, J., Russo, A., Broda, K., Hosobe, H., Satoh, K. (2010). On the Implementation of Speculative Constraint Processing. In: Dix, J., Fisher, M., Novák, P. (eds) Computational Logic in Multi-Agent Systems. CLIMA 2009. Lecture Notes in Computer Science(), vol 6214. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-16867-3_10
Download citation
DOI: https://doi.org/10.1007/978-3-642-16867-3_10
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-16866-6
Online ISBN: 978-3-642-16867-3
eBook Packages: Computer ScienceComputer Science (R0)