Flexible agent protocols via temporal and resource-based reasoning

Authors:
Duc Q. Pham;James Harland
Affiliations:
RMIT University, Melbourne, Australia;RMIT University, Melbourne, Australia
Venue:
AAMAS '06 Proceedings of the fifth international joint conference on Autonomous agents and multiagent systems
Year:
2006

Citing 3
Cited 1

Linear logic

Theoretical Computer Science
Agent negotiation as proof search in linear logic

Proceedings of the first international joint conference on Autonomous agents and multiagent systems: part 2
Commitment Machines

ATAL '01 Revised Papers from the 8th International Workshop on Intelligent Agents VIII

Modeling agents' choices in temporal linear logic

DALT'07 Proceedings of the 5th international conference on Declarative agent languages and technologies V

Quantified Score

Hi-index	0.00

Visualization

Abstract

In multi-agent systems, it has long been recognized that the traditional approaches to protocols which often used a fixed sequence of interactive actions as the basis are too brittle, and more flexible methods are needed. A crucial aspect of the development of such methods is the notion of commitments, which provides a mechanism for regulating interactions between agents. In this paper we investigate a rule-based approach to the specification of flexible protocols by means of a reasoning system which incorporates both temporal reasoning and resources-based reasoning and uses the notion of commitments.