scholarly journals Specifying and Enforcing Norms in Artificial Institutions

2009 ◽  
pp. 1-17 ◽  
Author(s):  
Nicoletta Fornara ◽  
Marco Colombetti
Keyword(s):  
Artificial Institutions

scholarly journals Artificial institutions: a model of institutional reality for open multiagent systems

2007 ◽  
Vol 16 (1) ◽  
pp. 89-105 ◽  
Author(s):  
Nicoletta Fornara ◽  
Francesco Viganò ◽  
Mario Verdicchio ◽  
Marco Colombetti
Keyword(s):  
Multiagent Systems ◽  
Institutional Reality ◽  
Artificial Institutions

Situated artificial institutions: stability, consistency, and flexibility in the regulation of agent societies

2017 ◽  
Vol 32 (2) ◽  
pp. 219-251 ◽  
Author(s):  
Maiquel de Brito ◽  
Jomi Fred Hübner ◽  
Olivier Boissier
Keyword(s):  
Agent Societies ◽  
Artificial Institutions

INTERDEPENDENT ARTIFICIAL INSTITUTIONS IN AGENT ENVIRONMENTS

2012 ◽  
Vol 26 (4) ◽  
pp. 398-427 ◽  
Author(s):  
Charalampos Tampitsikas ◽  
Stefano Bromuri ◽  
Nicoletta Fornara ◽  
Michael Ignaz Schumacher
Keyword(s):  
Artificial Institutions

scholarly journals A Conceptual Model for Situating Purposes in Artificial Institutions

2022 ◽  
Vol 29 (1) ◽  
pp. 68-80
Author(s):  
Rafhael R. Cunha ◽  
Jomi Fred Hübner ◽  
Maiquel De Brito
Keyword(s):  
Conceptual Model ◽  
Multi Agent Systems ◽  
Agent Systems ◽  
The Status ◽  
Multi Agent ◽  
Institutional Contexts ◽  
Institutional Reality ◽  
Artificial Institutions ◽  
Concrete Elements

{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.

Specifying Artificial Institutions in the Event Calculus

2009 ◽  
pp. 335-366 ◽  
Author(s):  
Nicoletta Fornara ◽  
Marco Colombetti
Keyword(s):  
Formal Specification ◽  
Formal Definition ◽  
Abstract Concepts ◽  
Crucial Issue ◽  
Event Calculus ◽  
Institutional Power ◽  
Interacting Agents ◽  
Definition Of ◽  
Artificial Institutions ◽  
Power Role

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.

scholarly journals Agent communication and artificial institutions

2006 ◽  
Vol 14 (2) ◽  
pp. 121-142 ◽  
Author(s):  
Nicoletta Fornara ◽  
Francesco Viganò ◽  
Marco Colombetti
Keyword(s):  
Agent Communication ◽  
Artificial Institutions
Sign in / Sign up

Export Citation Format

Share Document