Modelling and monitoring interdependent expectations

Stephen Cranefield*, Michael Winikoff, Wamberto Vasconcelos

*Corresponding author for this work

Research output: Chapter in Book/Report/Conference proceedingConference contribution

3 Citations (Scopus)

Abstract

Previous research on modelling and monitoring norms, contracts andcommitments has studied the semantics of concepts such as obligation, permission,prohibition and commitment; languages for expressing behavioural constraints(such as norms or contracts) to be followed by agents in specific contexts;and mechanisms for run-time monitoring of fulfilment and violation ofthese constraints. However, there has been little work that provided all of thesefeatures while also allowing the current expectations of agents and the fulfilmentand violation of these expectations to be expressed as first-class constructs in thelanguage. This paper demonstrates the benefits of providing this capability byconsidering a variety of use cases and demonstrating how these can be addressedas applications of a previously defined temporal logic of expectations and an associatedmonitoring technique.

Original languageEnglish
Title of host publicationCoordination, Organizations, Institutions, and Norms in Agent System VII - COIN 2011 International Workshop, COIN@WI-IAT 2011, Revised Selected Papers
Pages149-166
Number of pages18
DOIs
Publication statusPublished - 1 Dec 2012
Event7th International Workshop on Coordination, Organizations, Institutions, and Norms in Agent System VII - IEEE/WIC/ACM International Conference on Intelligent Agent Technology, COIN@WI-IAT 2011 - Lyon, France
Duration: 22 Aug 201122 Aug 2011

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume7254 LNAI
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Conference

Conference7th International Workshop on Coordination, Organizations, Institutions, and Norms in Agent System VII - IEEE/WIC/ACM International Conference on Intelligent Agent Technology, COIN@WI-IAT 2011
CountryFrance
CityLyon
Period22/08/1122/08/11

Fingerprint Dive into the research topics of 'Modelling and monitoring interdependent expectations'. Together they form a unique fingerprint.

Cite this