Advertisement

On the Implementation of Speculative Constraint Processing

  • Jiefei Ma
  • Alessandra Russo
  • Krysia Broda
  • Hiroshi Hosobe
  • Ken Satoh
Part of the Lecture Notes in Computer Science book series (LNCS, volume 6214)

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.

Keywords

Multiagent System Belief Revision Choice Point Original Process Iterative Revision 
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.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    Satoh, K., Inoue, K., Iwanuma, K., Sakama, C.: Speculative computation by abduction under incomplete communication environments. In: ICMAS, pp. 263–270 (2000)Google Scholar
  2. 2.
    Satoh, K., Yamamoto, K.: Speculative computation with multi-agent belief revision. In: AAMAS, pp. 897–904 (2002)Google Scholar
  3. 3.
    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)CrossRefGoogle Scholar
  4. 4.
    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)CrossRefGoogle Scholar
  5. 5.
    Satoh, K.: Speculative computation and abduction for an autonomous agent. IEICE Transactions 88-D(9), 2031–2038 (2005)CrossRefGoogle Scholar
  6. 6.
    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)Google Scholar
  7. 7.
    YAP Prolog 5.1.3 manual (June 2008), http://www.dcc.fc.up.pt/~vsc/Yap/index.html

Copyright information

© Springer-Verlag Berlin Heidelberg 2010

Authors and Affiliations

  • Jiefei Ma
    • 1
  • Alessandra Russo
    • 1
  • Krysia Broda
    • 1
  • Hiroshi Hosobe
    • 2
  • Ken Satoh
    • 2
  1. 1.Imperial College LondonUnited Kingdom
  2. 2.National Institute of InformaticsJapan

Personalised recommendations