Sciweavers

Share
ATAL
2010
Springer

Formalizing organizational constraints: a semantic approach

12 years 26 days ago
Formalizing organizational constraints: a semantic approach
An organizational modeling language can be used to specify an agent organization in terms of its roles, organizational structure, norms, etc. Such an organizational specification imposes constraints on agents that play roles in it, and the agents are expected to take this into account when deciding what to do. This means that agents need to have a basic understanding of what it means to comply with organizational constraints. For this, it is essential that these constraints are precisely specified. In this paper, we address this in the context of the MOISE+ organizational modeling language. We define a semantic framework for MOISE+ MAS and an accompanying linear temporal logic (LTL) to express its properties. We analyze which constraints MOISE+ imposes on agents, and investigate how these can be made precise in LTL. We show that multiple interpretations of constraints are sometimes possible, and explore the space of possibilities. These analyses demonstrate the need for a rigorous spe...
M. Birna van Riemsdijk, Koen V. Hindriks, Catholij
Added 08 Nov 2010
Updated 08 Nov 2010
Type Conference
Year 2010
Where ATAL
Authors M. Birna van Riemsdijk, Koen V. Hindriks, Catholijn M. Jonker, Maarten Sierhuis
Comments (0)
books