Behavior Composition
With computers now present in everyday devices like mobile phones, credit cards, cars and planes or places like homes, offices and factories, the trend is to build embedded complex systems from a collection of simple components. A complex surveillance system for a smart house can be then “realised” (i.e., implemented) by suitably coordinating the behaviours (i.e., the operational logic) of hundreds (or thousands) of simple devices and artifacts (e.g., lights, blinds, a microwave, a vacuum cleaner, video cameras, a floor cleaning robot, etc.) installed in the house. The problem then is how to automatically build an embedded controller-coordinator to bring about a desired target complex system by suitably coordinating the available components.
Behavior composition is not restricted to smart environments and can also be applied to build complex systems in advanced manufacturing systems, web-services, or even in video games, for story generation.
A short (fairly easy to read) overview paper on the topic and a more in-depth journal article on the topic are:
-
Giuseppe De Giacomo, Fabio Patrizi, and Sebastian Sardina. Building virtual behaviors from partially controllable available behaviors in nondeterministic environments. In Proceedings of the International Conference on Automated Planning and Scheduling (ICAPS), pages 523-526, Portsmouth, NH, USA, 2014. AAAI Press.
-
Giuseppe De Giacomo, Fabio Patrizi, and Sebastian Sardina. Automatic behavior composition synthesis. Artificial Intelligence Journal, 196:106-142, 2013.
A tutorial on the topic delivered at IJCAI'15 can be found here.