Notice
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
View/
Cite this item:
Cranefield, S. (2005). A rule language for modelling and monitoring social expectations in multi-agent systems (Information Science Discussion Papers Series No. 2005/01). University of Otago. Retrieved from http://hdl.handle.net/10523/1039
Permanent link to OUR Archive version:
http://hdl.handle.net/10523/1039
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.
Date:
2005-02
Publisher:
University of Otago
Pages:
9
Series number:
2005/01
Research Type:
Discussion Paper