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

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 presented. © Springer-Verlag Berlin Heidelberg 2006.