Automatic Synthesis & Composition of Agent Behaviors
Giuseppe De Giacomo, Fabio Patrizi and Sebastian Sardina
The tutorial will survey some of the major developments in agent behavior synthesis and composition. The tutorial will cover the problem specification, the various techniques developed to solve it, and the relationship with various problems in several areas of CS and AI.
The behavior composition problem involves automatically synthesising a controller-coordinator that can implement a given desired but non-existing target complex behaviour (e.g., a home entertainment system) by using a set of available existing behaviour modules (e.g., video cameras, TVs, lights, music and game devices, etc.). A behaviour here refers to the operational logic of a system and is general represented as a transition system. This composition synthesis problem is important in that it can be recast in a variety of forms within several sub-areas of Artificial Intelligence and Computer Science, including robot ecologies and intelligent spaces, agent programming and multi-agent system, web-service composition, automated planning, among others.