A rule language for modelling and monitoring social expectations in multi-agent systems

Stephen Cranefield

doi:10.1007/11775331_17

Back

A rule language for modelling and monitoring social expectations in multi-agent systems

Conference paper

Peer reviewed

A rule language for modelling and monitoring social expectations in multi-agent systems

Stephen Cranefield

Coordination, Organizations, Institutions, and Norms in Multi-Agent Systems: AAMAS 2005 International Workshops on Agents, Norms and Institutions for Regulated Multi-Agent Systems, ANIREM 2005, and Organizations in Multi-Agent Systems, OOOP 2005 (Utrecht, The Netherlands, 25/07/2005 - 26/07/2005)

2006

DOI: https://doi.org/10.1007/11775331_17

Handle:

https://hdl.handle.net/10523/749

Abstract

Software Engineering & Collaborative Modelling Laboratory

QA75 Electronic computers. Computer science

This paper proposes a rule language for defining social expectations based on a metric interval temporal logic with past and future modalities and a current-time binding operator. An algorithm for run-time monitoring compliance of rules in this language based on formula progression is also presented.

Metrics

777 Record Views

Details

Record Identifier: 9926478217001891
Title: A rule language for modelling and monitoring social expectations in multi-agent systems
Creators: Stephen Cranefield
Conference: Coordination, Organizations, Institutions, and Norms in Multi-Agent Systems: AAMAS 2005 International Workshops on Agents, Norms and Institutions for Regulated Multi-Agent Systems, ANIREM 2005, and Organizations in Multi-Agent Systems, OOOP 2005 (Utrecht, The Netherlands, 25/07/2005 - 26/07/2005)
Academic Unit: Information Science
Publisher: University of Otago
Date published ; e-published: 2006
Comment: This item is not available in full-text via OUR Archive. Where available, a link to the published version is provided (check the DOI and/or the Files and links section). The full-text item may be open access on the publisher's website. Alternatively, readers may have subscription access to the full-text from the publisher. A link to a legal, open access version may be available - check the Abstract for this information.
Resource Type: Conference paper

A rule language for modelling and monitoring social expectations in multi-agent systems

Abstract

Related links

Metrics

Details

Usage Policy