On the Dynamics of Institutional Agreements (KRAMAS 2008)

Book title: ``Knowledge Representation for Agents and Multi-Agent Systems''International audienceIn this work we continue the work initiated in [1], in which a logic of individual and collective acceptance was introduced. Our aim in this paper is to investigate the extension of the logic of acceptance by public announcements of formulas. The function of public announcements is to diminish the space of possible worlds accepted by agents and sets of agents while functioning as members of a given group, team, organization, institution, etc., x. If a set of agents C ends up with an empty set of worlds that they accept while functioning as members of x, then the agents in C do not identify themselves any longer with x. In such a situation the agents in C should have the possibility to join x again. To that aim we discuss at the end of the paper an operation which consists of an agent (or set of agents) joining a given group, team, organization, institution, etc