Interaction patterns and observable commitments in a multi-agent trading scenario

Authors:
Jeremy Pitt;Lloyd Kamara;Alexander Artikis
Affiliations:
Electrical & Electronic Eng., Imperial College of Science, Technology & Medicine, London, SW7 2BT, UK;Electrical & Electronic Eng., Imperial College of Science, Technology & Medicine, London, SW7 2BT, UK;Electrical & Electronic Eng., Imperial College of Science, Technology & Medicine, London, SW7 2BT, UK
Venue:
Proceedings of the fifth international conference on Autonomous agents
Year:
2001

Citing 6
Cited 11

Protocols and intentional specifications of multi-party agent conversions for brokerage and auctions

AGENTS '00 Proceedings of the fourth international conference on Autonomous agents
A Protocol-Based Semantics for an Agent Communication Language

IJCAI '99 Proceedings of the Sixteenth International Joint Conference on Artificial Intelligence
A Social Semantics for Agent Communication Languages

Issues in Agent Communication
Towards Socially Sophisticated BDI Agents

ICMAS '00 Proceedings of the Fourth International Conference on MultiAgent Systems (ICMAS-2000)
Protocol discovery in multiprotocol networks

ICCCN '95 Proceedings of the 4th International Conference on Computer Communications and Networks
Objective Trust-Based Agents: Trust and Trustworthiness in a Multi-Agent Trading Society

ICMAS '00 Proceedings of the Fourth International Conference on MultiAgent Systems (ICMAS-2000)

Representing and executing protocols as joint actions

Proceedings of the first international joint conference on Autonomous agents and multiagent systems: part 2
Animated specifications of computational societies

Proceedings of the first international joint conference on Autonomous agents and multiagent systems: part 3
Standardizing agent interoperability: the FIPA approach

Mutli-agents systems and applications
Standardizing Agent Interoperability: The FIPA Approach

EASSS '01 Selected Tutorial Papers from the 9th ECCAI Advanced Course ACAI 2001 and Agent Link's 3rd European Agent Systems Summer School on Multi-Agent Systems and Applications
Instructions-Based Semantics of Agent Mediated Interaction

AAMAS '04 Proceedings of the Third International Joint Conference on Autonomous Agents and Multiagent Systems - Volume 1
Normative autonomy and normative co-ordination: declarative power, representation, and mandate

Artificial Intelligence and Law
Specifying norm-governed computational societies

ACM Transactions on Computational Logic (TOCL)
Specifying electronic societies with the causal calculator

AOSE'02 Proceedings of the 3rd international conference on Agent-oriented software engineering III
Simulating computational societies

ESAW'02 Proceedings of the 3rd international conference on Engineering societies in the agents world III
Agent interaction semantics by timed operating instructions

AC'04 Proceedings of the 2004 international conference on Agent Communication
Toward a suite of performatives based upon joint intention theory

AC'04 Proceedings of the 2004 international conference on Agent Communication

Quantified Score

Hi-index	0.00

Visualization

Abstract

We propose a formal semantics for the protocol diagrams (interaction patterns) of AUML (Agent Unified Modelling Language). We connect this proposal with a general framework for defining the semantics of ACLs (Agent Communication Languages). We then show that protocol diagrams should be parameterised with observable commitments: additional specification of the expected outcomes and normative positions resulting from the use of the protocol. A complete axiomatisation of a contract-net protocol is given, and animated to show how the agents comply with expected replies and respecting the norms. We conclude that this approach to `socialising' interaction between agents is important for developing open agent systems and potentially useful in standardisation.