Formalising Situatedness and Adaptation in Electronic Institutions Jordi Campos 1 , Maite López-Sánchez 1 , J. A. Rodríguez-Aguilar 2 , Marc Esteva 2 1 Universitat de Barcelona (UB) 2 Institut d'Intel·ligència Artificial (IIIA-CSIC)
Contents ● Introduction ● Electronic Institutions ● Situated Electronic Institutions ● Autonomic Electronic Institutions ● Related work ● Conclusions and future work Formalising Situatedness and Adaptation in Electronic Institutions (COIN - AAMAS'08) 12/05/08 2/27
Introduction: Context ● MAS context: MAS – Organisations in MAS ● approaches: – from a Participant perspective Organisations – from an Organisation perspective ● based on: Organisation perspective – social conventions (include norms) Participant ● Electronic Institution (EI): perspective ● normative MAS framework Formalising Situatedness and Adaptation in Electronic Institutions (COIN - AAMAS'08) 12/05/08 3/27
Introduction: Motivation – Motivation : Rules => Rules' ● extending EIs to other contexts: Electronic Institution (EI) (adaptive) – use EI's regulation capabilities to enhance to enhance an existing MAS. – adapt EI's social conventions to a dynamic set of participant agents. interaction Agent1 – Problem : Agent2 ● EI needs to be aware of world Existing dynamic social system (world) ● EI should adapt – Our approach : ● situatedness (SEI) ● To bring to an organisational ● adaptation (AEI) level two agent properties: Formalising Situatedness and Adaptation in Electronic Institutions (COIN - AAMAS'08) 12/05/08 4/27
Contents ● Introduction ● Electronic Institutions ● Situated Electronic Institutions ● Autonomic Electronic Institutions ● Related work ● Conclusions and future work Formalising Situatedness and Adaptation in Electronic Institutions (COIN - AAMAS'08) 12/05/08 5/27
Electronic Institution – EI = < DF, DC > DF DC EI ● DF: Dialogical Framework ● DC: Deontological Comp. Agent1 Agent2 External agents Formalising Situatedness and Adaptation in Electronic Institutions (COIN - AAMAS'08) 12/05/08 6/27
Electronic Institution: DF – EI = < DF, DC > DF DC EI ● Dialogical Framework inform(a1:role1, a2:role2, contents) – Ontology – Information Models – Social Structure – Communication Lang. role1 role2 attribs1 attribs2 ● Deontological Comp. Agent1 Agent2 External agents Formalising Situatedness and Adaptation in Electronic Institutions (COIN - AAMAS'08) 12/05/08 7/27
Electronic Institution: PS – EI = < DF, DC > DF DC EI ● Dialogical Framework – Ontology – Information Models – Social Structure – Communication Lang. ● Deontological Comp. – Performative Structure – Normative Structure Agent1 Agent2 External agents Formalising Situatedness and Adaptation in Electronic Institutions (COIN - AAMAS'08) 12/05/08 8/27
Electronic Institution: NS – EI = < DF, DC > DF DC EI Norm. State ● Dialogical Framework Rule – Ontology msg – Information Models – Social Structure Norm. State' -Obligation – Communication Lang. ● Deontological Comp. – Performative Structure – Normative Structure Agent1 Agent2 External agents Formalising Situatedness and Adaptation in Electronic Institutions (COIN - AAMAS'08) 12/05/08 9/27
Electronic Institution: other – EI = < DF, DC > EI Staff Staff ● Governors – Mediators among EI and External Agents DF / DC – filter out forbidden messages Govern. Govern. ● Staff Agents – EI delegates certain tasks to these domain dependent agents. Agent1 – Their code is Agent2 implemented or trusted by the EI designer. External agents Formalising Situatedness and Adaptation in Electronic Institutions (COIN - AAMAS'08) 12/05/08 10/27
Contents ● Introduction ● Electronic Institutions ● Situated Electronic Institutions ● Autonomic Electronic Institutions ● Related work ● Conclusions and future work Formalising Situatedness and Adaptation in Electronic Institutions (COIN - AAMAS'08) 12/05/08 11/27
Situated El: objective – Objective : SEI ● to enhance an existing MAS (World) with EI situated sense regulation act capabilities. – Situate an EI in a world ( SEI ) agent interaction ● interaction is Agent1 Agent2 performed out of EI ● sense and act World Formalising Situatedness and Adaptation in Electronic Institutions (COIN - AAMAS'08) 12/05/08 12/27
Situated El: objective – Objective : SEI ● to enhance an existing MAS (World) with EI situated sense regulation act capabilities. – Situate an EI in Traffic scenario a world ( SEI ) ● EI = Traffic Regulation ● Agent Authority interaction is ● Traffic code violations performed out ● Sanctions of EI World ● Collisions Formalising Situatedness and Adaptation in Electronic Institutions (COIN - AAMAS'08) 12/05/08 13/27
Situated El: Modeller SEI=<DF',DC,B> SEI DF' / DC ● Dialogical Frame. Staff – Modellers Modeller (Signals) (Car) ● model external agents – Properties ● Agent (P A ) ● Institutional (P I ) ● Environment (P E ) P A pos P E P I World Formalising Situatedness and Adaptation in Electronic Institutions (COIN - AAMAS'08) 12/05/08 14/27
Situated El: Norms SEI=<DF',DC,B> SEI DF' / DC ● Deontological C. Staff Staff - Norms : (Police) Modeller (Signals) (Car) – Given SEI cannot avoid certain interactions => add Rules to specify conseq. Rule P A pos inform(police, car, noStop) P A points Norm. State' -Obl(police, car, fine) P I World Formalising Situatedness and Adaptation in Electronic Institutions (COIN - AAMAS'08) 12/05/08 15/27
Situated El: Bridge SEI=<DF',DC,B> SEI DF' / DC ● Bridge Staff Staff (Police) – Implementation issue Modeller (Signals) (Car) – Layer of abstraction between world and Bridge SEI internal components. – Distributed P A pos P A points P I World Formalising Situatedness and Adaptation in Electronic Institutions (COIN - AAMAS'08) 12/05/08 16/27
Contents ● Introduction ● Electronic Institutions ● Situated Electronic Institutions ● Autonomic Electronic Institutions ● Related work ● Conclusions and future work Formalising Situatedness and Adaptation in Electronic Institutions (COIN - AAMAS'08) 12/05/08 17/27
Autonomic EI: objective – Objective: AEI ● to autonomously adapt an EI to achieve some defined goals. EI – Autonomic EI ( AEI ) ● Adaptation based on Interaction goal fulfilment by extending an EI ● Components: Agent1 – Institutional Goals (G) Agent2 – observed Properties (P) – reconfiguration m. (TF) External agents Formalising Situatedness and Adaptation in Electronic Institutions (COIN - AAMAS'08) 12/05/08 18/27
Autonomic EI: Goals – AEI=<DF,DC, G ,TF> AEI ● Institutional Goals (G) – Goal Specification: P G EI ● range of desired values for observed Properties (P) I ● to measure properties – Objective Function: ● overall goal satisfaction (weighted aggregation function) Agent1 ● to decide if adaptation Agent2 is required (using a threshold) External agents Formalising Situatedness and Adaptation in Electronic Institutions (COIN - AAMAS'08) 12/05/08 19/27
Autonomic EI: TF – AEI=<DF,DC,G, TF > AEI ● Transition Funcs. (TF) PS,NS – NS adaptation TF P G EI : P × G × NS NS' PS',NS' e.g. increase fine amount I – PS adaptation : P × G × PS PS ' e.g. increase #policemen Agent1 Agent2 External agents Formalising Situatedness and Adaptation in Electronic Institutions (COIN - AAMAS'08) 12/05/08 20/27
Contents ● Introduction ● Electronic Institutions ● Situated Electronic Institutions ● Autonomic Electronic Institutions ● Related work ● Conclusions and future work Formalising Situatedness and Adaptation in Electronic Institutions (COIN - AAMAS'08) 12/05/08 21/27
Related work: Moise Inst [Gateau06] Moise Inst EI Instit.Mng. Dialogical F.: Structural Spec. StructMng. - roles - roles (w/ comp. SceneMng. Deontological C.: & author.) ContextM. - PS / Scenes Contextual Spec. TransMng. - NS Normative Spec. NormMng. Functional Spec. NormMng. EI and Moise Inst are FunctMng. very similar DomainD. Wrapper Govern. Situatedness and Mng Autonomic exts. to Moise Inst seem feasible External agents External agents Agent Agent Formalising Situatedness and Adaptation in Electronic Institutions (COIN - AAMAS'08) 12/05/08 22/27
Related work: other – Situatedness : – Adaptation : ● Participant perception : ● Participant : – Situated MAS [Weyns&al.]: – Emergence of Norms restrict agent perceptions [Sen&Airau] depending on their virtual – Autonomous norm location. compliance [Lopez&al.] – EASI, Cartago... ● Organisation : ● Organisation perception : – AEI: org. adapts by itself, – SEI = EI awares of world having its own institutional goals. – Simulator Bridge (interaction is still inside EI) Formalising Situatedness and Adaptation in Electronic Institutions (COIN - AAMAS'08) 12/05/08 23/27
Recommend
More recommend
