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
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;
Conference_Titel :
E-Product E-Service and E-Entertainment (ICEEE), 2010 International Conference on
Conference_Location :
Henan
Print_ISBN :
978-1-4244-7159-1
DOI :
10.1109/ICEEE.2010.5661064
