Alex Benini
abstract
L'infrastruttura TuCSoN consente di coordinare più agenti eterogenei attraverso artefatti chiamati spazi di tuple i quali posssono essere visti come contenitori di informazioni scambiate fra gli agenti. Questo studio vuole valutare l'infrastruttura da un'altro punto di vista, ovvero considerare gli spazi di tuple non come dei semplici contenitori di messaggi ma come “contenitori di conoscenza”. Questa nuova definizione induce subito a pensare gli spazi di tuple come “fatti” di una teoria logica.
Si vuole verificare se l'attuale TuCSoN consente di realizzare tale astrazione o se, al contrario, ci sono limitazioni che necessitano di una modifica all'infrastruttura stessa. Per fare questo si è scelto di realizzare un sistema composto da due categorie di agenti: agenti explorer (reattivi) in grado di esplorare un grafo e inserirne la descrizione in un centro di tuple, e agenti logici (deliberativi) in grado di compiere ricerche o valutare percorsi minimi all'interno del grafo utilizzando solo la conoscenza acquisita dagli agenti explorer. Con questo lavoro si vuole quindi verificare se è possibile realizzare la coordinazione di agenti eterogenei attraverso teorie logiche utilizzando l'attuale infrastruttura TuCSoN.
outcomes
