---
title: "A rule language for modelling and monitoring social expectations in multi-agent systems"
authors:
  - "Stephen Cranefield"
doi: ""
url: "https://ijcai.org/proceedings/2005/248"
pdf: "https://ijcai.org/proceedings/2005/0248.pdf"
venue: "Proceedings of the Nineteenth International Joint Conference on Artificial Intelligence"
year: 2005
pages: "1659-1659"
track: ""
keywords:
---

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

Stephen Cranefield

*Proceedings of the Nineteenth International Joint Conference on Artificial Intelligence*, pages 1659-1659.

## Abstract

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