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.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.
