A Conceptual Model for Situating Purposes in Artificial Institutions

{In multi-agent systems, artificial institutions connect institutional concepts, belonging to the institutional reality, to the concrete elements that compose the system. The institutional reality is composed of a set of institutional concepts, called Status-Functions. Current works on artificial institutions focus on identifying the status-functions and connecting them to the concrete elements. However, the functions associated with the status-functions are implicit. As a consequence, the agents cannot reason about the functions provided by the elements that carry the status-functions and, thus, cannot exploit these functions to satisfy their goals. Considering this problem, this paper proposes a model to express the functions -- or the purposes -- associated with the status-functions. Examples illustrate the application of the model in a practical scenario, showing how the agents can use purposes to reason about the satisfaction of their goals in institutional contexts.

Coupling the normative regulation with the constitutive state management in Situated Artificial Institutions

Artificial Institutions are systems where the regulation defined through norms is based on an interpretation of the concrete world where the agents are situated and interact. Such interpretation can be defined through constitutive rules. The literature proposes independent approaches for the definition and management of both norms and constitutive rules. However, they are usually either not coupled or coupled in an ad hoc and limiting solution. This paper investigates how to make such a coupling. The main contribution of this paper is a formal model basing the regulation provided by the norms on the institutional interpretation of the world provided by constitutive rules. This contribution is based on the Situated Artificial Institutions model that proposes an integrated model of constitutive rules based on status functions.

Specifying Artificial Institutions in the Event Calculus

The specification of open interaction systems is widely recognized to be a crucial issue, which involves the problem of finding a standard way of specifying: a communication language for the interacting agents, the entities that constitute the context of the interaction, and rules that regulate interactions. An approach to solve these problems consists in modelling open interaction systems as a set of artificial institutions. In this chapter we address this issue by formally defining, in the Event Calculus, a repertoire of abstract concepts (like commitment, institutional power, role, and norm) that can be used to specify every artificial institution. We then show how, starting from the formal definition of these concepts and of application-dependent concepts, it is possible to obtain a formal specification of a system. By using a suitable tool, it is then possible to simulate and monitor the system’s evolution through automatic deduction.