Résultats de complexité pour le problème de la composition d'agents

Abstract

International audienceIn order to realize complex tasks by agents, it is sometimes necessary to compose them. The agent compositionhas been characterized either as a plan synthesis problem or as a software synthesis problem : given a goal and aset of agents, generate a composition of the agents that satisfies the goal. We propose algorithms, based on recentadvances in automated synthesis of controllers, for performing automated composition of agents. We also givecomplexity result concerning this problem.Pour que des agents puissent réaliser des tâches complexes, il est nécessaire de composer entre eux ces agents.La composition d’agents a été caractérisée comme étant un problème de synthèse de plan ou comme étant un problème de synthèse de logiciel : étant donnés un but et un ensemble d’agents, générer une composition des agents qui satisfait le but. Nous proposons des algorithmes, basés sur des résultats récents de synthèse automatique de contrôleurs, pour réaliser la composition automatique d’agents. Nous donnons également des résultats concernant la complexité de ce problème