• DocumentCode
    537148
  • Title

    Towards a Formal Model for the Dynamic E-Institutions

  • Author

    Zhou, Youming ; Gao, Ji

  • Author_Institution
    Dept. of Artificial Intell., ZheJiang Univ., Hangzhou, China
  • fYear
    2010
  • fDate
    7-9 Nov. 2010
  • Firstpage
    1
  • Lastpage
    5
  • Abstract
    Electronic institutions (EIs) have been proposed as a means of regulating open agent societies. EIs fix what agents are permitted and forbidden to do and under what circumstances. And yet, there is the need for EIs to change their regulations because of the changing environment. In this paper we focus on a formal model for the dynamic EIs and give formal semantics for the changes of the EIs.
  • Keywords
    formal logic; multi-agent systems; dynamic e-institutions; electronic institutions; formal model; formal semantics; open agent societies; Adaptation model; Authorization; Compounds; Multiagent systems; Semantics; Vehicle dynamics; Vehicles;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    E-Product E-Service and E-Entertainment (ICEEE), 2010 International Conference on
  • Conference_Location
    Henan
  • Print_ISBN
    978-1-4244-7159-1
  • Type

    conf

  • DOI
    10.1109/ICEEE.2010.5661064
  • Filename
    5661064