Parts of the material in this paper has previously been presented at DALT 2006 and AAMAS 2007.
DESIGNING PROTOCOLS FOR ABDUCTIVE HYPOTHESIS REFINEMENT IN DYNAMIC MULTIAGENT ENVIRONMENTS
Article first published online: 11 SEP 2012
© 2012 Wiley Periodicals, Inc.
How to Cite
Bourgne, G. and Maudet, N. (2012), DESIGNING PROTOCOLS FOR ABDUCTIVE HYPOTHESIS REFINEMENT IN DYNAMIC MULTIAGENT ENVIRONMENTS. Computational Intelligence. doi: 10.1111/j.1467-8640.2012.00468.x
- Article first published online: 11 SEP 2012
- Received 22 June 2009; Revised 16 July 2012; Accepted 16 July 2012
- hypothetical reasoning;
- communication protocols;
This paper studies multiagent systems where each agent has access to local observations of a dynamic environment and needs to build from this partial information an hypothesis on the state of the system. Each agent ensures that its hypothesis is consistent with its observations, and communicates with other agents to refine this hypothesis by confronting them to their own views. However, these communications are restricted by temporal and topological constraints, and can only be bilateral. We first study in this paper an abstract model of this problem, identifying conditions under which satisfying states can (or will) be reached. We rely in particular on a compositional consistency relation. We then detail a case study involving agents able to reason abductively (with Theorist), and study how demanding are the conditions required in this context. Different bilateral protocols are finally introduced and formally studied, to account for both compositional and noncompositional settings.