Stabilization of Information Sharing for Queries Answering in Multiagent Systems

  • Phan Minh Dung
  • Do Duc Hanh
  • Phan Minh Thang
Part of the Lecture Notes in Computer Science book series (LNCS, volume 5649)


We consider multiagent systems situated in unpredictable environments. Agents viewed as abductive logic programs with abducibles being literals the agent could sense or receive from other agents, must cooperate to provide answers to users as they may not have the knowledge or the capabilities to sense relevant changes in their environment. As their surroundings may change unpredictably, agents may provide wrong answers to queries. Stabilization refers to a capability of the agents to eventually answer queries correctly despite unpredictable environment changes and the incapability of many agents to sense such changes.It could be viewed as the correctness criterium of communicating cooperative multiagent systems.

For efficiency, a piece of information obtained from other agents may be used to answer many queries. Surprisingly, this natural form of ”information sharing” may be a cause of non–stabilization of multiagent systems. We formulate postulates and present a formal framework for studying stabilization with information sharing and give sufficient conditions to ensure it.


Stabilization Information Sharing Abductive Logic Programs Cooperative Multiagent Systems 


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Denecker, M., Kakas, A.C.: Abduction in logic programming. In: Kakas, A.C., Sadri, F. (eds.) Computational Logic: Logic Programming and Beyond. LNCS, vol. 2407, pp. 402–436. Springer, Heidelberg (2002)CrossRefGoogle Scholar
  2. 2.
    Dijkstra, E.W.: Self-stabilizing systems in spite of distributed control. Commun. ACM 17(11), 643–644 (1974)CrossRefzbMATHGoogle Scholar
  3. 3.
    Dung, P.M.: An argumentation-theoretic foundations for logic programming. Journal of Logic Programming 22(2), 151–171 (1995)MathSciNetCrossRefzbMATHGoogle Scholar
  4. 4.
    Dung, P.M., Hanh, D.D., Thang, P.M.: Stabilization of cooperative information agents in unpredictable environment: a logic programming approach. TPLP 6(1-2), 1–22 (2006)MathSciNetzbMATHGoogle Scholar
  5. 5.
    Eshghi, K., Kowalski, R.A.: Abduction compared with negation by failure. In: ICLP, pp. 234–254 (1989)Google Scholar
  6. 6.
    Flatebo, M., Datta, A.K.: Self-stabilization in distributed systems. In: Flatebo, M., Datta, A.K. (eds.) Readings in Distributed Computer Systems, ch. 2, pp. 100–114. IEEE Computer Society Press, Los Alamitos (1994)Google Scholar
  7. 7.
    Fung, T., Kowalski, R.A.: The Iff proof procedure for abductive logic programming. Journal of Logic Programming 33(2), 151–165 (1997)MathSciNetCrossRefzbMATHGoogle Scholar
  8. 8.
    Gavanelli, M., Lamma, E., Mello, P., Torroni, P.: An abductive framework for information exchange in multi-agent systems. In: Dix, J., Leite, J. (eds.) CLIMA 2004. LNCS, vol. 3259, pp. 34–52. Springer, Heidelberg (2004)CrossRefGoogle Scholar
  9. 9.
    Gelfond, M., Vladimir Lifschitz, V.: The stable model semantics for logic programming. In: ICLP/SLP, pp. 1070–1080 (1988)Google Scholar
  10. 10.
    Kakas, A.C., Robert, A., Kowalski, R.A., Toni, F.: The role of abduction in logic programming. Handbook of Logic in AI and Logic Programming, OUP 5, 235–324 (1998)MathSciNetGoogle Scholar
  11. 11.
    Satoh, K., Yamamoto, K.: Speculative computation with multi-agent belief revision. In: AAMAS, pp. 897–904 (2002)Google Scholar
  12. 12.
    Schneider, M.: Self-stabilization. ACM Computing Survey 25(1), 45–67 (1993)CrossRefGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2009

Authors and Affiliations

  • Phan Minh Dung
    • 1
  • Do Duc Hanh
    • 1
  • Phan Minh Thang
    • 1
  1. 1.Computer Science and Information ManagementAsian Institute of TechnologyThailand

Personalised recommendations