Skip to Main content Skip to Navigation
Journal articles

Designing Protocols for Abductive Hypothesis Refinement in Dynamic Multiagent Environments

Gauvain Bourgne 1 Nicolas Maudet 2
1 ACASA - Agents Cognitifs et Apprentissage Symbolique Automatique
LIP6 - Laboratoire d'Informatique de Paris 6
2 SMA - Systèmes Multi-Agents
LIP6 - Laboratoire d'Informatique de Paris 6
Abstract : 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.
Document type :
Journal articles
Complete list of metadatas
Contributor : Lip6 Publications <>
Submitted on : Tuesday, June 30, 2015 - 4:45:36 PM
Last modification on : Thursday, July 4, 2019 - 6:08:03 PM

Links full text



Gauvain Bourgne, Nicolas Maudet. Designing Protocols for Abductive Hypothesis Refinement in Dynamic Multiagent Environments. Computational Intelligence, Wiley, 2014, 30 (2), pp.362-401. ⟨10.1111/j.1467-8640.2012.00468.x⟩. ⟨hal-01170013⟩



Record views