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

Monitoring
Temporal logic
Modeling
Norm
Semantics
Temporal Logic
Use Case
Demonstrate
Class
Language
Context
Commitment
Concepts

ASJC Scopus subject areas

  • Theoretical Computer Science
  • Computer Science(all)

Cite this

Cranefield, S., Winikoff, M., & Vasconcelos, W. (2012). Modelling and monitoring interdependent expectations. In Coordination, Organizations, Institutions, and Norms in Agent System VII - COIN 2011 International Workshop, COIN@WI-IAT 2011, Revised Selected Papers (pp. 149-166). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 7254 LNAI). https://doi.org/10.1007/978-3-642-35545-5_9

Modelling and monitoring interdependent expectations. / Cranefield, Stephen; Winikoff, Michael; Vasconcelos, Wamberto.

Coordination, Organizations, Institutions, and Norms in Agent System VII - COIN 2011 International Workshop, COIN@WI-IAT 2011, Revised Selected Papers. 2012. p. 149-166 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 7254 LNAI).

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

Cranefield, S, Winikoff, M & Vasconcelos, W 2012, Modelling and monitoring interdependent expectations. in Coordination, Organizations, Institutions, and Norms in Agent System VII - COIN 2011 International Workshop, COIN@WI-IAT 2011, Revised Selected Papers. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 7254 LNAI, pp. 149-166, 7th 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, 22/08/11. https://doi.org/10.1007/978-3-642-35545-5_9
Cranefield S, Winikoff M, Vasconcelos W. Modelling and monitoring interdependent expectations. In Coordination, Organizations, Institutions, and Norms in Agent System VII - COIN 2011 International Workshop, COIN@WI-IAT 2011, Revised Selected Papers. 2012. p. 149-166. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). https://doi.org/10.1007/978-3-642-35545-5_9
Cranefield, Stephen ; Winikoff, Michael ; Vasconcelos, Wamberto. / Modelling and monitoring interdependent expectations. Coordination, Organizations, Institutions, and Norms in Agent System VII - COIN 2011 International Workshop, COIN@WI-IAT 2011, Revised Selected Papers. 2012. pp. 149-166 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).
@inproceedings{a9ac7ced55564466a6587651eb875241,
title = "Modelling and monitoring interdependent expectations",
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.",
author = "Stephen Cranefield and Michael Winikoff and Wamberto Vasconcelos",
year = "2012",
month = "12",
day = "1",
doi = "10.1007/978-3-642-35545-5_9",
language = "English",
isbn = "9783642355448",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
pages = "149--166",
booktitle = "Coordination, Organizations, Institutions, and Norms in Agent System VII - COIN 2011 International Workshop, COIN@WI-IAT 2011, Revised Selected Papers",

}

TY - GEN

T1 - Modelling and monitoring interdependent expectations

AU - Cranefield, Stephen

AU - Winikoff, Michael

AU - Vasconcelos, Wamberto

PY - 2012/12/1

Y1 - 2012/12/1

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

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

UR - http://www.scopus.com/inward/record.url?scp=84872439700&partnerID=8YFLogxK

U2 - 10.1007/978-3-642-35545-5_9

DO - 10.1007/978-3-642-35545-5_9

M3 - Conference contribution

SN - 9783642355448

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 149

EP - 166

BT - Coordination, Organizations, Institutions, and Norms in Agent System VII - COIN 2011 International Workshop, COIN@WI-IAT 2011, Revised Selected Papers

ER -