2012 | OriginalPaper | Chapter
A Formal Semantics for Agent (Re)Organization
Authors : Frank Dignum, Virginia Dignum
Published in: Computational Logic in Multi-Agent Systems
Publisher: Springer Berlin Heidelberg
Activate our intelligent search to find suitable subject content or patents.
Select sections of text to find matching patents with Artificial Intelligence. powered by
Select sections of text to find additional relevant content using AI-assisted search. powered by
Agent organizations can be seen as a set of entities regulated by mechanisms of social order and created by more or less autonomous actors to achieve common goals. Just like agents, organizations should also be able to adapt themselves to changing environments. In order to develop a theory on how this reorganization should be performed we need a formal framework in which organizations, organizational performance and the reorganization itself can be described. In this paper, we present a formal description of reorganization actions in LAO (Logic for Agent Organization). We show how this formalization can support the preservation of some nice properties of organizations while it can also be used to reason about which reorganization is needed to achieve some basic organizational properties.