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
Conference: Coordination, Organizations, Institutions, and Norms in Multi-Agent Systems: AAMAS 2005 International Workshops on Agents, Norms and Institutions for Regulated Multi-Agent Systems, ANIREM 2005, and Organizations in Multi-Agent Systems, OOOP 2005, Utrecht, The Netherlands
Research Type: Conference or Workshop Item (Paper)
The full text is available only from the related link (you must be a subscriber to the SpringerLink service).