Agent, composition is the problem of realizing a "virtual" agent by suitably directing a set of available "concrete", i.e., already implemented, agents. It is a synthesis problem, since its solution amounts to synthesizing a controller that suitably directs the available agents. Agent composition has its roots in certain forms of service composition advocated for SOA, and it has been recently actively studied by AI and Agents community. In this paper, we show that agent composition can be solved by ATL (Alternating-time Temporal Logic) model checking. This results is of interest for at least two contrasting reasons. First, from the point of view of agent composition, it gives access to some of the most modern model checking techniques and state of the art tools, such as MCMAS, that have been recently developed by the Agent community. Second, from the point of view of ATL verification tools, it gives a novel concrete problem to look at, which puts emphasis on actually synthesize winning policies (the controller) instead of just checking that they exist. Copyright © 2010, International Foundation for Autonomous Agents and Multiagent Systems (www.ifaamas.org). All rights reserved.

Agent composition synthesis based on ATL / DE GIACOMO, Giuseppe; Felli, Paolo. - 1:(2010), pp. 499-506. (Intervento presentato al convegno 9th International Joint Conference on Autonomous Agents and Multiagent Systems 2010, AAMAS 2010 tenutosi a Toronto, ON nel 10 May 2010) [10.1145/1838206.1838277].

Agent composition synthesis based on ATL

DE GIACOMO, Giuseppe;FELLI, PAOLO
2010

Abstract

Agent, composition is the problem of realizing a "virtual" agent by suitably directing a set of available "concrete", i.e., already implemented, agents. It is a synthesis problem, since its solution amounts to synthesizing a controller that suitably directs the available agents. Agent composition has its roots in certain forms of service composition advocated for SOA, and it has been recently actively studied by AI and Agents community. In this paper, we show that agent composition can be solved by ATL (Alternating-time Temporal Logic) model checking. This results is of interest for at least two contrasting reasons. First, from the point of view of agent composition, it gives access to some of the most modern model checking techniques and state of the art tools, such as MCMAS, that have been recently developed by the Agent community. Second, from the point of view of ATL verification tools, it gives a novel concrete problem to look at, which puts emphasis on actually synthesize winning policies (the controller) instead of just checking that they exist. Copyright © 2010, International Foundation for Autonomous Agents and Multiagent Systems (www.ifaamas.org). All rights reserved.
2010
9th International Joint Conference on Autonomous Agents and Multiagent Systems 2010, AAMAS 2010
synthesis; agent composition; model checking. atl
04 Pubblicazione in atti di convegno::04b Atto di convegno in volume
Agent composition synthesis based on ATL / DE GIACOMO, Giuseppe; Felli, Paolo. - 1:(2010), pp. 499-506. (Intervento presentato al convegno 9th International Joint Conference on Autonomous Agents and Multiagent Systems 2010, AAMAS 2010 tenutosi a Toronto, ON nel 10 May 2010) [10.1145/1838206.1838277].
File allegati a questo prodotto
File Dimensione Formato  
VE_2010_11573-194293.pdf

solo gestori archivio

Tipologia: Versione editoriale (versione pubblicata con il layout dell'editore)
Licenza: Tutti i diritti riservati (All rights reserved)
Dimensione 354.2 kB
Formato Adobe PDF
354.2 kB Adobe PDF   Contatta l'autore

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/11573/194293
 Attenzione

Attenzione! I dati visualizzati non sono stati sottoposti a validazione da parte dell'ateneo

Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 12
  • ???jsp.display-item.citation.isi??? ND
social impact