Normative Multi-Agent Normative Multi-Agent Organizations: Organizations: Modeling, Support and Control Modeling, Support and Control MOISE-Inst and SYNAI MOISE-Inst and SYNAI (1,2) O. Boissier (1) , B. Gâteau âteau (1,2) O. Boissier (1) , B. G (1) MAS/G2I/ENSM.SE (2) CITI/CRP Henri Tudor Olivier.Boissier@emse.fr Benjamin.Gateau@tudor.lu 1 1 O. Boissier, B. Gateau 19th march 2007
Practical Motivations Practical Motivations Context: Interactive TV Games • Aim : Development of a generic infrastructure • to support execution of iTV Games Requirements : • Roles, Groups and Behavior patterns are important elements of a Game • Use of an Organizational Model to represent them in an explicit manner Explicit rules and strategies control players in a game (use of penalties and • rewards) Use of Norms to represent them Users may have the possibility to violate the rules • Use of Avatars controlled by users such that: Each agent is under the control of its user who decides to violate/respect rules Agents should have autonomy with respect to norms and organization Game must be regulated and controlled • Use of a normative system Use of agents/services to enforce the norms, the organization constraints 2 2 O. Boissier, B. Gateau 19th march 2007
Global Picture of Organizations in MAS Agents don’t know Agents know about organization about organization Pattern of Pattern of Emergent Organization Emergent MAS MAS MAS Cooperation MAS Pattern of MAS MAS MAS Pattern of Predefined Organization Predefined Cooperation
Global Picture of Organizations in MAS Agents don’t know Agents know about organization about organization Pattern of Organization is Emergent Observed. Organization is Observed. Organization MAS MAS Implicitly programmed Coalition Mechanisms Agent in Agents, Interactions, programmed in the Agents. Centered Point of Environment. View Organization is Organization is Pattern of interpreted/programmed MAS MAS a design model. Predefined by the Agents, It may be Hard Coded Organization and/or by specialized in the Agents. Organization middleware services. Centered Point of View Our Focus
Programming Organizations Programming Organizations MAS Organization Interaction Environment MAS Services Services Services Services “Multi-Agent Platform” AMS DF ACC Organization Specification (OS) defined using an Organization Modeling Language (OML), e.g. AGR, IDL, OMNI, MOISE+ Organization Infrastructure (OI), e.g. Madkit, AMELI, OMNI, S-MOISE+ used to execute and to interpret the OS, building an Organizational Entity (OE), i.e. set of agents executing within an OS 5 5 O. Boissier, B. Gateau 19th march 2007
Research Motivations Research Motivations MAS Domain Agents: subject to organization Supervisor CS SS NS Agents FS MAS Services Interaction Services Environment Services “Multi-Agent Platform” AMS DF ACC • Enrich MOISE+ OML with norms Moise-Inst OML • Define architecture of the Organization Infrastructure (OI) Synai • Define supervisor agents, i.e. agents playing a role in the regulation of the organization Regulation OS 6 6 O. Boissier, B. Gateau 19th march 2007
Our Approach Our Approach Organization and Rules of the Game. Avatars MAS Domain Agents SS CS Synai NS FS MAS Services Interaction Services Environment Services “Multi-Agent Platform” AMS DF ACC 7 7 O. Boissier, B. Gateau 19th march 2007
Outline Outline • Introduction • Motivations • Global sketch of our approach • Normative Organization Modeling • Normative Organization Support • Architecture • Control • Conclusion and perspectives 8 8 O. Boissier, B. Gateau 19th march 2007
Normative Organisation Modeling Modeling Normative Organisation “MOISE Inst” OML to define OS with four independent dimensions (based on Moise+ [Hübner 02]) Structural Specification (SS) structure of the organization in term of roles, groups and links SS CS NS FS 9 9 O. Boissier, B. Gateau 19th march 2007
Normative Organisation Modeling Modeling Normative Organisation “MOISE Inst” OML to define OS with four independent dimensions (based on Moise+ [Hübner 02]) Structural Specification (SS) structure of the organization in term of roles, groups and links • Functional Specification SS CS NS (FS) goals to be FS achieved in the organization 10 10 O. Boissier, B. Gateau 19th march 2007
Normative Organisation Modeling Modeling Normative Organisation “MOISE Inst” OML to define OS with four independent dimensions (based on Moise+ [Hübner 02]) Contextual Specification (CS) Structural Specification (SS) all possible “a priori” structure of the organization in states of the organization term of roles, groups and links Functional Specification (FS) SS CS goals to be achieved NS in the organization FS 11 11 O. Boissier, B. Gateau 19th march 2007
Normative Organisation Modeling Modeling Normative Organisation “MOISE Inst” OML to define OS with four independent dimensions (based on Moise+ [Hübner 02]) Contextual Specification (CS) Structural Specification (SS) all possible “a priori” structure of the organization in states of the organization term of roles, groups and links Functional • Normative Specification (FS) SS CS goals to be achieved Specification (NS) NS in the organization FS norms gluing all SS, FS and CS together 12 12 O. Boissier, B. Gateau 19th march 2007
MOISE-Inst Structural Specification MOISE-Inst Structural Specification Soc key Player Group GameMaster 1..1 Role Abs Role BasicPlayer Chief 1..1 inheritance composition History Geo Science Sport OrgCandidate Links intra-group inter-group 1..1 1..1 1..1 1..1 *..n acq aut 4..4 com 1..1 Team Game compat Domain View 13 13 O. Boissier, B. Gateau 19th march 2007
MOISE-Inst Functional Specification MOISE-Inst Functional Specification key OrgEnter Scheme Functional Scheme Sanction Scheme g1 m1 g2 m2 g6 m9 goal missions sequence OrgExit Scheme g3 m3 Score Score g61 m10 g62 m10 g4 m4 g5 m4 choice parallelism Scheme Scheme Score Scheme Emotion Scheme g7 m11 g8 m13 g41 m4 g42 m4 g43 m4 g44 m4 g431 m4 g432 m7,m16 g441 m4 g442 m8,m16 g71 m12 g72 m12 g81 m14 g82 m15 g411 m4 g412 m5,m16 g421 m4 g422 m6,m16 g6: Sanction applied g61: Player ejected g62: Team disqualified g41: "History" topic handled g43: "Sport" topic handled g7: Score changed g1: Team joined g411: "History" question asked g431: "Sport" question asked g71: Score increased g2: X pts scored g412: "History" question answered g432: "Sport" question answered g72: Score decreased g4: Topic handled g42: "Geo" topic handled g44: "Science" topic handled g8: Emotion shown g421: "Geo" question asked g441: "Science" question asked g5: Answer evaluated g81: Be happy g3: Team quit g422: "Geo" question answered g442: "Science" question answered g82: Be sad 14 14 O. Boissier, B. Gateau 19th march 2007
MOISE-Inst Functional Specification MOISE-Inst Functional Specification key OrgEnter Scheme Functional Scheme Sanction Scheme g1 m1 g2 m2 g6 m9 goal missions sequence OrgExit Scheme g3 m3 Score Score g61 m10 g62 m10 g4 m4 g5 m4 choice parallelism Scheme Scheme Score Scheme Emotion Scheme g7 m11 g8 m13 g41 m4 g42 m4 g43 m4 g44 m4 g431 m4 g432 m7,m16 g441 m4 g442 m8,m16 g71 m12 g72 m12 g81 m14 g82 m15 g411 m4 g412 m5,m16 g421 m4 g422 m6,m16 g6: Sanction applied g61: Player ejected g62: Team disqualified g41: "History" topic handled g43: "Sport" topic handled g7: Score changed g1: Team joined g411: "History" question asked g431: "Sport" question asked g71: Score increased g2: X pts scored g412: "History" question answered g432: "Sport" question answered g72: Score decreased g4: Topic handled g42: "Geo" topic handled g44: "Science" topic handled g8: Emotion shown g421: "Geo" question asked g441: "Science" question asked g5: Answer evaluated g81: Be happy g3: Team quit g422: "Geo" question answered g442: "Science" question answered g82: Be sad 15 15 O. Boissier, B. Gateau 19th march 2007
Recommend
More recommend
