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

Authors:
Stephen Cranefield
Affiliations:
Department of Information Science, University of Otago, Dunedin, New Zealand
Venue:
IJCAI'05 Proceedings of the 19th international joint conference on Artificial intelligence
Year:
2005

Citing 3
Cited 2

The benefits of relaxing punctuality

Journal of the ACM (JACM)
Planning for temporally extended goals

Annals of Mathematics and Artificial Intelligence
A logical model of social commitment for agent communication

AAMAS '03 Proceedings of the second international joint conference on Autonomous agents and multiagent systems

Commitment Monitoring in a Multiagent System

CEEMAS '07 Proceedings of the 5th international Central and Eastern European conference on Multi-Agent Systems and Applications V
Implementing norms that govern non-dialogical actions

COIN'07 Proceedings of the 2007 international conference on Coordination, organizations, institutions, and norms in agent systems III

Quantified Score

Hi-index	0.00

Visualization

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-timemonitoring compliance of rules in this language based on formula progression is also outlined.