Project

Back to overview

Artificial institutions: specification and verification of open distributed interaction frameworks

English title Artificial institutions: specification and verification of open distributed interaction frameworks
Applicant Colombetti Marco
Number 109525
Funding scheme Project funding (Div. I-III)
Research institution Istituto Media e Giornalismo Facoltà di Scienze della comunicazione Università della Svizzera italiana
Institution of higher education Università della Svizzera italiana - USI
Main discipline Information Technology
Start/End 01.10.2005 - 31.08.2007
Approved amount 92'059.50
Show all

Keywords (8)

Multiagent System; Open and Distributed Interaction Framework; Electronic Institution; Artificial Institution; Normative Systems; Social and Collective Commitment; Norms; Model Checking

Lay Summary (English)

Lead
Lay summary
Institutions have been proposed to design, analyze, and regulate open multiagent systems where agents are developed by different organizations and their internal mental states are not accessible. In such systems, institutions essentially play two fundamental roles: i) they define a set of norms which make more predictable the behavior of other agents and ii) they describe the ontology of the interaction context.

In open systems it is unrealistic to expect that autonomous agents will always comply with norms. For this reason, the research on institutions has been mainly focused on developing languages and tools to model and to monitor agents' interactions in terms of institutional concepts (roles, obligations, etc.) with the purpose of avoiding or detecting violations of norms. In doing so, institutions play a crucial role to increase the efficiency of electronic transactions carried out by agents, but raise the problem of ensuring that such rules are not characterized by contradictory norms and provide agents with all the needed powers to fulfill their objectives. This is especially important when institutions are complex and it is prohibitive to foresee all possible evolutions admitted by them.

As a consequence, automated formal verification should be considered as an important step in the development of institutions, because it can increase the reliability of institutions by ensuring that they satisfy certain properties. This project aims to define a formalism to describe institutions and to develop techniques for verifying them through model-checking.
Direct link to Lay Summary Last update: 21.02.2013

Responsible applicant and co-applicants

Employees

Name Institute

Associated projects

Number Title Start Funding scheme
134790 Open Interaction Systems: an approach Based on Artificial Institutions and Service Oriented Architecture with an application to electronic market places 01.05.2011 Project funding (Div. I-III)
100260 An Open Interaction Framework for Communicative Agents 01.06.2003 Project funding (Div. I-III)
121681 Open Interaction Systems: an approach Based on Artificial Institutions and Reasoning Agents with an application to Collaborative Environments 01.05.2009 Project funding (Div. I-III)

-