On the Dynamics of Institutional Agreements (KRAMAS 2008)

Andreas Herzig (1, 2) , Tiago De Lima (3) , Emiliano Lorini (1, 2)

1 IRIT-LILaC - Logique, Interaction, Langue et Calcul
2 CNRS - Centre National de la Recherche Scientifique
3 TU/e - Eindhoven University of Technology [Eindhoven]

In 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.

Mots clés: acceptance logic; public announcement; belief revision; discursive dilemma; institutions

Domaines: Intelligence artificielle [cs.AI]

Andreas Herzig, Tiago De Lima, Emiliano Lorini. On the Dynamics of Institutional Agreements (KRAMAS 2008). 1st International Workshop on Knowledge Representation for Agents and Multi-agent Systems (KRAMAS 2008), Sep 2008, Sydney, Australia. pp.66-80, ⟨10.1007/978-3-642-05301-6_5⟩. ⟨hal-03474452⟩