The problem of ensuring the execution of tasks in a constrained multi-agent system was studied. Some operators were proposed that could be mapped into a library of the languages used to encode the agents in the system. A formalism was also suggested that is used to express the way agents can coordinate the requests of services, and to verify that they do not collide with each other's conditions.

Coordinating the safe execution of tasks in a constrained multi-agent system

MELLO, Paola;TORRONI, PAOLO;LAMMA, Evelina
2002

Abstract

The problem of ensuring the execution of tasks in a constrained multi-agent system was studied. Some operators were proposed that could be mapped into a library of the languages used to encode the agents in the system. A formalism was also suggested that is used to express the way agents can coordinate the requests of services, and to verify that they do not collide with each other's conditions.
2002
1-58113-480-0
Formalisms and logics; Logic programming; Multi-Agent Systems; Service composition; Task Execution; Engineering (all)
File in questo prodotto:
Non ci sono file associati a questo prodotto.

I documenti in SFERA 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/11392/2352132
 Attenzione

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

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