MODULO 1LinguaggixCoord&Coop1 ABACO (Agent-Based Architecture for Cooperation) : unarchitettura ad agenti a supporto del coordinamento di attivita svolte.

Presentazione sul tema: "MODULO 1LinguaggixCoord&Coop1 ABACO (Agent-Based Architecture for Cooperation) : unarchitettura ad agenti a supporto del coordinamento di attivita svolte."— Transcript della presentazione:

1

2 MODULO 1LinguaggixCoord&Coop1 ABACO (Agent-Based Architecture for Cooperation) : unarchitettura ad agenti a supporto del coordinamento di attivita svolte da attori (umani)

3 MODULO 1LinguaggixCoord&Coop2 ABACO: per che cosa ABACO is e una semantica operazione per la notazione Ariadne Categories of Articulation Work Agenti attributi state behaviors (ACL scripts) Coordination Mechanisms Aggregazioni di agenti Composizione uniforme di agenti per rappresentare Coordination Mechanisms a qualunque livello

4 MODULO 1LinguaggixCoord&Coop3 ABACO: perche usare gli agenti ABACO e unarchitettura multi-agente Un approccio sistemico localita interazione capacita di percepire lambiente degli agenti Comportamento globale emerge da: interazioni locali + reazione a stimoli dallambiente

5 MODULO 1LinguaggixCoord&Coop4 La struttura di ABACO (agenti) Stato interno + comportamento in termini di comunicazioni Un agent communication language (ACL) uniforme garantisce interoperabilita tra agenti eterogenei Le primitive importanti: create( *...) define( *...)/tell(new behavior:...)

6 MODULO 1LinguaggixCoord&Coop5 La struttura interna degli agenti (dett.) script Working memory attribute value script local databehavior internal state script

7 MODULO 1LinguaggixCoord&Coop6 La sintassi del linguaggio di coordinamento (ACL) * ; * ::= * | behavior ::= * | new-behavior: ::= tell ( [{ *}]) | ask ( [{ *}]) | create ( * [{ *}]) | define ( * [{ *}]) ::= + | + ::= all ( ) | anyof ( ) ::= send to : ::= | ::= | ; ::= [IF ] | ::= + ::= [IF ] | [IF ] //

8 MODULO 1LinguaggixCoord&Coop7 Tre ruoli utente Comportamenti modulari da assegnare ad agenti (description agents-DA) Programmatore Definizione incrementale di CM/agenti (template agents-TA) management/ utente finale (CM designer ) Attivazione a run-time di CM/agenti (instance agents-IA) utente finale

9 MODULO 1LinguaggixCoord&Coop8 La struttura di ABACO (architettura) End user Description agents UA User roles Programmer CM-definer System agentsApplication agents build behaviors build CMs put instances of CMs at work GUI Wrapper agent Template agents Instance agents EI LI CM EI LI CM Compound CM LI CM EI LI CM Compound CM Get behavior Compound CM 1 Compound CM n Instance of

10 MODULO 1LinguaggixCoord&Coop9 ciclo di interazione tra attore umano ed agenti architettura Attore umano Azioni su interfaccia wrapper agent user agent stimolo preparazione interfaccia agenti ridirige stimolo ad agenti Risposta con contenuti opportuni

11 MODULO 1LinguaggixCoord&Coop10 Principi di base per la creazione e definizione di TA I DA creano i TA corrispondenti con il comportamento minimale: capacita di richiedere al DA pezzi di comportamento Costruzione incrementale di TA In parallelo, il DA fornisce al ruolo definitore il comportamento che gli consente, quando assigned ad un Attore, di dire al Wrapper di costruire linterfaccia che consente allattore umano che gioca quel ruolo, di iniziare la definizione del TA Costruzione incrementale della interfaccia Ad ogni definizione di pezzi di TA, si attiva la richiesta del relativo comportamento al DA, attraverso il comportamento di default

12 MODULO 1LinguaggixCoord&Coop11 creazione di Template agents Category(DA) create(CM, category, category_ name { }) create_agent(CM, category, category_ name); send to category_ name: tell(new-behavior: define( { }) send to Category(DA): ask(behavior {, }) tell(new-behavior: behavior) incorporate_behavior ); send to Role_name: tell(new-behavior: assigned send to UA: tell( { }) ) UA Category(DA) create Category(TA) Category(TA) CM-definer create Category(TA) + add default behavior Template level Description level Role_name add behavior

13 MODULO 1LinguaggixCoord&Coop12 definizione di Template agents (cont) UA tell( { }) send to Wrapper: tell( { }) define( { }) send to Role_name: define( { }) || send to Task_name: define( { }) // scatenano il default behavior di Task e Role => ask al loro DA UA define (responsible for) Role(TA) CM-definer Template level TaskTA) define (responsible for) define (under responsibility of)

14 MODULO 1LinguaggixCoord&Coop13 definizione di Template agents (cont) Role(DA) ask(behavior {, }) send to Role_name: tell(new-behavior: assigned send to UA: tell( { }) tell( { }) send to Task_name: tell( { }) tell( { }) update_local_data(result) ) UA Role(DA) define (responsible for) Role(TA) CM-definer ask behavior Template level Description level tell behavior

15 MODULO 1LinguaggixCoord&Coop14 definizione di Template agents (cont) Task(DA) ask(behavior {, }) send to Task_name: tell(new-behavior: tell( { }) compute_local_data; send to Role_name: tell( { }) ) UA Task(DA) define (under responsibility of) Task(TA) CM-definer ask behavior Template level Description level tell behavior

16 MODULO 1LinguaggixCoord&Coop15 definizione di Template agents UA tell( { }) send to Wrapper: tell( { }) tell( { }) send to Role_name: tell( { }) UA tell(event:activate) Role(TA) CM-definer Template level tell(event:activate) tell(activate) Task(TA) tell(event:activate) Instance level Task(IA) tell(activate)

17 MODULO 1LinguaggixCoord&Coop16 assegnamento di Attori a Ruoli ACTOR define( ) send to Role_name: ask(behavior{ }) tell( ) assigned = true; incorporate_behavior Role ask(behavior { }) send to Actor_name: tell( }) UA Actor define (assigned to) Role CM-definer ask behavior tell behavior

18 MODULO 1LinguaggixCoord&Coop17 creazione di Costellazioni UA create( { ) create_constellation(name, local_interface_name); send to Role_name: tell(new-behavior: assigned send to UA: tell( ) ) UA create constellation IA CM-definer create IA Role_name add behavior

19 MODULO 1LinguaggixCoord&Coop18 Una semantica per ACL (cont) Semantica operazionale di ACL espressa in termini di SA nets Interprete dellagente e una Rete di Petri che seleziona i messaggi ricevuti ne sceglie uno in base al match con gli script (LHS) attiva il comportamento di reazione (RHS)

20 MODULO 1LinguaggixCoord&Coop19 Una semantica per ACL Select | IN out1 Agent interpreter out1 outn Script1Scriptn outn restart

21 MODULO 1LinguaggixCoord&Coop20 Conclusioni Per chi interessato: Integrazione in ABACO di aspetti spaziali fisici context-aware computing Progetti di utilizzo di RTP per implementare ABACO (cfr. Lucidi ABACORTP)

22 MODULO 1LinguaggixCoord&Coop21 Il ciclo di vita per progettare supporti al coordinamento Operational semantics agents aggregation CONCEPTUAL ARCHITECTURE Operational semantics components composition CONCRETE ARCHITECTURE Implementation field of work distributed actors define/modify actions coordination mechanism CAWs relations + artifact coordination