OATAO - Open Archive Toulouse Archive Ouverte Open Access Week

Modal Specifications for Composition of Agent Behaviors

Farhat, Hikmat and Feuillade, Guillaume Modal Specifications for Composition of Agent Behaviors. (2014) In: International Conference on Agents and Artificial Intelligence - ICAART 2014, 6 March 2014 - 8 March 2014 (Anger, France).

[img] (Document in English)

PDF (Author's version) - Depositor and staff only - Requires a PDF viewer such as GSview, Xpdf or Adobe Acrobat Reader
231kB

Official URL: http://dx.doi.org/10.5220/0004817804370444

Abstract

The goal of the behavior composition problem is to build a complex target behavior using several agent behaviors. We propose two extensions to the framework where agent behaviors are modeled by finite transition system and where the composition is done by coordinating the actions of the agents. The first extension is done by making the composition indirect: instead of choosing the actions of the agent, the composition is done by a controller issuing sets of instructions at each step. This allows to model problems where the agents behaviors are not fully controllable. The second extension is the use of modal specifications as a goal for the composition. These specifications express (infinite) sets of acceptable behaviors. We give an algorithm to solve the extended composition problem and we show that these two extensions retain the important properties of the initial framework and that the synthesis algorithm keep the same complexity.

Item Type:Conference or Workshop Item (Paper)
Additional Information:Thanks to ScitePress editor. The definitive version is available at http://www.scitepress.org/DigitalLibrary/Link.aspx?doi=10.5220/0004817804370444
Audience (conference):International conference proceedings
Uncontrolled Keywords:
Institution:French research institutions > Centre National de la Recherche Scientifique - CNRS (FRANCE)
Université de Toulouse > Institut National Polytechnique de Toulouse - INPT (FRANCE)
Other partners > Notre Dame University-Louaize - NDU (LEBANON)
Université de Toulouse > Université Toulouse III - Paul Sabatier - UPS (FRANCE)
Université de Toulouse > Université Toulouse - Jean Jaurès - UT2J (FRANCE)
Université de Toulouse > Université Toulouse 1 Capitole - UT1 (FRANCE)
Laboratory name:
Statistics:download
Deposited By: IRIT IRIT
Deposited On:31 Mar 2015 07:26

Repository Staff Only: item control page