English (United Kingdom)

https://curated-unify.zendy.io/wp-json/zendy-region/v1/featured_content/oa?rat=en

https://curated-unify.zendy.io/wp-json/zendy-region/v1/highlighted_journal/

Global: Zendy Plus annual

Presents the access of premium content as premium feature

Premium Content

Presents the keyphrase highlighting as premium feature

Keyphrase Highlighting

Presents the summarisation as premium feature

Summarisation

Insights

Presents the pdf analysis as premium feature

PDF Analysis

Presents the zaia usage as premium feature

ZAIA

Global: Zendy Tools annual

Global: Zendy Free Plan

Global: Zendy Tools monthly

Global: Zendy Plus monthly

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 specification of organizational constraints, and provide the foundations for the development of agents that understand how to function in a MOISE+ MAS.

Formalizing organizational constraints: a semantic approach