Modelling and Monitoring Social Expectations in Multi-agent Systems

Authors:
Stephen Cranefield
Affiliations:
Department of Information Science, University of Otago, PO Box 56, Dunedin, New Zealand
Venue:
Coordination, Organizations, Institutions, and Norms in Agent Systems II
Year:
2007

Citing 17
Cited 6

The benefits of relaxing punctuality

Journal of the ACM (JACM)
Using temporal logics to express search control knowledge for planning

Artificial Intelligence
Modal logic

Modal logic
ISLANDER: an electronic institutions editor

Proceedings of the first international joint conference on Autonomous agents and multiagent systems: part 3
Verifying Compliance with Commitment Protocols

Autonomous Agents and Multi-Agent Systems
From the Past to the Future: Executing Temporal Logic Programs

LPAR '92 Proceedings of the International Conference on Logic Programming and Automated Reasoning
Commitment Machines

ATAL '01 Revised Papers from the 8th International Workshop on Intelligent Agents VIII
A logical model of social commitment for agent communication

AAMAS '03 Proceedings of the second international joint conference on Autonomous agents and multiagent systems
Temporal Reasoning: An Application to Normative Systems

TIME '01 Proceedings of the Eighth International Symposium on Temporal Representation and Reasoning (TIME'01)
AMELI: An Agent-Based Middleware for Electronic Institutions

AAMAS '04 Proceedings of the Third International Joint Conference on Autonomous Agents and Multiagent Systems - Volume 1
Practical Issues in Detecting Broken Social Commitments

Agent Communication II
Reliable Group Communication and Institutional Action in a Multi-agent Trading Scenario

Agent Communication II
Monitoring teams by overhearing: a multi-agent plan-recognition approach

Journal of Artificial Intelligence Research
Analyzing LTL Model Checking Techniques for Plan Synthesis and Controller Synthesis (Work in Progress)

Electronic Notes in Theoretical Computer Science (ENTCS)
A distributed architecture for norm-aware agent societies

DALT'05 Proceedings of the Third international conference on Declarative Agent Languages and Technologies
Dealing with time in content language expressions

AC'04 Proceedings of the 2004 international conference on Agent Communication
A rule language for modelling and monitoring social expectations in multi-agent systems

AAMAS'05 Proceedings of the 2005 international conference on Agents, Norms and Institutions for Regulated Multi-Agent Systems

From the specification to the implementation of norms: an automatic approach to generate rules from norms to govern the behavior of agents

Autonomous Agents and Multi-Agent Systems
Reliable Group Communication and Institutional Action in a Multi-agent Trading Scenario

Agent Communication II
An Automata-Based Monitoring Technique for Commitment-Based Multi-Agent Systems

Coordination, Organizations, Institutions and Norms in Agent Systems IV
Modeling norms in multi-agent systems with NormML

COIN@AAMAS'10 Proceedings of the 6th international conference on Coordination, organizations, institutions, and norms in agent systems
Communicating open systems

Artificial Intelligence
Open issues for normative multi-agent systems

AI Communications

Quantified Score

Hi-index	0.00

Visualization

Abstract

This paper reports on issues confronted and solutions developed while implementing the author's previously proposed hyMITL±logic for expressing social expectations as conditional rules. A high level overview of hyMITL±is presented, along with a discussion of new features and implementation issues. In particular, the importance of using human-oriented descriptions of time points is argued, along with the need to explicitly take time zones into consideration when defining rules, and a syntax for date/time expressions based on ISO standard 8601 is proposed. A new, more detailed, model for tracking the state of social expectations is also presented, based on the utility of enabling clients of a monitoring service to be notified of multiple instances of the violation or fulfilment of an expectation.