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

Cranefield, Stephen

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

Cranefield, Stephen

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

Date: 2005-02

Publisher: University of Otago

Pages: 9

Series: Information Science Discussion Papers Series

Series number: 2005/01

Research Type: Discussion Paper

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.

Show full item record