Cooperation Among Groups of Agents in the Epistemic Logic L-DINF

The Logic of “Inferable” L-DINF has been recently proposed as a declarative framework to formally model via epistemic logic (aspects of) the group dynamics of cooperative agents. The framework permits to model groups of cooperative agents that can jointly perform actions. Various aspects of Multi-Agent Systems can be formalized in L-DINF, such as costs of actions, agents’ preferences, and roles of agents within groups. In this paper we extend the framework by introducing the possibility of cooperation among different groups: if a group has not an agent with the right role for performing an action, the group can ask another group in order to have the action performed.