This is not the latest version of this item. The latest version can be found at: https://ourarchive.otago.ac.nz/handle/10523/749
A rule language for modelling and monitoring social expectations in multi-agent systems
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.
Publisher: University of Otago
Series number: 2005/01
Research Type: Discussion Paper