Abstract
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.
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
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)
Dijkstra, E.W.: Self-stabilizing systems in spite of distributed control. Commun. ACM 17(11), 643–644 (1974)
Dung, P.M.: An argumentation-theoretic foundations for logic programming. Journal of Logic Programming 22(2), 151–171 (1995)
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)
Eshghi, K., Kowalski, R.A.: Abduction compared with negation by failure. In: ICLP, pp. 234–254 (1989)
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)
Fung, T., Kowalski, R.A.: The Iff proof procedure for abductive logic programming. Journal of Logic Programming 33(2), 151–165 (1997)
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)
Gelfond, M., Vladimir Lifschitz, V.: The stable model semantics for logic programming. In: ICLP/SLP, pp. 1070–1080 (1988)
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)
Satoh, K., Yamamoto, K.: Speculative computation with multi-agent belief revision. In: AAMAS, pp. 897–904 (2002)
Schneider, M.: Self-stabilization. ACM Computing Survey 25(1), 45–67 (1993)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2009 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Dung, P.M., Hanh, D.D., Thang, P.M. (2009). Stabilization of Information Sharing for Queries Answering in Multiagent Systems. In: Hill, P.M., Warren, D.S. (eds) Logic Programming. ICLP 2009. Lecture Notes in Computer Science, vol 5649. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-02846-5_12
Download citation
DOI: https://doi.org/10.1007/978-3-642-02846-5_12
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-02845-8
Online ISBN: 978-3-642-02846-5
eBook Packages: Computer ScienceComputer Science (R0)