Stabilization of Information Sharing for Queries Answering in Multiagent Systems

Authors:
Phan Minh Dung;Do Duc Hanh;Phan Minh Thang
Affiliations:
Computer Science and Information Management, Asian Institute of Technology, Thailand;Computer Science and Information Management, Asian Institute of Technology, Thailand;Computer Science and Information Management, Asian Institute of Technology, Thailand
Venue:
ICLP '09 Proceedings of the 25th International Conference on Logic Programming
Year:
2009

Citing 6
Cited 0

Self-stabilization

ACM Computing Surveys (CSUR)
Self-stabilizing systems in spite of distributed control

Communications of the ACM
Speculative computation with multi-agent belief revision

Proceedings of the first international joint conference on Autonomous agents and multiagent systems: part 2
Abduction in Logic Programming

Computational Logic: Logic Programming and Beyond, Essays in Honour of Robert A. Kowalski, Part I
Stabilization of cooperative information agents in unpredictable environment: a logic programming approach

Theory and Practice of Logic Programming
An abductive framework for information exchange in multi-agent systems

CLIMA IV'04 Proceedings of the 4th international conference on Computational Logic in Multi-Agent Systems

Quantified Score

Hi-index	0.00

Visualization

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.