Speculative Constraint Processing with Iterative Revision for Disjunctive Answers

  • Martine Ceberio
  • Hiroshi Hosobe
  • Ken Satoh
Part of the Lecture Notes in Computer Science book series (LNCS, volume 3900)


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).


Belief Revision Default Rule Constraint Logic Programming Alternative Answer Ordinary Process 


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    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)MathSciNetCrossRefMATHGoogle Scholar
  2. 2.
    Janson, S., Haridi, S.: Programming paradigms of the andorra kernel language. In: Proc. of ISLP 1991, pp. 167–186 (1991)Google Scholar
  3. 3.
    Kowalski, R.A., Sadri, F.: From logic programming towards multi-agent systems. Annals of Mathematics and Artificial Intelligence 25, 391–419 (1999)MathSciNetCrossRefMATHGoogle Scholar
  4. 4.
    Sadri, F., Toni, F.: Interleaving belief revision and reasoning: Preliminary report. In: Proc. of Convegno Italiano di Logica Computazionale (CILC) (2005)Google Scholar
  5. 5.
    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)CrossRefGoogle Scholar
  6. 6.
    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)Google Scholar
  7. 7.
    Satoh, K., Yamamoto, K.: Speculative computation with multi-agent belief revision. In: Proc. of AAMAS 2002, pp. 897–904 (2002)Google Scholar
  8. 8.
    Schulte, C.: Programming Constraint Services. LNCS, vol. 2302. Springer, Heidelberg (2002)MATHGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2006

Authors and Affiliations

  • Martine Ceberio
    • 1
  • Hiroshi Hosobe
    • 2
  • Ken Satoh
    • 2
  1. 1.University of Texas at El PasoEl PasoUSA
  2. 2.National Institute of InformaticsTokyoJapan

Personalised recommendations