Commitments and interaction norms in organisations

JAAMAS abstract

Abstract (2016)

Authors

Mehdi Dastani Universiteit Utrecht
Leendert van der Torre University of Luxembourg
N. Yorke-Smith American University of Beirut
Affiliation
External organisation
More Info
expand_more

Published Date

2016

Language

English

Reuse Rights

Other than for strictly personal use, it is not permitted to download, forward or distribute the text or part of it, without the consent of the author(s) and/or copyright holder(s), unless the work is under an open content license such as Creative Commons.

Affiliation

External organisation

Abstract

In an organisational setting such as an online marketplace, an entity called the 'organisation' or 'institution' defines interaction protocols, monitors agent interaction, and may intervene to enforce the interaction protocols. This extended abstract summarises our JAAMAS article [10] . In the article we generalise over application-specific protocols and consider commitment lifecycles as generic interaction protocols. We model interaction protocols by explicitly-represented norms, operationalise the enforcement of protocols by means of norm enforcement, and analyse the protocols by a logical analysis of the norms. We adopt insights and methods from commitment-based approaches to agent interaction as well as from norm-based approaches to agent behaviour governance. First, we show how to use explicitly-represented norms to model commitment dynamics (lifecycles). Second, we introduce an operational semantics to operationalise norm enforcement. Third, we show how to logically analyse interaction protocols by means of commitment dynamics and norm enforcement. The model, operational semantics, and logical analysis are illustrated by a running example from a vehicle insurance domain.